- Чи оголосить Anthropic розв’язання однієї з задач тисячоліття до 31 грудня 2026 р.?10¢10%
- Чи оголосить Anthropic розв’язання однієї з задач тисячоліття до 31 грудня 2027 р.?28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Правила
Цей ринок буде вирішено на користь «Так», якщо Anthropic або офіційний представник Anthropic оголосить, що Anthropic розв’язала будь-яку з відповідних задач тисячоліття до 23:59 ET у дату, зазначену в назві. В іншому разі цей ринок буде розраховано як «Ні». До відповідних вимогам проблем належать гіпотеза Рімана, проблема P проти NP, проблема існування Янга—Міллса та масового розриву, гіпотеза Годжа і гіпотеза Бірча—Свіннертона-Дайєра (https://www.claymath.org/millennium-problems/). Оголошення щодо проблеми існування та гладкості Нав'є—Стокса не відповідатимуть вимогам. Оголошення, що відповідає вимогам, має стверджувати, що проблему розв’язано; оголошення про часткові результати або поступ до розв’язання не відповідатимуть вимогам. В оголошенні розв’язання має бути представлене як результат роботи Anthropic, її дослідників або її моделей — самостійно чи спільно із зовнішніми дослідниками. Оголошення, у якому лише віддають належне зовнішнім дослідникам або вітають їх, зокрема дослідників, які використовували моделі, обчислювальні ресурси чи дослідницькі кредити Anthropic, не відповідатиме вимогам. Додаткове підтвердження від Clay Math Institute або будь-якої іншої організації не потрібне. Основним джерелом для вирішення цього ринку буде офіційна інформація від Anthropic та/або її офіційних представників; однак також можна використовувати узгоджену позицію достовірних ЗМІ.
Машинний переклад. У спірних випадках діє оригінал.