- Mag-aanunsyo ba ang Anthropic ng solusyon sa isang problema ng Millennium Prize bago ang Disyembre 31, 2026?10¢10%
- Mag-aanunsyo ba ang Anthropic ng solusyon sa isang problema ng Millennium Prize bago ang Disyembre 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.
Mga panuntunan
Maresolba ang market na ito bilang "Oo" kung iaanunsyo ng Anthropic, o ng isang opisyal na kinatawan ng Anthropic, na nalutas na ng Anthropic ang alinman sa mga kwalipikadong Millennium Prize Problem bago sumapit ang 11:59 PM ET sa petsang tinukoy sa pamagat. Kung hindi, maresolba ang market na ito bilang "Hindi". Kabilang sa mga kuwalipikadong problema ang Riemann Hypothesis, P versus NP, ang problema ng pag-iral ng Yang-Mills at mass gap, ang Hodge Conjecture, at ang Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Hindi kuwalipikado ang mga anunsyo tungkol sa problema ng pag-iral at kinis ng Navier-Stokes. Dapat malinaw na sabihin sa isang kuwalipikadong anunsyo na nalutas na ang problema; hindi kuwalipikado ang mga anunsyo tungkol sa mga bahagyang resulta o pag-usad tungo sa solusyon. Dapat ilahad sa anunsyo na ang solusyon ay gawa ng Anthropic, ng mga mananaliksik nito, o ng mga modelo nito, nang mag-isa man o katuwang ang mga mananaliksik sa labas. Hindi magiging kwalipikado ang anunsyong nagbibigay lamang ng kredito o bumabati sa mga mananaliksik sa labas, kabilang ang mga gumamit ng mga modelo, kakayahan sa pagkuwenta, o research credit ng Anthropic. Hindi kailangan ng karagdagang kumpirmasyon mula sa Clay Math Institute o anumang ibang organisasyon. Ang pangunahing mapagkukunan para maresolba ang market na ito ay ang opisyal na impormasyon mula sa Anthropic at/o mga opisyal na kinatawan nito; gayunman, maaari ring gamitin ang pagkakasundo ng mga mapagkakatiwalaang ulat.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.