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