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
-
Nvidia open-sources IMO gold-medal AI math reasoning system · 1 source tracked
Nvidia has open-sourced its complete mathematical reasoning system used to achieve a gold medal at the 2026 International Mathematical Olympiad (IMO). The system, named Nemotron 3 Ultra, not only achieved a high score b…
-
Quantum processor proves geometry theorems, advancing AI
Researchers have demonstrated automated geometry theorem proving on a superconducting quantum processor, a significant step for quantum computing in artificial intelligence. The study introduces two quantum frameworks: …
-
Nvidia shares IMO gold medal AI recipe amid mathematician concerns · 2 sources tracked
Nvidia has released the training methodology for its Nemotron model, which achieved a gold medal score on the International Mathematical Olympiad (IMO) 2026. The model, named Nemotron 3 Ultra 550B-A55B, generated proofs…
-
AI progresses from Olympiad math to Millennium Problems in under a year
AI models are demonstrating advanced capabilities, moving from excelling in competitions like the International Mathematical Olympiad to making progress on complex Millennium Problems within a year. This rapid advanceme…
-
New StochBench benchmark tests LLMs on stochastic processes in Lean · 2 sources tracked
Researchers have introduced StochBench, a new benchmark designed to evaluate large language models on stochastic processes in the Lean 4 programming language. This benchmark features 450 graduate-level problems, address…
-
LLM agent InternGeometry achieves Olympiad-level geometry problem-solving
Researchers have developed InternGeometry, an LLM agent capable of solving International Mathematical Olympiad (IMO) level geometry problems. This agent overcomes limitations in proposing auxiliary constructions by iter…
-
New benchmark tests LLMs' ability to formalize geometry problems for AlphaGeometry
Researchers have developed NL2AGBench, a new benchmark designed to evaluate how well large language models can translate informal geometry problems into the formal language required by AlphaGeometry. This is crucial bec…
-
叠风新能源 secures tens of millions in strategic funding for ship wind-assist tech
叠风新能源 (DEALFENG®), a Chinese company specializing in wind-assisted propulsion systems (WAPS) for ships, has secured tens of millions in strategic funding from Haidehui Group. The company is a pioneer in China for obtain…
-
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…