First screen, captured .
474 points by meetpateltech | 213 comments
Google DeepMind blog post announcing that an advanced Gemini model with Deep Think officially achieved gold-medal standard at the 2025 International Mathematical Olympiad.
516 points by FlawedReformer | 158 comments
Google DeepMind research blog post introducing AlphaGeometry, an AI system that solves olympiad-level geometry problems.
516 points by FlawedReformer | 158 comments
Google DeepMind research blog post introducing AlphaGeometry, an AI system that solves olympiad-level geometry problems.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
847 points by vinhnx | 687 comments
A paid Algorithmic Bridge Substack post by Alberto Romero arguing that Google is ahead of OpenAI and Anthropic across every front of AI.
341 points by reqo | 79 comments
Google DeepMind blog post introducing FunSearch, a method that uses large language models to make new discoveries in mathematical sciences.
1314 points by OfficialTurkey | 1488 comments
OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.