Well, here come the AGI signs. As Noam from OpenAI writes, they themselves didn’t know a couple months ago that this would come out.
In short, a new-type model that can reason for hours managed to take a gold medal at the International Math Olympiad without using the web, Python, or other tools. That’s already a pretty solid level (just a year ago they were measuring dicks using regular school math as a benchmark). What’s inside isn’t clear. Looks like we’ll wait another quarter and try it ourselves. “Thinks for hours” means the queries will most likely be paid, and heavily paid. But I think they’ll make the approach cheaper. Interesting times we live in!
Thread (https://x.com/polynoamial/status/1946478249187377206?s=46)
Problem solutions (https://github.com/aw31/openai-imo-2025-proofs)
Original (RU)
Ну вот и признаки AGI. Как пишет Ноам из OpenAI сами не знали пару месяцев назад, что такое получится.
Короче говоря моделька нового типа, которая рассуждает уже часами смогла взять золотую медаль на международной олимпиаде по математике без использования веба, Python и прочих тулов. Это уже уровень солидный (еще год назад мерились по обычной школьной математике как бенчмарку). Что внутри не ясно. Видимо будем ждать еще квартал и попробуем сами. Думает часами это значит запросы скорее всего будут платные и сильно платные. Но сам подход думаю удешевят. В интересное время живем!
Тред (https://x.com/polynoamial/status/1946478249187377206?s=46)
Решения задач (https://github.com/aw31/openai-imo-2025-proofs)