International Mathematical Olympiad
PulseAugur coverage of International Mathematical Olympiad — every cluster mentioning International Mathematical Olympiad across labs, papers, and developer communities, ranked by signal.
-
Tracking 18,000 IMO/IOI Medalists: 1500x Probability of Becoming a Billionaire
A comprehensive analysis of 18,000 International Mathematical Olympiad (IMO) and International Olympiad in Informatics (IOI) medalists over 25 years reveals a significantly higher probability of becoming billionaires an…
-
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…