Tag
Google Research presents Cogentic, a multi-agent harness built on Gemini that runs an iterative prove–verify loop to discover proofs for open problems in theoretical computer science, producing expert-verified novel results on five open problems in online learning, auction theory, and mechanism design.
EULER is a multi-agent system that explores cross-domain transfers to automatically prove or refute mathematical conjectures, validated with stress tests and evaluated on 120 recent conjectures, producing proofs, refutations, and partial results.
Euclid-Omni is a neuro-symbolic framework integrating LLMs, VLMs, and a symbolic solver to address plane geometry problems from calculations to Olympiad-level proofs, using synthetic data generation for training.