Boundless Intuition's autonomous proving agent Dirac proved all six problems of the 2026 International Mathematical Olympiad in 7 hours 18 minutes, faster than Pramaana Hardy's 8 hours 57 minutes and …
On July 15-16, 2024, at the International Mathematical Olympiad in Shanghai, several frontier AI systems, including Claude Fable 5, GPT-5.6 Sol, and Kimi K3, achieved perfect scores of 42 out of 42 on…
Chinese social giant RedNote has developed dots-note-3.0, the first AI model to achieve a perfect score of 42 at the International Mathematical Olympiad (IMO), solving all six puzzles at the competiti…
Harmonic, the AI startup co-founded by Robinhood CEO Vlad Tenev and Tudor Achim, announced on July 28 that its reasoning model Aristotle achieved gold medal-level performance on the 2025 International…
SignalPilot-Labs released a PDF showing that OpenAI's GPT 5.6 solved all International Mathematical Olympiad 2026 questions without human steering, marking the first time an AI has achieved a perfect …
A writer argues that artificial intelligence, exemplified by ChatGPT, is fundamentally similar to human intelligence, noting that both systems learn from data, produce comparable outputs, and exhibit …