Read this carefully: OpenAI has achieved the gold medal in IMO with a new reasoning model (the new o3 alpha model that appeared briefly?) In just 15 months, they have gone from AIME 12% to gold in the IMO. The conclusion: Next year, the models could be so good that they develop new theorems. Holy moly.
Sheryl Hsu
Sheryl HsuJul 19, 15:52
It’s crazy how we’ve gone from 12% on AIME (GPT 4o) → IMO gold in ~ 15 months. We have come very far very quickly. I wouldn’t be surprised if by next year models will be deriving new theorems and contributing to original math research!
88.79K