Google DeepMind, a research unit of Google LLC, introduced two new AI models capable of advanced mathematical reasoning to solve complex math problems. These models, AlphaProof and AlphaGeometry 2, aim to address challenges current models face in mathematical problem-solving. DeepMind highlighted the importance of advanced mathematical reasoning in the development of artificial general intelligence (AGI).
The models were tested against problems from the International Mathematical Olympiad, where they successfully solved four out of six challenging questions. AlphaProof utilizes a formal language, Lean, for proving mathematical statements, while AlphaGeometry 2 is an enhanced version of the company's geometry-solving system. DeepMind researchers trained the models extensively to tackle a wide range of mathematical topics and difficulties.
Isomorphic Labs, the AI drug discovery platform that was spun out of Google's DeepMind in 2021, has raised external capital for the first time. The $600
How to level up your teaching with AI. Discover how to use clones and GPTs in your classroom—personalized AI teaching is the future.
Trump's Third Term? AI already knows how this can be done. A study shows how OpenAI, Grok, DeepSeek & Google outline ways to dismantle U.S. democracy.
Sam Altman today revealed that OpenAI will release an open weight artificial intelligence model in the coming months. "We are excited to release a powerful new open-weight language model with reasoning in the coming months," Altman wrote on X.