Публикация огромного массива математических работ, полностью сгенерированных искусственным интеллектом, буквально потрясла научный мир. Подобный объем одновременно представленных исследований называют беспрецедентным, ведь решения охватывают абстрактную алгебру, математическую физику, квантовые алгоритмы и дифференциальную геометрию. Некоторые из задач, поддавшихся нейросети, оставались нерешенными более века. Хотя среди представленных результатов нет ответов на оставшиеся пять Проблем тысячелетия, ряд препринтов затрагивает гипотезу Ходжа и гипотезу Римана.
Компания OpenAI опубликовала 700 препринтов, созданных ИИ, с решениями более 300 открытых проблем математики

В самой компании OpenAI заявили, что создают инструменты для ученых и тестируют свои модели на самых сложных открытых задачах науки. При этом представитель разработчика подчеркнул, что оценивать значимость полученных результатов предстоит самому академическому сообществу. Реакция математиков оказалась крайне неоднозначной: от восторга перед возможностями технологий до полного неприятия столь хаотичного выброса информации.
Математик Левент Алпоге из компании Anthropic так прокомментировал ситуацию: «Очевидно, что это самый значимый момент в истории математики». А ведь математике уже много тысяч лет.
Новый этап и этический выбор
Но многие исследователи выражают серьезные опасения. Часть специалистов недовольна тем, что коммерческий алгоритм лишил их авторского приоритета, а кто-то и вовсе отказывается изучать работы, считая их небрежно оформленным черновиком.
Незадолго до релиза компания OpenAI консультировалась с группой математиков, которая рекомендовала открыто публиковать результаты, не задерживая их ради человеческой проверки, чтобы ученые не тратили силы на уже доказанные теоремы.
Некоторые эксперты предупреждают, что использование закрытых коммерческих моделей угрожает созданием двухуровневой системы, в которой корпорации оторвутся от остальной науки и фактически отстранят исследователей от их собственной дисциплины. Но проблема в том, что ИИ действительно дает доказательства очень сложных проблем, и его результаты уже нельзя проигнорировать.


