Чи вирішив ШІ проблему Нав'є-Стокса на $1 мільйон? Що означає доказ OpenAI
8 вересня 2026 року лабораторія штучного інтелекту OpenAI викликала хвилі здивування в науковому світі, оголосивши, що внутрішня багатоагентна система штучного інтелекту сгенерувала 166-сторінковий Lean-верифікований доказ, що вирішує проблему існування та гладкості 3D Navier-Stokes — столітню задачу, визначену як одна з семи проблем тисячоліття з винагородою в $1 мільйон, запроваджених Інститутом математики Клее.
Оголошення викликало негайну суперечку, спричинивши інтенсивні дебати щодо конфіденційності даних, академічного пріоритету та справжньої ролі машинної інтелігенції у фундаментальних дослідженнях.
-
Основне досягнення: OpenAI згенерувала 166-сторінковий формальний доказ за допомогою 10 000 багатоагентних роїв протягом 88 годин, що демонструє вибух за скінченний час (сингулярність) у 3D рівняннях незважуваної рідини при гладкому зовнішньому збудженні.
-
Перевірка: Доведення було математично перевірено за допомогою теоремного провайдера Lean протягом 17 годин, що виключило логічні помилки або галюцинації ШІ.
-
Статус призу: Мілленіум-приз у розмірі $1 мільйона ще не присуджено офіційно; Інститут математики Клея (CMI) вимагає публікації з рецензуванням колегами та двохрічний період перевірки. OpenAI відмовилася вимагати призові гроші.
-
Етична суперечка: математики Трістан Бакмастер і Левент Альпёге звинуватили OpenAI у використанні приватних чат-логів та завантажених чернеток для навчання своїх агентів, що викликало глобальну дискусію щодо конфіденційності даних та академічних пріоритетів.
-
Читабельність для людини: Хоча формальна логіка підтверджена, доведення, згенероване ШІ, діє як «чорна скринька», яка не містить інтуїтивних математичних концепцій, що допомагають людям зрозуміти, чому відбувається збільшення.
AI-агентний рой встановив скінченний час вибуху для тривимірних рівнянь незваженої рідини під дією гладкої зовнішньої сили, продемонструвавши, що швидкість рідини може зростати до нескінченно великих значень протягом обмеженого проміжку часу, тоді як загальна фізична енергія залишається обмеженою.
Рівняння Нав’є-Стокса, сформульовані в XIX столітті Клодом-Луї Нав’є та Джорджем Габріелем Стоксом, описують, як рухаються рідини та гази. Десятиліттями математики ставили під сумнів, чи можуть гладкі, фізично обґрунтовані початкові умови призвести до «сингулярності» або «вибуху» — точки, де швидкість рідини стає нескінченною.
OpenAI запустила приблизно 10 000 автономних AI-агентів, які працювали паралельно протягом 88 годин. Ці агенти обмінялися понад 2,7 мільйона повідомлень і згенерували 130 мільярдів вихідних токенів, щоб побудувати математичну модель спірального, розтягнутого рідкісного вихору. Щоб запобігти можливим галюцинаціям AI, згенерована логіка була перетворена на Lean — автоматизований інтерактивний теоремний провайдер, який перевірив крок за кроком аргумент протягом приблизно 17 годин.
Згідно з технічними специфікаціями, опублікованими дослідницькими командами, що оцінювали результат, доказ відповідає конкретним умовам, викладеним у офіційному заявленні про проблему Чарльза Феффермана для Інституту математики Клея (зокрема, альтернативи C і D).
| Метрика / Параметр | Специфікації доказів багатоагентної системи OpenAI |
| Час виконання | 88 годин у межах кластерів багатоагентних систем |
| Масштаб агента | ~10 000 одночасних автономних агентів ШІ |
| Обсяг повідомлень | 2,7 мільйона внутрішніх повідомлень; 130 мільярдів токенів |
| Формальна верифікація | 17 годин через Lean Interactive Theorem Prover |
| Основний результат | Демонструє скінченний час сингулярності при гладкому зовнішньому збудженні |
Мільйондоларова премія Millennium ще не присуджена офіційно, оскільки Інститут математики Клея вимагає строгого багаторічного інституційного огляду перед визнанням будь-якого рішення.
Інститут математики Клієя (CMI) вимагає, щоб будь-який запропонований розв’язок був опублікований у рецензованому математичному журналі міжнародного рівня, за яким обов’язково слідує дворічний публічний очікувальний період. Протягом цього терміну широке наукове співтовариство має детально перевірити та прийняти доведення. На даний момент CMI продовжує вважати проблему існування та гладкості Нав’є-Стокса нерозв’язаною.
Крім того, OpenAI публічно заявила, що не має наміру вимагати призові гроші в розмірі $1 мільйона, зазначивши, що її основною метою було продемонструвати можливості масштабного агентного міркування, а не отримати грошову винагороду. Єдиним офіційно визнаним розв’язаним завданням тисячоліття залишається гіпотеза Пуанкаре, розв’язана російським математиком Григорієм Перельманом у 2003 році (який також відмовився від нагороди).
Прорив викликав сильну критику через звинувачення у тому, що система OpenAI використовувала непризнані людські дослідження, завантажені математиками, які відмовилися від навчання на даних.
Приблизно за 12 годин до оголошення OpenAI математик з NYU Tristan Buckmaster опублікував заяву, в якій детально описав свою роботу разом з Levent Alpöge, математиком, пов’язаним з Anthropic. Ця пара протягом більше року розробляла нові методи для доведення розбіжностей у рівняннях рідини — зокрема рівнянь Ейлера, класу моделей гідродинаміки, тісно пов’язаних з ними.
| Вимір суперечок | Основні претензії та докази | Офіційна позиція OpenAI |
| Походження даних | Людські дослідники завантажили приватні чернетки та запити до ChatGPT/Codex під час дослідження рідких сингулярностей. | Заявляє, що жоден працівник чи агент не читав чернетки користувачів безпосередньо чи не порушував контролі доступу. |
| Відмови від «Не навчати» | Дослідники відмовилися від навчання, але концепції, як стверджується, витекли у внутрішні ітерації. | Признала, що «не може виключити, що деідентифіковані дані, отримані з використання продукту, допомогли покращити моделі». |
| Науковий пріоритет | OpenAI запустила 10 000 агентів, щоб підібрати паралельний доказ після дізнання про прогрес людини. | Подає досягнення як незалежну перемогу автономного багатоагентного міркування. |
Бакмайстер і Альпёге використовували інструменти OpenAI, зокрема Codex і ChatGPT, для перевірки конкретних проміжних гіпотез та написання коду. Хоча OpenAI заперечувала, що її співробітники або AI-агенти безпосередньо отримували доступ до приватних файлів акаунтів, представники компанії в подальших заявленнях визнали, що не можуть виключити можливість того, що деідентифіковані дані, отримані з користувацьких взаємодій, вплинули на оновлення бекенд-моделей.
Це признання викликало широкий протест у академічній спільноті. Відомі фігури, зокрема лауреат Філдсівської премії Теренс Тао, зазначили, що цей інцидент підкреслює зростаючу напругу: окремі дослідники, що вносять передові ідеї до комерційних платформ ШІ, можуть ненавмисно дозволити технологічним компаніям з величезними обчислювальними ресурсами швидко формалізувати та опублікувати паралельні результати.
Формальні доведення, перевірені комп’ютером, забезпечують логічну коректність за допомогою програмного забезпечення, такого як Lean, але часто не мають інтуїтивних концептуальних рамок, на які опираються людські математики для розвитку галузі.
Традиційні математичні доведення, написані людьми, виконують дві функції: підтверджують, що твердження математично істинне, і пояснюють, чому воно істинне. Доведення, написані людьми, містять узагальнені концептуальні мости, елегантні рамки та повторно використовувані методи, які надихають на майбутні відкриття у суміжних дисциплінах.
Навпаки, система ШІ, яка виконує 88-годинний багатоагентний запуск, залежить від методу грубої сили для дослідження мільйонів гілок. Отриманий 166-сторінковий документ — хоча й був формально перевірений крок за кроком ядром Lean — діє як «чорна скринька». Він підтверджує, що математичні умови виконуються, але створює величезну складність для математиків, які намагаються виділити узагальнені принципи або освітні інсайти.
-
Формальна верифікація: забезпечує відсутність логічних прогалин, помилок або прихованих структурних помилок у кодових кроках.
-
Читабельність для людини: відсутній чіткий педагогічний нарратив, що робить аналіз людиною загальних структурних ідей надзвичайно повільним.
-
Універсальність: може вирішувати конкретну ізольовану граничну умову, не надаючи прямих методів, застосовних до систем Нав’є-Стокса без зовнішніх впливів.
Теоретичний доказ, що демонструє математичний розрив, не змінює миттєво практичні інженерні моделі, оскільки чисельні наближення вже враховують турбулентність рідини в прикладній фізиці.
Рівняння Нав’є-Стокса широко використовуються у глобальних галузях промисловості для моделювання погодних умов, оптимізації оболонок морських суден, проектування гіперзвукових літальних апаратів та симуляції кровотоку в серцево-судинній системі. У практичних застосуваннях інженери використовують дискретизовані комп’ютерні симуляції, які працюють у межах безпечних фізичних параметрів.
Доведення того, що математичні рівняння дають нескінченний відскок швидкості за певних плавних зовнішніх сил, підкреслює межі, де моделі суцільної рідинної механіки перестають працювати на екстремально атомних масштабах. Це надає теоретичним фізикам точні межі, за яких класичні припущення про суцільність рідини перестають бути дійсними, відкриваючи шлях до покращених гібридних моделей, що поєднують механіку суцільних середовищ і молекулярну динаміку.
Торгівля криптовалютними токенами, пов’язаними з циклами теми штучного інтелекту на KuCoin, надає ліквідний доступ до спекулятивного технологічного імпульсу, але вимагає строгого управління ризиками через волатильність ринку.
Коли важливі досягнення у галузі штучного інтелекту потрапляють у глобальні новини, криптоактиви, пов’язані з ІІ, та децентралізовані мережі обчислень відчувають зростання обсягу торгівлі. На платформах, таких як KuCoin, трейдери часто оцінюють токени ІІ, децентралізовані мережі GPU та протоколи суверенітету даних, які перетинаються з інфраструктурою машинного навчання.
-
Ліквідність та доступ на ринок: KuCoin надає доступ до широкого вибору токенів з нarrативом штучного інтелекту, дозволяючи користувачам використовувати нові ринкові тенденції.
-
Протоколи конфіденційності даних: Поточна дискусія щодо конфіденційності запитів користувачів підкреслює зростаючий інтерес до децентралізованих проектів ШІ, які зосереджені на обчисленнях, що зберігають конфіденційність, та перевірці даних із нульовим знанням.
-
Управління волатильністю: Спекулятивна торгівля навколо великих технологічних новинних циклів супроводжується швидкими коливаннями цін; використання споту, ф'ючерсів та алгоритмічних торгових ботів KuCoin може допомогти управляти ризиком виконання.
Щоб почати досліджувати цифрові активи на тему ШІ та керувати експозицією портфеля, користувачі можуть зареєструвати акаунт безпосередньо на офіційній торговій платформі KuCoin.
Новини ринку рухаються швидко — але те, де ви дієте з ними, має таке саме значення. Цього жовтня KuCoin запускає KuCoin 5.0, перетворюючи KuCoin на відновлену платформу. Ось що насправді змінюється для вас:
-
Один акаунт для всього. Старі платформи розділяли ваші кошти між окремими акаунтами «спот», «маржа» та «ф'ючерси» і очікували, що ви зрозумієте чому. Єдиний акаунт KuCoin 5.0 повністю видаляє це — зробіть депозит один раз, і все буде просто там.
-
Акції, індекси та товари. KuCoin 5.0 розширюється за межі криптовалют на глобальні ринки. Коли криптовалюти рухаються бічно, а акції ростуть (або навпаки), ви переключаєтеся за хвилини, замість того щоб відкривати брокерський акаунт і чекати днів на фіатні канали.
-
Реальні активи (RWA). Токенізоване виставлення на традиційні активи, такі як сировина, прямо в вашому крипто-акаунті. Один із найшвидшо розростаючихся сегментів у світовій фінансовій сфері більше не виключно для інституцій — ви отримуєте до нього доступ з того ж балансу, з яким торгуете.
-
Заробляйте, поки вчитеся. Ще не готові торгувати? KCUSD дозволяє вашим стейблкоїнам заробляти щоденні автокомпаунд-відсотки. Найменш стресовий спосіб використати ваші неактивні депозити для отримання 4% дохідності.
-
AI-асистент простою мовою. Задавайте питання, отримуйте контекст ринку, розумійте, що ви бачите — вбудовано в платформу, без жаргону.
-
Додаток, який не перевантажує. Швидший, чистіший і послідовний — інтуїтивний з першого дотику, а не після навчання.
-
Безпека, яку можна перевірити, а не просто вірити. Організація з ліцензією MiCAR у ЄС, Proof of Reserves, який ви можете перевірити самостійно, та міжнародно сертифікована безпека (SOC 2 Type II, ISO 27001:2022).
Створіть акаунт за хвилини — і почніть працювати на платформі, створеній для майбутнього криптовалют, а не минулого.
Багатоагентна система OpenAI продемонструвала, що рівняння 3D-рідини можуть демонструвати скінченні сингулярності за гладкого зовнішнього збурення, що було незалежно підтверджено за допомогою програмного забезпечення Lean. Хоча це є історичним технічним досягненням у автоматизованому міркуванні, розв’язок досі не підтверджений Інститутом математики Клея і зустрічає значні дискусії щодо інтелектуального походження та використання даних. Поки системи ШІ продовжують вирішувати великі наукові та математичні виклики, межа між машинним обчисленням та прозорістю людських досліджень залишається центральним фокусом для глобальних технологічних індустрій.
Для чого використовуються рівняння Нав’є-Стокса?
Рівняння Нав’є-Стокса описують, як рухаються рідини, застосовуючи другий закон Ньютона до рідких речовин. Вони є важливими для моделювання погодних систем, проектування крил літаків, аналізу океанічних течій та симуляції кровотоку через артерії.
Чому існує приз у 1 мільйон доларів за розв’язання проблеми Нав’є-Стокса?
Інститут математики Клее позначив проблему існування та гладкості рівнянь Нав’є-Стокса як одну з семи проблем тисячоліття у 2000 році, щоб сприяти пошуку розв’язків фундаментальних математичних питань, що лежать в основі сучасної фізики та диференціальних рівнянь.
Чи виграла OpenAI приз у розмірі $1 мільйон Millennium Prize?
Ні, OpenAI не виграла приз. Інститут математики Клея вимагає багаторічного рецензування колегами та публічної перевірки перед офіційним визнанням будь-якого рішення, а OpenAI відкрито заявила, що не буде вимагати грошову нагороду.
Що таке Lean-верифікація в математиці?
Lean — це відкритий інтерактивний теоремний провірник та мова програмування. Він перевіряє математичні доведення, підтверджуючи, що кожен логічний крок строго відповідає формальним аксіоматичним правилам, виключаючи людські помилки під час перевірки доведень.
Чи може ШІ використовувати приватні розмови в ChatGPT для вирішення дослідницьких проблем?
Компанії, що розробляють ШІ, визначають політики використання даних у своїх умовах надання послуг, надаючи користувачам можливість відмовитися від навчання моделей. Однак технологічні компанії визнають, що деідентифіковані або агреговані телеметричні дані продукту можуть впливати на загальні покращення тилових моделей з часом.
Відмова від відповідальності: Для вашої зручності цю сторінку було перекладено за допомогою технології ШІ. Для отримання найточнішої інформації дивіться оригінальну англійську версію.