Data Points
o3-mini tops the AIME 2025 math leaderboard: AlphaGeometry2 solves even more Olympiad-level problems
Replit’s agentic app for building more apps. ASAP experiments with training techniques for agile robots. Hugging Face’s smaller, open language model beats competitors. IBM uses RL to add reasoning to its open Granite models.