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