4 articles tagged with #olympiad. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
Researchers developed QED-Nano, a 4B parameter AI model that achieves competitive performance on Olympiad-level mathematical proofs despite being much smaller than proprietary systems. The model uses a three-stage training approach including supervised fine-tuning, reinforcement learning, and reasoning cache expansion to match larger models at a fraction of the inference cost.
Google's Gemini 3.1 Pro Preview achieved a perfect score on IPhO 2025 theory problems across five runs, surpassing previous AI performance that fell behind top human contestants. However, the researchers acknowledge potential data contamination since the model was released after the competition.
Google's advanced Gemini AI model with Deep Think has officially achieved gold-medal performance at the International Mathematical Olympiad, demonstrating significant progress in AI mathematical reasoning capabilities. This milestone represents a major advancement in AI's ability to solve complex mathematical problems at the highest competitive level.
Researchers have developed a neural theorem prover for Lean that successfully solved challenging high-school mathematics olympiad problems, including those from AMC12, AIME competitions, and two problems adapted from the International Mathematical Olympiad (IMO). This represents a significant advancement in AI's ability to handle formal mathematical reasoning and proof generation.
