Meta's models took gold in five STEM Olympiad competitions
Summary
Meta's AI models achieved gold-level results in five STEM Olympiad competitions, demonstrating advanced problem-solving and reasoning capabilities.
Similar Articles
Advanced Gemini with Deep Think Achieves Gold Medal Standard at International Mathematical Olympiad
Google DeepMind's advanced Gemini with Deep Think achieved gold-medal standard at the International Mathematical Olympiad 2025, solving 5 out of 6 problems for 35 points—a significant advance over last year's silver-medal performance, operating end-to-end in natural language within competition time limits.
Opus 5 received a perfect score on the IMO
Opus 5, an AI model, achieved a perfect score on the International Mathematical Olympiad, demonstrating advanced mathematical reasoning.
@ChrisHayduk: https://x.com/ChrisHayduk/status/2076196217109746095
This article compares two AI approaches for mathematical problem solving: DeepMind's AlphaProof, which uses reinforcement learning in the Lean proof language, and OpenAI's raw LLM that achieved a gold medal at the 2025 International Math Olympiad without formal methods.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems (34 minute read)
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.
Inside Meta's attempts to play catch-up with AI
A detailed report on Meta's efforts to catch up in AI, including the hiring of Alexandr Wang and the release of the Muse Spark model, with mixed opinions on progress.