Google's Cogentic site details Gemini-produced expert-verified proofs on 5 open problems
Dr_Singularity · x · 2026-10-06
This post links to Google's official Cogentic project page. Cogentic is a Google Research multi-agent orchestration system for automated proof discovery on open research problems, running on Gemini 3.1 Pro or an early Gemini 4 Argon.
The page lists expert-verified results, each with a companion paper:
- Efficient online inverse optimization with O(d) regret
- Two additional traders suffice in two-sided markets via recruiting the smaller side
- Anytime regret with many experts matches the fixed-time constant
- Improved revenue guarantees for selling separately and bundling
- Efficiency of generalized proportional first-price auctions under auto-bidding
The page is updated as new results land (last updated Sep 30, 2026).
More from coding & agent
- A Planted 'P.S.' Fooled Jev, TypeSafe's New Decision Model — a Simple Rule Caught It — Internal-Lie-5197 · 2026-10-06
- Claude Code's New Dreaded Message: 'Compacted While Idle, Before the Prompt Cache Expired' — dSebastien · 2026-10-06
- Dev uses 5 Grok agents over 3 days to pre-generate a full AI dictionary for English readers — sujingshen · 2026-10-06
- Student builds dAIly, a local-first AI planning agent powered by Gemma — damnGruz · 2026-10-06
- "It's all prompts": a harness is just a tool for restructuring input and output tokens — shakoistsLog · 2026-10-06
- Built in Three Prompts and an Hour: Why "I Wanted This to Exist" Now Justifies Software — TheMoonMidas · 2026-10-06