[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-ai-math-system-solves-200-open-problems-without-human-help":10,"sections":34},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":24,"tags":25,"sources":29,"feedback":33,"feedback_at":22,"cost_usd":33,"total_tokens":33},11377,"ai-math-system-solves-200-open-problems-without-human-help","AI Math System Solves 200 Open Problems Without Human Help","Bolzano, an open-source multi-agent system, cracked about 200 unsolved math problems on its own, including four from a top theory conference.","An open-source AI system called Bolzano just cleared about 200 unsolved math problems on its own, no researcher hand-holding required.\n\nBolzano pairs parallel \"prover\" agents that attempt proofs with a separate verifier agent that checks their work, and it keeps a running, human-readable log of its research state so people can follow along. The team first tested it by hand on problems picked by experts, producing eight results that domain specialists verified line by line. Then they let it run unsupervised on roughly 3,800 open problems pulled from four sets of academic papers. It solved about 200 of them, including four open questions raised in papers accepted to STOC 2026, a leading theoretical computer science conference, with the original authors confirming the answers were correct.\n\nThe STOC result is the notable part: these weren't textbook exercises, they were live research questions that working computer scientists hadn't yet answered, flagged and cleared before the papers even went to print. That puts Bolzano in the same conversation as other AI systems built for competition and proof-based math, except this one is aimed at genuinely open research problems instead of scored exams, a harder target because there's no answer key to check against.\n\nA roughly 5 percent solve rate across thousands of attempts is not a flashy headline number, but turning any slice of genuinely open problems into solved ones, with expert sign-off, is the unglamorous kind of progress that actually moves a field forward.","[\"ai\",\"mathematics\",\"multi-agent-systems\",\"open-source\"]","2026-10-12T04:00:00.000Z","2026-10-12T11:27:48.925Z","2026-10-12T11:27:54.421Z","published",null,[],"ai",[24,26,27,28],"mathematics","multi-agent-systems","open-source",[30],{"name":31,"url":32},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2610.09769",0,{"sections":35},[36,40,45,50,55,60,65,70,75,80,85,90,95,100],{"name":37,"slug":24,"count":38,"latest_published_at":39},"AI",6967,"2026-10-12T15:20:00.000Z",{"name":41,"slug":42,"count":43,"latest_published_at":44},"Security","security",954,"2026-10-12T14:20:37.000Z",{"name":46,"slug":47,"count":48,"latest_published_at":49},"Policy","policy",496,"2026-10-11T20:06:43.000Z",{"name":51,"slug":52,"count":53,"latest_published_at":54},"Deals","deals",492,"2026-10-12T14:55:53.000Z",{"name":56,"slug":57,"count":58,"latest_published_at":59},"Hardware","hardware",237,"2026-10-12T13:24:45.000Z",{"name":61,"slug":62,"count":63,"latest_published_at":64},"Science","science",196,"2026-10-11T15:34:40.000Z",{"name":66,"slug":67,"count":68,"latest_published_at":69},"Consumer Tech","consumer-tech",192,"2026-10-12T14:07:13.000Z",{"name":71,"slug":72,"count":73,"latest_published_at":74},"Startups","startups",121,"2026-10-12T13:22:34.000Z",{"name":76,"slug":77,"count":78,"latest_published_at":79},"Software","software",115,"2026-10-11T07:34:45.000Z",{"name":81,"slug":82,"count":83,"latest_published_at":84},"Dev Tools","dev-tools",111,"2026-10-12T11:22:24.000Z",{"name":86,"slug":87,"count":88,"latest_published_at":89},"General","general",71,"2026-10-12T16:10:40.000Z",{"name":91,"slug":92,"count":93,"latest_published_at":94},"Gaming","gaming",59,"2026-10-09T11:43:43.000Z",{"name":96,"slug":97,"count":98,"latest_published_at":99},"Reviews","reviews",35,"2026-10-12T14:00:00.000Z",{"name":101,"slug":102,"count":103,"latest_published_at":104},"How-To","how-to",8,"2026-10-05T09:00:00.000Z"]