Тимоти Гауэрс — один из сильнейших математиков мира, лауреат медали Филдса и профессор комбинаторики в Коллеж де Франс — решил проверить ChatGPT 5.5 Pro на открытых задачах из теории чисел. Результат его удивил.
Гауэрс дал модели нерешённые задачи из статьи математика Мела Натансона. Одна из них — улучшить экспоненциальную оценку в конкретной конструкции. ChatGPT подумал 17 минут и 5 секунд, а затем выдал оптимальное решение с квадратичной оценкой. Через 2 минуты и 23 секунды модель оформила доказательство в LaTeX-препринт. Гауэрс проверил — всё верно.
Дальше он попросил ChatGPT улучшить результат Айзека Раджагопала, студента MIT, который доказал экспоненциальную зависимость для обобщённой версии задачи. Менее чем за час модель улучшила оценку с экспоненциальной до полиномиальной. Раджагопал проверил доказательство и назвал ключевую идею «полностью оригинальной» и «весьма остроумной». По его словам, он сам был бы горд придумать такое после недели-двух раздумий.
Гауэрс прямо пишет: его собственный математический вклад был равен нулю. Он даже не формулировал умных промптов.
Вывод, который он делает, звучит резко: планка для вклада в математику теперь — доказать то, чего не может доказать языковая модель. Просто доказать что-то новое, что интересно кому-то, уже недостаточно.
Он также предупреждает: те, кто начинает докторантуру сегодня и защитится не раньше 2029 года, застанут математику «изменившейся до неузнаваемости».
Это перекликается с идеями Теренса Тао, другого ведущего математика, о «математике промышленного масштаба» — когда большие команды с ИИ заменят одиночек, годами работающих над узкими задачами. Тао ранее сравнивал ИИ с «посредственным, но не совсем некомпетентным» ассистентом. Опыт Гауэрса показывает, что эта оценка устарела.
Оба препринта опубликованы и доступны для проверки.
