- OpenAI проти Anthropic: Хто першим знайде ще один розв’язок задачі тисячоліття?54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Правила
Цей ринок буде розраховано на користь «OpenAI», якщо OpenAI або офіційний представник OpenAI оголосить, що OpenAI розв’язала кваліфікаційну проблему тисячоліття раніше за Anthropic і не пізніше 31 грудня 2027 р., 23:59 ET. Цей ринок буде розраховано на користь «Anthropic», якщо Anthropic або офіційний представник Anthropic оголосить, що Anthropic розв’язала кваліфікаційну проблему тисячоліття раніше за OpenAI і не пізніше 31 грудня 2027 р., 23:59 ET. Якщо жодна з компаній не зробить кваліфікаційного оголошення до 31 грудня 2027 р., 23:59 ET або якщо обидві зроблять кваліфікаційні оголошення того самого календарного дня, цей ринок буде врегульовано як 50-50. Кваліфікаційне оголошення будь-якої іншої компанії не завершить перегони й не вплине на врегулювання. До відповідних вимогам проблем належать гіпотеза Рімана, проблема P проти NP, проблема існування Янга—Міллса та масового розриву, гіпотеза Годжа і гіпотеза Бірча—Свіннертона-Дайєра (https://www.claymath.org/millennium-problems/). Оголошення щодо проблеми існування та гладкості Нав'є—Стокса не відповідатимуть вимогам. Оголошення, що відповідає вимогам, має стверджувати, що проблему розв’язано; оголошення про часткові результати або поступ до розв’язання не відповідатимуть вимогам. В оголошенні має бути зазначено, що розв’язання є результатом роботи компанії, її дослідників або її моделей — самостійної чи спільної із зовнішніми дослідниками. Оголошення, яке лише відзначає заслуги зовнішніх дослідників або вітає їх, зокрема дослідників, які використовували моделі, обчислювальні ресурси чи дослідницькі кредити компанії, не буде кваліфікаційним. Додаткове підтвердження від Clay Math Institute або будь-якої іншої організації не потрібне. Основним джерелом для розрахунку цього ринку буде офіційна інформація від OpenAI і Anthropic та/або їхніх офіційних представників; однак також можна використати консенсус достовірних повідомлень.
Машинний переклад. У спірних випадках діє оригінал.