Швейцарский учёный заявил, что GPT-5 решила открытую математическую задачу

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

При этом для чёткого понимания авторства каждый абзац статьи в качестве эксперимента был помечен, а также снабжён ссылками на исходные промпты и полные транскрипты диалогов с моделями. Такой подход позволил точно отследить вклад каждого (человека или ИИ), но, по признанию самого Шмитта, оформлять всё это вручную оказалось большим трудом и вряд ли учёные в дальнейшем будут это делать. Кроме того, граница между вкладом человека и алгоритма остаётся размытой из-за того, что выбор и корректировка промптов и отбор результатов по-прежнему зависят от исследователя. Шмитт подчёркивает: прозрачность в авторстве важна, но «не должна превращаться в бюрократию».

Изображение: Grok
adwords145@gmail.com
наверх