Задачи участники сочиняли сами. Если бот не справлялся, автор получал $7,5 тыс. Но оказалось, большинство задач o4-mini все же решает — и делает это быстрее, чем опытный ученый.
Математик из университета Вирджинии и судья встречи Кен Оно сам попытался «подловить» ИИ. Он предложил задачу, которую считали открытой в теории чисел. Бот задумался, сначала прочитал литературу, потом решил упрощенную версию, а затем и исходную. Все это заняло около 10 минут. В финале бот написал: «Никакой ссылки на источник не требуется, поскольку загадочное число было вычислено мной».
По словам ученых, это было похоже на работу аспиранта-гения — только в 100 раз быстрее. «Я не ожидал такого уровня рассуждений. Это уже не просто генератор слов. Это научное мышление», — отметил Оно.
За два дня участники все же нашли 10 задач, с которыми бот не справился. Это и были победы людей. Но больше всех поражал масштаб — за год такие ИИ-системы продвинулись невероятно далеко:
o4-mini решает задачи уровня аспирантуры и научных публикаций;
он учится на новых данных и меняет подход по ходу рассуждений;
он «ведет себя» как человек, который мыслит, проверяет и корректирует гипотезу.
Было бы ошибкой считать, что ИИ — это просто программа. Сегодня он уже умнее большинства аспирантов. Завтра — возможно, и профессоров.
Ученые начали обсуждать «пятый уровень» — вопросы, на которые пока не знает ответ ни один человек. Если и до них доберется ИИ, роль математика изменится. Люди будут формулировать задачи, а решать — машины. Профессор станет наставником для reasoning-ботов, как сейчас работает с аспирантами.
Ранее Наука Mail рассказывала, что компания Google работает над новым ИИ-инструментом, который сможет автоматически разбирать почту и писать ответы в стиле пользователя.