Швейцарский математик Йоханнес Шмитт сообщил в социальной сети, что система искусственного интеллекта GPT-5 впервые независимо решила открытую математическую задачу. По словам исследователя, программа предложила элегантное решение, неожиданно применив методы из смежной области алгебраической геометрии, а не традиционные подходы. В настоящее время эта работа находится на стадии научного рецензирования. Ранее о потенциальной пользе искусственного интеллекта для математики высказывался, в частности, известный ученый Теренс Тао.
В рамках представленного исследования были опробованы различные формы сотрудничества человека и умных алгоритмов. В работе использовались доказательства, полученные базовой моделью GPT-5 и системой Gemini 3 Pro, текстовые фрагменты, сгенерированные алгоритмом Claude, а также формальные доказательства, созданные с помощью инструмента интерактивного доказательства теорем Lean на основе кода от Claude и ChatGPT 5.2. В качестве эксперимента по прозрачному определению авторства каждый абзац в материале помечен как написанный человеком или искусственным интеллектом, со ссылками на исходные запросы и полные расшифровки диалогов.
Подход, предложенный Йоханнесом Шмиттом, обеспечивает высокий уровень прозрачности и отслеживаемости процесса: любой заинтересованный специалист может проверить, какие идеи принадлежат исследователям, а какие были предложены алгоритмами. Однако подобная детальная маркировка каждого фрагмента текста требует значительных временных затрат и может стать непрактичной по мере того, как искусственный интеллект будет все шире внедряться в повседневную научную работу.
Кроме того, граница между вкладом человека и вкладом системы искусственного интеллекта зачастую оказывается размытой. Предложенная модель атрибуции, вероятно, не сможет быть легко перенесена в другие научные дисциплины без существенных адаптаций. Это достижение вновь ставит перед научным сообществом важные вопросы о методологии совместной работы и критериях оценки интеллектуального вклада в эпоху развивающихся технологий.