AnswersPublished21 sources
Чому OpenAI не забрала $1 млн премії Джастіна Сана за результат щодо Нав’є—Стокса
Станом на 17 вересня 2026 року OpenAI була вказана як претендентка на $1 млн премії Джастіна Сана за задачу Нав’є—Стокса, але кошти не забрала. Машинна перевірка у Lean підтверджує доведення формалізованого твердження з заданих припущень, однак не замінює фахової оцінки того, чи точно воно відповідає умовам Millenni...
ОпублікувавВідредаговано за допомогою GPT-5.6 TerraЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- Станом на 17 вересня 2026 року OpenAI була вказана як претендентка на $1 млн премії Джастіна Сана за задачу Нав’є—Стокса, але кошти не забрала.
- Машинна перевірка у Lean підтверджує доведення формалізованого твердження з заданих припущень, однак не замінює фахової оцінки того, чи точно воно відповідає умовам Millennium Prize Problem.
- Суперечка охоплює не лише коректність: математик Трістан Бакмастер висловив претензії щодо походження ідей, а OpenAI їх заперечує.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. 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, ch
OpenAI, за повідомленнями, стала першою володаркою головної нагороди нової математичної премії Джастіна Сана — $1 млн за результат щодо рівнянь Нав’є—Стокса. Втім, компанія грошей не забрала. Це важливо не лише як історія про ШІ, що нібито знайшов доказ: випадок порушує питання про межі формальної верифікації, приватні винагороди, незалежне рецензування та наукове авторство. 3
6
8
9
Що саме стверджує OpenAI
8 вересня 2026 року OpenAI оприлюднила опис роботи та її формалізацію в Lean — системі для машинної перевірки математичних доведень. Компанія заявляє, що її внутрішня система знайшла аналітичний доказ: спочатку гладка рідина, яка перебуває у стані спокою, під дією гладкої зовнішньої сили може за скінченний час утворити сингулярність. 6
У термінах формулювання задачі Clay Mathematics Institute це стосується шляху вимушеного контрприкладу — випадків C і D. Заява не встановлює альтернативи глобальної регулярності без зовнішньої сили, тобто випадки A і B. Саме тому фраза «задачу Нав’є—Стокса розв’язано» може бути оманливою: заявлений результат — це конструкція вибуху розв’язку у вимушеному випадку, а не автоматично відповідь на всі тлумачення проблеми, які читачі пов’язують із цією задачею. 6
18
19
Як ШІ отримав і перевірив доказ
За даними OpenAI, тестування внутрішньої моделі, яка ще перебувала в навчанні, почалося 28 серпня, а після 1 вересня роботу розширили. Компанія описує скоординовані групи агентів із доступом до коду та кешованих вебматеріалів; у роботі над Нав’є—Стоксом брали участь приблизно 10 000 одночасних агентів. 6
Повідомлялося, що пошук результату тривав близько 88 годин, після чого GPT-6 Astra витратила приблизно 17 годин на формалізацію та перевірку в Lean. OpenAI наголошує: модель, яка знайшла результат, була внутрішньою системою, суттєво потужнішою за GPT-6 Astra. Отже, Astra пов’язують із формалізацією та верифікацією, а не обов’язково з первинним математичним відкриттям. 6
8
Це не просто технічна деталь. Перевірка Lean є сильним свідченням, що записана теорема випливає з припущень, закодованих у формальній системі. Але вона сама по собі не відповідає на запитання, чи охоплюють ці формальні припущення всі умови формулювання Clay, і не замінює зовнішньої математичної оцінки змісту та меж результату.
Чому Clay не присудив свій мільйон доларів
Премія Clay Mathematics Institute — окрема від нагороди Джастіна Сана. 11 вересня Clay повідомив, що оцінює заяву OpenAI за власними правилами, а процес назвав навмисно неквапливим. 1
Правила Millennium Prize Problems вимагають, щоб запропоноване розв’язання було опубліковане у виданні, яке відповідає критеріям інституту, щоб після публікації минуло щонайменше два роки і щоб результат здобув загальне визнання світової математичної спільноти. Тож навіть успішна перевірка коду Lean не може одразу привести до премії Clay.
Практичний статус простий: OpenAI зробила публічну заяву й виклала матеріали формалізації, але Clay Mathematics Institute не визнав роботу лауреаткою Millennium Prize. Незалежні математики ще мають перевірити аналітичне доведення, формалізацію та відповідність результату умовам задачі. 1
6
Що саме визнає премія Джастіна Сана
16 вересня Сан оголосив свою премію як децентралізовану академічну програму винагород за прориви у фундаментальних дослідженнях і машинній формальній верифікації. Перший перелік лауреатів охоплював 66 математичних задач, а заявлений результат OpenAI щодо Нав’є—Стокса отримав головну нагороду — $1 млн. 3
14
Підхід програми ширший і швидший, ніж у Clay: вона призначена для визнання машинно перевірюваних доказів і заявлена як відкрита для людей, систем ШІ та колаборацій людини й ШІ. 4
14
Це означає, що йдеться про приватну премію з її власними критеріями, а не про заміну процедур, через які математична спільнота встановлює коректність, пріоритет або довготривалу значущість відкриття. Перемога за правилами Сана не зобов’язує Clay чи інших дослідників вважати питання остаточно закритим.
Чому гроші лишилися незатребуваними
За даними публікацій про репозиторій премії, OpenAI була зазначена як така, що може отримати нагороду, але не зробила цього. Цей крок пов’язували з невирішеною суперечкою про походження доказу та з рішенням OpenAI на тому етапі не претендувати на відзнаку Clay. 8
9
У доступних матеріалах OpenAI публічно не назвала остаточної причини відмови або затримки з отриманням виплати. Тому обережний висновок обмежений: прийняття приватної нагороди в момент, коли обсяг результату, його походження й розподіл заслуг оскаржуються, могло б виглядати як передчасна претензія на остаточність.
Суперечка про авторство — теж частина наукового питання
Математик Нью-Йоркського університету Трістан Бакмастер заявив, що робота OpenAI могла спиратися на непублічні дослідження. OpenAI це заперечує. Наявні повідомлення не дають підстав вважати спір незалежно й остаточно вирішеним. 1
20
Nature вказує, що цей випадок демонструє потребу тіснішої взаємодії ШІ-компаній із дослідницькою спільнотою щодо атрибуції та визнання внеску. У ШІ-асистованій математиці системи можуть шукати, поєднувати й формалізувати ідеї в незвично великому масштабі, тоді як походження конкретного інсайту буває складно відстежити. 17
20
Це саме по собі не доводить хибність формального доказу. Однак коректність і авторство — різні питання, і обидва важливі для результату, здатного вплинути на цілу галузь математики.
Який статус заяви зараз
Твердження OpenAI є винятковим: компанія повідомляє про побудову сингулярності за скінченний час для важливого формулювання задачі Нав’є—Стокса, знайдену великим агентним процесом і супроводжену формалізацією у Lean. 6
18
19
Але цей результат поки не варто називати розв’язанням Millennium Prize Problem, визнаним Clay. За повідомленнями, $1 млн від Джастіна Сана залишився незатребуваним; процедура Clay є окремою та значно повільнішою, а суперечка про авторство не завершена. 1
8
9
20
Наступними справді важливими етапами стануть незалежна перевірка математики, ретельне зіставлення формального твердження з потрібними умовами задачі та переконливе з’ясування пріоритету й авторства. До того часу найточніше визначення таке: це потенційно дуже значуща математична заява, створена за участі ШІ та підкріплена машинно перевірюваним компонентом, але не остаточний результат, щодо якого сформувався науковий консенсус.
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 не забрала $1 млн премії Джастіна Сана за результат щодо Нав’є—Стокса"?
Станом на 17 вересня 2026 року OpenAI була вказана як претендентка на $1 млн премії Джастіна Сана за задачу Нав’є—Стокса, але кошти не забрала.
What are the key points to validate first?
Станом на 17 вересня 2026 року OpenAI була вказана як претендентка на $1 млн премії Джастіна Сана за задачу Нав’є—Стокса, але кошти не забрала. Машинна перевірка у Lean підтверджує доведення формалізованого твердження з заданих припущень, однак не замінює фахової оцінки того, чи точно воно відповідає умовам Millennium Prize Problem.
What should I do next in practice?
Суперечка охоплює не лише коректність: математик Трістан Бакмастер висловив претензії щодо походження ідей, а OpenAI їх заперечує.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough