- Czy Anthropic ogłosi rozwiązanie problemu z listy Millennium Prize do 31 grudnia 2026?10¢10%
- Czy Anthropic ogłosi rozwiązanie problemu z listy Millennium Prize do 31 grudnia 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.
Zasady
Rynek zostanie rozstrzygnięty na „Tak”, jeśli Anthropic lub oficjalny przedstawiciel Anthropic ogłosi, że Anthropic rozwiązało którykolwiek z kwalifikujących się Problemów Milenijnych do 23:59 ET w dniu wskazanym w tytule. W przeciwnym razie ten rynek zostanie rozstrzygnięty na „Nie”. Kwalifikujące się problemy to hipoteza Riemanna, problem P kontra NP, problem istnienia Yang-Millsa i luki masowej, hipoteza Hodge’a oraz hipoteza Bircha i Swinnertona-Dyera (https://www.claymath.org/millennium-problems/). Ogłoszenia dotyczące problemu istnienia i gładkości Naviera-Stokesa nie będą się kwalifikować. Kwalifikujące się ogłoszenie musi stwierdzać, że problem został rozwiązany; ogłoszenia o częściowych wynikach lub postępach w kierunku rozwiązania nie będą się kwalifikować. W ogłoszeniu rozwiązanie musi zostać przedstawione jako rezultat pracy Anthropic, jego badaczy lub jego modeli, samodzielnej albo prowadzonej wspólnie z zewnętrznymi badaczami. Ogłoszenie, które jedynie przypisuje zasługi zewnętrznym badaczom lub im gratuluje, w tym badaczom korzystającym z modeli, mocy obliczeniowej lub kredytów badawczych Anthropic, nie będzie kwalifikować się do rozstrzygnięcia. Dodatkowe potwierdzenie ze strony Clay Math Institute ani żadnej innej organizacji nie jest wymagane. Podstawowym źródłem rozstrzygnięcia tego rynku będą oficjalne informacje od Anthropic i/lub jego oficjalnych przedstawicieli; można jednak również wykorzystać zgodne doniesienia wiarygodnych mediów.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.