AnswersPublished25 sources
OpenAI заявила про понад 100 розв’язаних математичних задач: що відомо насправді
21 вересня 2026 року OpenAI заявила, що внутрішня модель, навчання якої почалося 28 серпня, розв’язала понад 100 давніх відкритих задач у різних галузях математики. Для задачі Нав’є—Стокса OpenAI оприлюднила аналітичний доказ і формалізацію в Lean, однак немає ані публікації у кваліфікованому виданні, ані завершеног...
ОпублікувавВідредаговано за допомогою GPT-5.6 TerraЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- 21 вересня 2026 року OpenAI заявила, що внутрішня модель, навчання якої почалося 28 серпня, розв’язала понад 100 давніх відкритих задач у різних галузях математики.
- Для задачі Нав’є—Стокса OpenAI оприлюднила аналітичний доказ і формалізацію в Lean, однак немає ані публікації у кваліфікованому виданні, ані завершеного незалежного рецензування чи загального визнання.
- Повідомлення про гіпотезу Годжа не підтверджені: OpenAI визнавала суттєвий поступ щодо неназваної другої задачі тисячоліття, але не публікувала доказу гіпотези Годжа.[14]
AI Prompt
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
Заява OpenAI від 21 вересня — це надзвичайно амбітна заява про дослідницький результат, а не вже усталений математичний факт. Компанія повідомила, що неназвана внутрішня модель, навчання якої почалося 28 серпня, нібито розв’язала понад 100 давніх відкритих проблем майже в усіх напрямах математики. Одночасно OpenAI оголосила про незалежну дорадчу групу з математики та ШІ, яку приймає Institute for Advanced Study у Принстоні. 5
15
Тут принципово важливо відрізняти заяву компанії про знайдений розв’язок від розв’язку, який незалежно перевірили та визнали математики. Наявні публічні матеріали підтверджують перше, але не друге — принаймні для всього переліку «100+» задач.
Що саме заявила OpenAI
Ця заява стала продовженням повідомлення від 8 вересня. Тоді OpenAI сказала, що приблизно 10 000 ШІ-агентів, які працювали з нерозкритою внутрішньою моделлю, за 88 годин знайшли скінченнозначну сингулярність для вимушених тривимірних рівнянь Нав’є—Стокса. Компанія назвала це розв’язанням проблеми існування та гладкості Нав’є—Стокса й повідомила, що має як аналітичний доказ, так і формалізацію в Lean — системі для формальної перевірки доказів. 1
13
21 вересня OpenAI розширила твердження: окрім задачі Нав’є—Стокса, внутрішня модель нібито «розв’язала» ще понад 100 давніх відкритих проблем. 5
15
Слово «розв’язала» тут є характеристикою самої OpenAI. Воно не означає, що всі результати вже опубліковані, перевірені незалежними фахівцями або прийняті математичною спільнотою.
Які докази оприлюднили — і чого немає у відкритому доступі
Щодо Нав’є—Стокса 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. Вони заперечили проти гонитви ШІ-лабораторій за розв’язанням відомих математичних проблем як демонстрацією можливостей моделей. За повідомленнями, автори листа попередили, що такі стимули можуть зашкодити математичним дослідженням, їхній культурі та підготовці науковців. 19
21
Окрема суперечка щодо пріоритету стосувалася математиків Трістана Бакмастера та Левента Альпьоге. У заяві, оприлюдненій того часу, Бакмастер написав, що йому повідомили про внутрішню систему OpenAI, яка нібито мала доказ скінченнозначного вибуху для вимушених рівнянь Нав’є—Стокса. За його словами, він та Альпьоге відчули тиск оприлюднити пов’язані роботи до завершення їхньої перевірки й викладу; Бакмастер також зазначив, що окремий результат для гіподисипативних рівнянь Нав’є—Стокса не публікували, бо його перевірка в Lean ще не була завершена. 17
Ця розповідь Бакмастера є важливим свідченням спору про час публікації, визнання заслуг і тиск на дослідників. Проте сама по собі вона не доводить, що OpenAI запозичила чи скопіювала чиїсь результати. OpenAI заявила, що почала роботу після чуток про прорив двох математиків і пропонувала синхронне оголошення з визнанням їхнього пріоритету. 32
Отже, відкрите питання полягає не лише в тому, чи здатна ШІ-система створити доказ. Не менш важливо, чи можна оприлюднювати ШІ-асистовані відкриття так, щоб забезпечити належну атрибуцію, незалежну перевірку та нормальний науковий обмін.
Що може — і чого не може — дорадча група при IAS
OpenAI оголосила про неоплачувану незалежну дорадчу групу з математики та штучного інтелекту з дев’яти учасників, яку приймає Institute for Advanced Study у Принстоні. Серед названих у повідомленнях учасників — Тімоті Гауерс і Мартін Гайрер. 4
5
Її заявлена мета — дати математикам роль у оцінюванні та комунікації результатів, створених ШІ, зокрема радити щодо перевірки та практик оприлюднення. 5
15
Втім, група має дорадчий, а не регуляторний статус. За наявними повідомленнями, вона не може змусити OpenAI публікувати докази, диктувати графік досліджень компанії, блокувати оголошення або остаточно вирішувати питання авторства. 7
Це ключове обмеження: поради експертів здатні підвищити прозорість і якість комунікації, але не можуть самі по собі перетворити внутрішню заяву компанії на теорему, визнану математичною спільнотою.
Чому премія тисячоліття поки неможлива
Правила Clay чіткі. Перш ніж Clay Mathematics Institute розглядатиме запропонований розв’язок задачі тисячоліття, він має бути опублікований у виданні, що відповідає встановленим вимогам; після публікації має минути щонайменше два роки; а робота повинна здобути загальне визнання світової математичної спільноти. 46
Дописи в корпоративному блозі, препринт, репозиторій коду або оцінка дорадчої групи автоматично не виконують цих умов. Після оголошення щодо Нав’є—Стокса Clay також наголосив, що його правила визначають і процедуру оцінювання результату, і порядок визнання заслуг. 42
Тому навіть якщо результат OpenAI щодо Нав’є—Стокса чи будь-який наступний результат зрештою виявиться правильним, вересневі оголошення не зробили його одразу претендентом на премію. Робота все одно має пройти усталений шлях публікації та визнання.
Висновок
OpenAI заявила, що її внутрішня ШІ-модель розв’язала понад 100 відкритих математичних задач, після попередньої заяви про формалізований у Lean розв’язок задачі Нав’є—Стокса. Для Нав’є—Стокса є публічні матеріали; для ширшого портфеля «100+» поки немає відкритого, придатного до перевірки переліку результатів за кожною задачею. 13
11
Наразі коректна реакція — не ані беззастережне заперечення, ані прийняття заяв на віру. Це потенційно визначальні твердження, яким потрібні прозорі докази, експертна перевірка, акуратне встановлення авторського внеску й час. Особливо це стосується будь-яких припущень, що вже розв’язано іншу задачу тисячоліття — наприклад, гіпотезу Годжа.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI заявила про понад 100 розв’язаних математичних задач: що відомо насправді"?
21 вересня 2026 року OpenAI заявила, що внутрішня модель, навчання якої почалося 28 серпня, розв’язала понад 100 давніх відкритих задач у різних галузях математики.
What are the key points to validate first?
21 вересня 2026 року OpenAI заявила, що внутрішня модель, навчання якої почалося 28 серпня, розв’язала понад 100 давніх відкритих задач у різних галузях математики. Для задачі Нав’є—Стокса OpenAI оприлюднила аналітичний доказ і формалізацію в Lean, однак немає ані публікації у кваліфікованому виданні, ані завершеного незалежного рецензування чи загального визнання.
What should I do next in practice?
Повідомлення про гіпотезу Годжа не підтверджені: OpenAI визнавала суттєвий поступ щодо неназваної другої задачі тисячоліття, але не публікувала доказу гіпотези Годжа.[14]