1 article
Google's Gemini Deep Think system now verifies and repairs mathematical proofs iteratively, achieving approximately 90% accuracy on the IMO-ProofBench Advanced benchmark through its Aletheia agent.
We use cookies to improve your experience on our site and to show you relevant advertising. To find our more, read our privacy policy and cookie policy