Google DeepMind researchers developed an AI agent that autonomously solved 9 out of 353 open Erdős problems.
Powered by Gemini, the model generated machine-checkable proofs at a fraction of the cost previously required for such complex mathematical research, marking a shift in AI acting as a genuine research collaborator.
20% chance Google leads the AI race at the end of next month.
Make your predictions with Predictore
Post #158
25

- ❤ 2
- 👍 1