Как ИИ меняет науку: математики испытали чат-бота и не поверили глазам

В Беркли в мае месяце три десятка выдающихся математиков протестировали чат-бота o4-mini, разработанного OpenAI, оценивая его способность к глубокому анализу. В качестве испытания было предложено 300 задач различной сложности. Если прежде ИИ справлялся менее чем с 2% новых задач, то o4-mini продемонстрировал результат около 20%.

Математик Кен Оно предложил нерешённую задачу из области теории чисел. ИИ всего за десять минут проанализировал доступные материалы, решил упрощённый вариант и предоставил верное решение, что вызвало одновременно изумление и тревогу.

Несмотря на то, что десять задач остались нерешёнными, исследователи сопоставили ИИ с высококвалифицированным научным сотрудником, способным находить решения за считанные минуты, а не месяцы. Была выражена обеспокоенность из-за излишне самоуверенного стиля изложения, что может приводить к неточностям при отсутствии перепроверки.

В ходе обсуждения пришли к выводу, что с появлением таких технологий роль математиков претерпит изменения – они будут направлять ИИ в процессе поиска новых научных открытий. Кен Оно подчеркнул, что пренебрегать возможностями ИИ было бы ошибкой, поскольку данные модели уже демонстрируют результаты, превосходящие многих аспирантов.