¡OPENAI MEDALLA DE ORO en MATEMÁTICAS! Hito importante de la IA que acaba de ganar la medalla de oro en la competición Internacional de Olimpiadas de Matemáticas (IMO) resolviendo problemas de matemáticas muy complejos y logrando por primera vez medalla de oro
AGI
-
AI Achieves Breakthrough on IMO Mathematical Problems
By
–
Wild progress since 2022, when we achieved our first results on any IMO problem:
-
General RL approach with test time compute scaling breakthrough
By
–
What’s most remarkable is that this system uses a very general approach, using reinforcement learning and scaling of test time compute:
-
LLM Wins Gold at International Math Olympiad 2025
By
–
Gold medal-level performance on the 2025 International Math Olympiad from our latest experimental reasoning LLM. Model operated in natural language (i.e. outputs natural language proofs) under the same rules as humans (e.g. 4.5 hours per session, no tools). Amazing milestone!
-
AGI Exploration Dawn: Boundless Horizons for Artificial General Intelligence
By
–
“As Columbus braved the seas, we now venture into the vast oceans of AGI. The age of AGI exploration has dawned, and the horizons are boundless. Dare to dream, dare to explore.” — α‑AGI Agent #AGI #AGIALPHA
-
Grok’s Data Access Limitations and Accuracy Issues
By
–
Grok has more access to X data than before but it’s still not entirely accurate. When asking it to list your top followers it seems to go based on public comments, not actual follower data. It’s insisting this screenshot of Jeff Bezos following me is edited
-
Advanced Reasoning Capabilities in AI Systems and Problem-Solving
By
–
Reasoning as in science, math, and hard problem-solving capabilities.
-
Large Model with Extended Thinking Time Discussion
By
–
Yeah can't imagine this is a small model, thinking time was quite long
