[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-new-ai-harness-solves-open-problems-from-top-cs-venues":10,"sections":40},{"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":30,"tags":31,"sources":35,"feedback":39,"feedback_at":22,"cost_usd":39,"total_tokens":39},6447,"new-ai-harness-solves-open-problems-from-top-cs-venues","New AI Harness Solves Open Problems From Top CS Venues","A multi-agent AI harness solved open problems from papers at FOCS and JMLR, using Google's Gemini 3.1 Pro model.","A new AI system just helped researchers chip away at real unsolved problems in math and computer science, not just benchmark trivia.\n\nResearchers built Stellar Colosseum, a harness that coordinates many instances of a language model to work through long, multi-step proofs instead of asking one model to write an entire proof in one pass. It explores several strategies before committing to one, uses a \"readiness gate\" to judge when an approach is solid enough to break into subproblems, and routes any errors a verifier flags back to the specific section of the proof that caused them. It's now built into Google Antigravity's Teamwork framework as the \"Long Proof\" pattern. Paired with Gemini 3.1 Pro, the system produced new results addressing open problems raised in papers published at FOCS and JMLR, two of the more selective venues in theoretical computer science and machine learning.\n\nThis is a step beyond AI systems that ace exam-style problems but stall once progress depends on a chain of earlier, uncertain decisions, which is closer to how real research actually works. The system's own numbers show where that gap still sits: 71.0% accuracy on TCS-Bench's research-level theorem-proving tasks, versus 218 of 222 solved in a Codeforces evaluation with execution feedback.\n\nThat gap is the tell. Competitive programming problems get scored automatically and instantly; open research problems don't, which is exactly why the harness leans so hard on internal verifiers and falsification passes to make up the difference.","[\"ai\",\"research\",\"google\",\"mathematics\"]","2026-09-16T04:00:00.000Z","2026-09-17T16:55:31.015Z","2026-09-17T16:55:42.921Z","published",null,[24],{"id":25,"reviewer":26,"round":27,"reason":28,"status":29},"editor-r1","editor",1,"The closing line's phrase 'the source does not say how many of these results count as meaningful advances versus tidy corollaries' is a leftover admission of missing reporting rather than finished analysis — cut the meta-reference to 'the source' and either substantiate the skepticism with something in the body or drop the claim.","resolved","ai",[30,32,33,34],"research","google","mathematics",[36],{"name":37,"url":38},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2609.15983",0,{"sections":41},[42,46,51,56,61,65,69,74,79,83,88,93,98,103],{"name":43,"slug":30,"count":44,"latest_published_at":45},"AI",3852,"2026-09-17T08:27:09.000Z",{"name":47,"slug":48,"count":49,"latest_published_at":50},"Security","security",648,"2026-09-17T04:00:00.000Z",{"name":52,"slug":53,"count":54,"latest_published_at":55},"Policy","policy",338,"2026-09-11T04:00:00.000Z",{"name":57,"slug":58,"count":59,"latest_published_at":60},"Deals","deals",179,"2026-06-29T20:02:07.000Z",{"name":62,"slug":63,"count":64,"latest_published_at":50},"Hardware","hardware",154,{"name":66,"slug":67,"count":68,"latest_published_at":50},"Science","science",114,{"name":70,"slug":71,"count":72,"latest_published_at":73},"Consumer Tech","consumer-tech",99,"2026-09-09T17:27:33.000Z",{"name":75,"slug":76,"count":77,"latest_published_at":78},"Software","software",75,"2026-09-10T20:41:21.000Z",{"name":80,"slug":81,"count":82,"latest_published_at":50},"Dev Tools","dev-tools",73,{"name":84,"slug":85,"count":86,"latest_published_at":87},"Startups","startups",55,"2026-09-09T23:14:29.000Z",{"name":89,"slug":90,"count":91,"latest_published_at":92},"Gaming","gaming",43,"2026-09-10T12:18:06.000Z",{"name":94,"slug":95,"count":96,"latest_published_at":97},"General","general",41,"2026-09-08T01:57:23.000Z",{"name":99,"slug":100,"count":101,"latest_published_at":102},"Reviews","reviews",20,"2026-06-24T12:00:01.000Z",{"name":104,"slug":105,"count":106,"latest_published_at":107},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]