- Чи оголосить OpenAI ще один розв’язок задачі тисячоліття до 31 грудня 2026 р.?14¢14%
- Чи оголосить OpenAI ще один розв’язок задачі тисячоліття до 31 грудня 2027 р.?56¢56%
OpenAI’s September 2026 solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has intensified trader focus on whether the company will announce progress on another before key deadlines. The result, produced in roughly 88 hours by an internal frontier large language model directing 10,000 autonomous agents at a cost of several million dollars, was formalized in Lean and released alongside a detailed write-up. Subsequent October releases of over 700 additional AI-generated math manuscripts, including work touching other Millennium Problems, have reinforced perceptions of accelerating capability, though some papers were later withdrawn amid verification questions. Competitive dynamics with labs like Anthropic, ongoing mathematician scrutiny of proof novelty, and the absence of new full prize claims since early September keep market-implied odds sensitive to any official updates or developer conference hints.
Правила
Цей ринок буде визначено як «Так», якщо OpenAI або офіційний представник OpenAI оголосить, що OpenAI розв’язала будь-яку з відповідних задач тисячоліття між створенням ринку та зазначеною датою, 23:59 ET. В іншому разі цей ринок буде розраховано як «Ні». До відповідних вимогам проблем належать гіпотеза Рімана, проблема P проти NP, проблема існування Янга—Міллса та масового розриву, гіпотеза Годжа і гіпотеза Бірча—Свіннертона-Дайєра (https://www.claymath.org/millennium-problems/). Оголошення щодо проблеми існування та гладкості Нав'є—Стокса не відповідатимуть вимогам. Оголошення, що відповідає вимогам, має стверджувати, що проблему розв’язано; оголошення про часткові результати або поступ до розв’язання не відповідатимуть вимогам. В оголошенні розв’язання має бути представлене як результат роботи OpenAI, її дослідників або її моделей — самостійної чи спільної із зовнішніми дослідниками. Оголошення, у якому лише відзначають заслуги зовнішніх дослідників або вітають їх, зокрема дослідників, які використовували моделі, обчислювальні ресурси чи дослідницькі кредити OpenAI, не відповідатиме вимогам. Додаткове підтвердження від Clay Math Institute або будь-якої іншої організації не потрібне. Основним джерелом для визначення результату цього ринку буде офіційна інформація від OpenAI та/або її офіційних представників; однак також можна використовувати узгоджені повідомлення надійних ЗМІ.
Машинний переклад. У спірних випадках діє оригінал.