Математик из Швейцарии Йоханнес Шмитт (Johannes Schmitt) сообщил в социальной сети X, что нейросеть GPT-5 впервые сумела самостоятельно найти решение открытой математической задачи. По словам исследователя, алгоритм предложил на удивление изящный подход, задействовав нетривиальные методы из смежных разделов алгебраической геометрии вместо стандартных путей. В данный момент работа проходит процедуру рецензирования. Ранее на существенный потенциал искусственного интеллекта в академической математике указывал и лауреат Филдсовской премии Теренс Тао.
В публикации демонстрируются различные сценарии синергии человека и технологий: доказательства, полученные с помощью базовой модели GPT-5 и Gemini 3 Pro, текстовое наполнение от Claude, а также формализованные выкладки на языке Lean, сгенерированные при участии ChatGPT 5.2. В рамках эксперимента по обеспечению прозрачности авторства каждый блок текста снабжен специальной маркировкой, указывающей, был ли он написан человеком или ИИ, с приложением ссылок на исходные запросы и логи диалогов.
Методология Шмитта гарантирует исключительную прослеживаемость процесса: любой читатель может проверить, какие гипотезы принадлежат ученым, а какие — машине. Тем не менее, детальная атрибуция каждого абзаца является крайне трудоемкой задачей, что может сделать ее нецелесообразной при массовом внедрении ИИ-инструментов в повседневную научную деятельность.
Кроме того, исследователи отмечают, что граница между интеллектуальным вкладом человека и результатом работы нейросети становится всё более размытой. Вероятно, предложенный формат верификации будет сложно адаптировать для нужд других научных дисциплин.
Источник: iXBT
