[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-cogentic-harness-uses-gemini-to-crack-five-open-math-problems":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},8976,"cogentic-harness-uses-gemini-to-crack-five-open-math-problems","Cogentic Harness Uses Gemini to Crack Five Open Math Problems","A multi-agent system built on Google's Gemini model independently verified five new results in online learning, auction theory, and mechanism design.","A new AI system just helped researchers cross five open problems off the list, by arguing with itself.\n\nResearchers built Cogentic, a multi-agent harness that runs an iterative prove-verify loop instead of asking one model for one answer. An orchestrator splits a pool of independent provers across competing proof directions, built on top of Google's Gemini model, while several specialized verifier components adversarially check each candidate step. Confirmed intermediate results get locked into what the team calls a persistent verified ledger, so later rounds build on solid ground rather than re-deriving earlier work. Using this setup, Cogentic produced novel results on five open problems spanning online learning, auction theory, and mechanism design, with each result independently checked by outside domain experts and written up in companion papers.\n\nThe interesting part isn't the five results themselves, it's the shift in method. Rather than a single clever guess from a chatbot, this is sustained, adversarial exploration of a problem space over many rounds, closer to how a research group grinds through a hard proof than how a model answers a prompt. That's a different bet than prior formal-math systems, which mostly target competition-style problems with clean, checkable answers rather than genuinely open research questions.\n\nFive results across three adjacent corners of theoretical economics is a real, modest haul, not a sweeping one, and it still took human experts to sign off on every single result.","[\"ai\",\"multi-agent-systems\",\"mathematics\",\"research\"]","2026-10-01T04:00:00.000Z","2026-10-01T13:54:07.390Z","2026-10-01T13:54:10.985Z","published",null,[],"ai",[24,26,27,28],"multi-agent-systems","mathematics","research",[30],{"name":31,"url":32},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2609.40324",0,{"sections":35},[36,39,43,48,53,58,62,67,72,76,81,86,91,96],{"name":37,"slug":24,"count":38,"latest_published_at":18},"AI",5454,{"name":40,"slug":41,"count":42,"latest_published_at":18},"Security","security",805,{"name":44,"slug":45,"count":46,"latest_published_at":47},"Policy","policy",429,"2026-10-01T02:26:17.000Z",{"name":49,"slug":50,"count":51,"latest_published_at":52},"Deals","deals",298,"2026-09-30T21:00:26.000Z",{"name":54,"slug":55,"count":56,"latest_published_at":57},"Hardware","hardware",196,"2026-09-30T13:00:00.000Z",{"name":59,"slug":60,"count":61,"latest_published_at":18},"Science","science",159,{"name":63,"slug":64,"count":65,"latest_published_at":66},"Consumer Tech","consumer-tech",149,"2026-09-30T22:57:11.000Z",{"name":68,"slug":69,"count":70,"latest_published_at":71},"Dev Tools","dev-tools",93,"2026-10-01T02:30:48.000Z",{"name":73,"slug":74,"count":70,"latest_published_at":75},"Software","software","2026-09-30T21:41:11.000Z",{"name":77,"slug":78,"count":79,"latest_published_at":80},"Startups","startups",84,"2026-09-30T20:39:09.000Z",{"name":82,"slug":83,"count":84,"latest_published_at":85},"Gaming","gaming",51,"2026-09-30T16:24:30.000Z",{"name":87,"slug":88,"count":89,"latest_published_at":90},"General","general",50,"2026-09-30T21:37:54.000Z",{"name":92,"slug":93,"count":94,"latest_published_at":95},"Reviews","reviews",31,"2026-09-28T14:31:34.000Z",{"name":97,"slug":98,"count":99,"latest_published_at":100},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]