ОтветыОпубликовано25 источники
OpenAI заявила о решении более 100 открытых задач. Почему математическое сообщество пока не выносит вердикт
21 сентября 2026 года OpenAI сообщила, что внутренняя модель, обучение которой началось 28 августа, «решила» более 100 давних открытых задач из большинства областей математики.[5][15] По задаче Навье—Стокса компания представила аналитическое доказательство и формализацию в Lean, однако независимое рецензирование и о...
ОпубликовалОтредактировано с помощью GPT-5.6 TerraИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- 21 сентября 2026 года OpenAI сообщила, что внутренняя модель, обучение которой началось 28 августа, «решила» более 100 давних открытых задач из большинства областей математики.[5][15]
- По задаче Навье—Стокса компания представила аналитическое доказательство и формализацию в Lean, однако независимое рецензирование и общее признание результата математическим сообществом ещё не установлены.[1][13]
- Для заявления о «100+» задачах OpenAI не опубликовала открытый каталог с точными формулировками, доказательствами, статусом формализации и независимой проверки по каждой из них.[7][11]
- Нет публичных оснований считать гипотезу Ходжа доказанной: OpenAI сообщала лишь о существенном прогрессе по второй, не названной задаче тысячелетия.[14]
Промпт ИИ
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
21 сентября OpenAI сделала громкое заявление, но это пока заявление компании, а не общепринятый математический результат. По словам OpenAI, неназванная внутренняя модель, обучение которой началось 28 августа, решила более 100 давних открытых задач в большинстве областей математики. Одновременно компания объявила о создании независимой консультативной группы по математике и искусственному интеллекту при Институте перспективных исследований (Institute for Advanced Study, IAS) в Принстоне. 5
15
Главное различие здесь простое: заявить о решении задачи — не то же самое, что пройти независимую проверку и добиться признания сообщества. Публичные материалы подтверждают первое, но пока не позволяют утверждать второе для всего списка из более чем ста задач.
Что именно заявила OpenAI
8 сентября OpenAI сообщила, что около 10 000 ИИ-агентов, работавших с закрытой внутренней моделью, за 88 часов нашли решение, связанное с возникновением сингулярности за конечное время в вынужденных трёхмерных уравнениях Навье—Стокса. Компания назвала это решением задачи о существовании и гладкости для уравнений Навье—Стокса — одной из задач тысячелетия — и заявила о наличии аналитического доказательства и формализации в Lean. 1
13
21 сентября OpenAI расширила заявление: помимо Навье—Стокса, внутренняя модель якобы решила ещё более 100 давних открытых задач. 5
15
Слово «решила» в данном случае — формулировка самой компании. Оно не означает, что каждый результат уже опубликован, проверен независимыми специалистами или принят математическим сообществом.
Что было опубликовано, а чего не хватает
Для результата по Навье—Стоксу OpenAI описала аналитическое доказательство и формализацию в Lean — языке ассистента доказательств. Проверка в Lean важна: она может подтвердить, что точно закодированная теорема логически следует из закодированных определений, аксиом и ранее проверенной библиотеки. 13
Но по широкому заявлению о «100+» задачах публичная база заметно слабее. В сообщении от 21 сентября не было открытого поимённого перечня задач, их точных формулировок, доказательств, сведений о формализации, происхождении идей и статусе независимой экспертизы. Поэтому внешние исследователи не могут проверить впечатляющую цифру отдельно по каждой задаче. 7
11
Доступные сообщения также не подтверждают, что доказательство по Навье—Стоксу уже прошло завершённое независимое человеческое рецензирование или получило общее признание математиков. Это отдельные стандарты, не сводимые к публикации артефакта доказательства или успешной компиляции кода. 1
46
Решена ли гипотеза Ходжа?
Нет: в предоставленных публичных материалах нет оснований считать гипотезу Ходжа решённой.
Гипотеза Ходжа входит в число задач тысячелетия Clay Mathematics Institute. 37 В публикациях сообщалось, что OpenAI признала существенный прогресс по второй, не названной задаче тысячелетия. Но компания не называла эту задачу гипотезой Ходжа и не публиковала её доказательство.
14
Слухи, сообщения о прогрессе или заявления о прорыве не заменяют доказательства, доступного для изучения научным сообществом. Пока нет точной формулировки результата, полного обоснования и независимой оценки, утверждать, что OpenAI доказала гипотезу Ходжа, нельзя.
Почему доказательство в Lean может быть корректным, но неудобным для оценки
Формальная верификация и человеческое понимание математики решают близкие, но не одинаковые задачи.
Формализация в Lean способна дать сильную гарантию отсутствия логического пробела в рамках заданной формальной системы. Но в формальном коде обычные для математика переходы раскладываются на множество определений, вспомогательных лемм, зависимостей от библиотек, переписываний и технических шагов. Из-за этого специалисту может быть трудно увидеть доказательство как цельный содержательный аргумент.
Это не значит, что «код скомпилировался» — неважное достижение. Но одна компиляция не отвечает на все ключевые вопросы:
- совпадает ли формальная теорема с исходной постановкой задачи тысячелетия;
- в чём главная идея конструкции или механизма сингулярности;
- какие оценки и рассуждения несут основную содержательную нагрузку;
- насколько результат нов, устойчив и пригоден как основа для дальнейшей работы;
- как следует учитывать предыдущие идеи и распределять научный приоритет.
Формальная проверка может быть важнейшей частью верификации, однако сама по себе она не создаёт ясного человеческого изложения, не разрешает вопрос авторства и не формирует научный консенсус.
Критика: приоритет, авторство и нормы научной работы
Объявление вызвало споры не только о техническом качестве доказательств. Открытое письмо A Severe Misalignment of AI in Mathematics подписали 25 лауреатов Филдсовской премии. Они раскритиковали гонку ИИ-лабораторий, использующих знаменитые математические задачи как демонстрацию возможностей моделей, и предупредили о рисках для исследовательской культуры и подготовки математиков. 19
21
Отдельный спор о приоритете связан с математиками Тристаном Бакмастером и Левентом Альпёге. В опубликованном тогда заявлении Бакмастер написал, что ему сообщили о доказательстве конечновременного взрыва для вынужденных уравнений Навье—Стокса, полученном внутренней системой OpenAI. Он также указал, что они с Альпёге почувствовали давление, побуждавшее опубликовать близкую работу до завершения проверки и изложения; отдельный результат по гиподиссипативному варианту Навье—Стокса они не выпустили, поскольку проверка в Lean ещё не была завершена. 17
Это свидетельство спора о сроках, признании приоритета и давлении при публикации. Само по себе оно не доказывает, что OpenAI скопировала чью-либо работу. OpenAI заявляла, что начала работу после слуха о прорыве двух математиков и предлагала одновременную публикацию с признанием их приоритета. 32
Поэтому вопрос шире, чем способность ИИ генерировать доказательства. Не менее важно, можно ли публиковать ИИ-результаты так, чтобы обеспечить корректную атрибуцию, независимую экспертизу и нормальный научный обмен.
Что может и чего не может консультативная группа при IAS
OpenAI объявила о независимой неоплачиваемой консультативной группе по математике и искусственному интеллекту из девяти человек, работающей при Институте перспективных исследований в Принстоне. Среди названных участников — Тимоти Гауэрс и Мартин Хайрер. 4
5
Её заявленная задача — помочь математикам участвовать в оценке и объяснении работ, созданных с помощью ИИ, в том числе консультировать по подходам к проверке и публикации результатов. 5
15
Однако эта группа носит консультативный, а не регулирующий характер. По имеющимся сообщениям, она не может заставить OpenAI раскрыть доказательства, диктовать компании график исследований, запрещать анонсы или окончательно решать вопросы авторства. 7
Именно в этом состоит ключевое ограничение: экспертные рекомендации могут улучшить прозрачность, но не превращают внутреннее заявление компании в теорему, принятую математическим сообществом.
Почему премию тысячелетия пока получить нельзя
Правила Clay Mathematics Institute однозначны. Прежде чем институт начнёт рассматривать предложенное решение задачи тысячелетия, оно должно быть опубликовано в подходящем издании; после публикации должно пройти не менее двух лет; кроме того, работа должна получить общее признание мирового математического сообщества. 46
Пост компании, препринт, репозиторий кода или оценка консультативной группы сами по себе этим условиям не соответствуют. Clay Institute после объявления по Навье—Стоксу отдельно напомнил, что его правила регулируют и оценку достижений, и вопрос распределения заслуг. 42
Следовательно, даже если результат OpenAI по Навье—Стоксу или какой-либо последующий результат в итоге окажется верным, сентябрьские заявления не сделали их автоматически претендентами на премию. Работы ещё должны пройти обычный путь публикации и признания.
Вывод
OpenAI заявила, что её внутренняя ИИ-модель решила более 100 открытых математических задач, после более раннего заявления о формализованном в Lean решении задачи Навье—Стокса. По Навье—Стоксу существуют публичные материалы; по остальному портфелю пока нет открытой доказательной картины по каждой задаче. 13
11
Сейчас разумная позиция — не безоговорочно отвергать и не безоговорочно принимать эти сообщения. Потенциально это чрезвычайно важные результаты, но им нужны прозрачные доказательства, независимая экспертиза, аккуратное признание заслуг и время. Тем более если речь идёт о возможном решении другой задачи тысячелетия, включая гипотезу Ходжа.
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «OpenAI заявила о решении более 100 открытых задач. Почему математическое сообщество пока не выносит вердикт»?
21 сентября 2026 года OpenAI сообщила, что внутренняя модель, обучение которой началось 28 августа, «решила» более 100 давних открытых задач из большинства областей математики.[5][15]
Какие ключевые моменты необходимо проверить в первую очередь?
21 сентября 2026 года OpenAI сообщила, что внутренняя модель, обучение которой началось 28 августа, «решила» более 100 давних открытых задач из большинства областей математики.[5][15] По задаче Навье—Стокса компания представила аналитическое доказательство и формализацию в Lean, однако независимое рецензирование и общее признание результата математическим сообществом ещё не установлены.[1][13]
Что мне делать дальше на практике?
Для заявления о «100+» задачах OpenAI не опубликовала открытый каталог с точными формулировками, доказательствами, статусом формализации и независимой проверки по каждой из них.[7][11]