Google's Cogentic uses multi-agent adversarial loops to solve open math problems
mikeflache · x · 2026-10-02
- Cogentic, a multi-agent orchestration framework by Google Research (YangCai, Vineet Gupta et al., on arXiv), targets automated proof discovery.
- It runs an iterative prove-verify loop managed by an orchestrator, adversarial verifiers, and a persistent ledger, overcoming single-shot LLM limitations to tackle novel open problems in math and theoretical CS.
- Forcing Gemini models into a "guilty until proven innocent" framework shows breakthroughs in abstract scientific discovery depend more on scaling test-time compute via structured multi-agent peer review than on building larger models.
Related event: Google's Cogentic Multi-Agent System Tackles Open Math Problems(4 posts)→
More from coding & agent
- Muse vs Dots vs Grok Bot: one reviewer's UX and polish rankings point opposite ways — brandon_galang · 2026-10-03
- Code review tool px0 adds theme-aware Mermaid diagrams and 'your changes vs PR changes' view — arpit_bhayani · 2026-10-03
- AI is turning programming from a writing skill into a reading skill — _jaydeepkarale · 2026-10-03
- OpenWiki: open-source AI agents build evidence-backed wikis for your codebase — abhishek__AI · 2026-10-03
- 'Cursor is cooked' takes it back: the hot take that aged like milk — gabriberton · 2026-10-03
- Obol: free self-hosted MCP gateway with argument-level Cedar policies — ToBeContinuedHermit · 2026-10-03