This is a Gemini news story, published by Google DeepMind, that relates primarily to AlphaProof news.
For more Gemini news, you can click here:
more Gemini newsFor more AlphaProof news, you can click here:
more AlphaProof newsFor more Ai research news, you can click here:
more Ai research newsFor more news from Google DeepMind, you can click here:
more news from Google DeepMindOtherweb, Inc is a public benefit corporation, dedicated to improving the quality of news people consume. We are non-partisan, junk-free, and ad-free. We use artificial intelligence (AI) to remove junk from your news feed, and allow you to select the best tech news, business news, entertainment news, and much more. If you like this article about Ai research, you might also like this article about
advanced mathematical reasoning capabilities. We are dedicated to bringing you the highest-quality news, junk-free and ad-free, about your favorite topics. Please come every day to read the latest young mathematicians news, International Mathematical Olympiad news, news about Ai research, and other high-quality news about any topic that interests you. We are working hard to create the best news aggregator on the web, and to put you in control of your news feed - whether you choose to read the latest news through our website, our news app, or our daily newsletter - all free!
advanced mathematical reasoningGoogle DeepMind
•
91% Informative
Research AI achieves silver-medal standard solving International Mathematical Olympiad problems.
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics.
Together, these systems solved four out of six problems from this year ’s IMO , achieving the same level as a silver medalist in the competition.
AlphaGeometry 2 could solve 83% of all historical IMO geometry problems from the past 25 years , compared to the 53% rate achieved by its predecessor.
AlphaProof solved Problem 4 within 19 seconds after receiving its formalization for IMO 2024 , according to the AI team.
AlphaGemmy and Gemini are exploring multiple AI approaches for advancing mathematical reasoning.
VR Score
94
Informative language
95
Neutral language
50
Article tone
formal
Language
English
Language complexity
72
Offensive language
not offensive
Hate speech
not hateful
Attention-grabbing headline
not detected
Known propaganda techniques
not detected
Time-value
long-living
External references
15
Source diversity
11
Affiliate links
no affiliate links