International Mathematical Olympiad
PulseAugur coverage of International Mathematical Olympiad — every cluster mentioning International Mathematical Olympiad across labs, papers, and developer communities, ranked by signal.
5 day(s) with sentiment data
-
Chinese AI Model Dots-Note-3.0 Achieves Perfect Score at Math Olympiad
A Chinese AI model named dots-note-3.0 has achieved a perfect score on the International Mathematical Olympiad (IMO). Developed by RedNote, the model successfully solved all six complex math problems presented at the co…
-
Xiaohongshu's dots-note 3.0 AI achieves perfect score in International Mathematical Olympiad
Xiaohongshu's dots-note 3.0 AI model has achieved a perfect score of 42 points in the International Mathematical Olympiad. This marks the first time an AI system has attained a flawless score and a gold-medal-level resu…
-
New framework automates geometry problem formalization in Lean
Researchers have developed Euclean, a novel framework designed to automate the formalization of geometry problems within the Lean proof assistant. This system addresses the fragmentation between algebraic and geometric …
-
Chinese AI model dots-note-3.0 achieves perfect score at International Mathematical Olympiad
RedNote, a Chinese social media company, has developed the first AI model to achieve a perfect score at the International Mathematical Olympiad (IMO). The model, named dots-note-3.0, successfully solved all six complex …
-
Loopie Transformer architecture achieves gold-medal performance on Olympiads
Researchers have introduced Loopie, a novel looped Transformer architecture designed to overcome previous limitations in scaling. The Loopie series includes two Mixture-of-Experts (MoE) models: a 20B-parameter version w…
-
New Riemann-Bench reveals AI struggles with research-level math
A new benchmark called Riemann-Bench has been introduced to evaluate AI systems on advanced, research-level mathematics, moving beyond the scope of competition problems. Developed by Ivy League mathematics professors an…
-
Gemini 3.0 Pro pipeline slashes math problem costs, achieves SOTA
Researchers have developed a new inference pipeline that significantly reduces the cost of using off-the-shelf AI models for complex math problems. This method achieves state-of-the-art performance on the IMO-ProofBench…
-
New LLM Frameworks and Benchmarks Advance Formal Mathematical Reasoning
Researchers are developing new methods and benchmarks to improve the formal mathematical reasoning capabilities of large language models (LLMs). One approach, Diffusion-Proof, utilizes diffusion LLMs (dLLMs) for theorem…
-
LLM achieves IMO gold medal; Google inks $30B SpaceX compute deal
A general-purpose LLM has achieved a gold-medal level performance in the International Mathematical Olympiad, demonstrating strong capabilities in creative reasoning beyond simple pattern recognition. Separately, Google…
-
Google DeepMind scientist Yi Tay balances AI research with piano mastery
Yi Tay, a research scientist at Google DeepMind, is a key figure behind Gemini's success in academic competitions like the International Mathematical Olympiad. He also contributed to Gemini 2.5, 3, and the Gemini Deep T…
-
AI systems achieve 100% correctness in IMO-level mathematics using Lean-verified proofs
Six AI systems achieved perfect scores on IMO-level mathematics problems in 2025, utilizing Lean-verified proofs. This breakthrough was enabled by a highly stringent verification process, which ensures absolute correctn…
-
Computer vision system detects container loss at sea using onboard cameras
Researchers have developed a computer vision system to detect destabilized shipping containers at sea, aiming to reduce losses that pose safety and environmental risks. The low-cost, retrofittable system uses existing o…
-
Gemini Deep Think achieves gold-medal standard at International Mathematical Olympiad
An advanced version of Google DeepMind's Gemini model, utilizing its "Deep Think" mode, has achieved a gold-medal standard at the International Mathematical Olympiad (IMO). The model successfully solved five out of six …
-
Google DeepMind launches Deep Think for Gemini Ultra subscribers
Google DeepMind has released a new AI capability called Deep Think, now available to Google AI Ultra subscribers via the Gemini app. This feature utilizes parallel thinking techniques, allowing the model to explore mult…
-
Google DeepMind leverages AI to accelerate scientific discovery and math research
Google DeepMind is launching initiatives to accelerate scientific discovery using AI, focusing on partnerships in India and advancing mathematical research. The company is providing access to frontier AI models like Alp…