OpenAI’s September 8 announcement that an internal model used 10,000 AI agents to produce a Lean-verified solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has intensified competition with Anthropic. The claim followed closely on work by Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster, who used models from both labs to establish related results on the Euler equations just days earlier, creating overlapping credit questions and prompting trader caution. With independent mathematical scrutiny and any formal Clay Mathematics Institute review still pending, the 50.5% market-implied probability for Anthropic reflects balanced expectations around future model releases, benchmark performance on open problems, and potential regulatory or verification hurdles that could shift the next verified breakthrough.
Polymarket डेटा का संदर्भ देने वाला प्रयोगात्मक AI-जनरेटेड सारांश। यह ट्रेडिंग सलाह नहीं है और इस बाज़ार के समाधान में कोई भूमिका नहीं निभाता। · अपडेट किया गयाओपनएआई बनाम एंथ्रोपिक: पहले एक और मिलेनियम पुरस्कार के लिए?
OpenAI
OpenAI
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
बाज़ार खुला: Sep 9, 2026, 3:42 PM ET
रिज़ॉल्वर
0x65070BE91...If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
रिज़ॉल्वर
0x65070BE91...OpenAI’s September 8 announcement that an internal model used 10,000 AI agents to produce a Lean-verified solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has intensified competition with Anthropic. The claim followed closely on work by Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster, who used models from both labs to establish related results on the Euler equations just days earlier, creating overlapping credit questions and prompting trader caution. With independent mathematical scrutiny and any formal Clay Mathematics Institute review still pending, the 50.5% market-implied probability for Anthropic reflects balanced expectations around future model releases, benchmark performance on open problems, and potential regulatory or verification hurdles that could shift the next verified breakthrough.
Polymarket डेटा का संदर्भ देने वाला प्रयोगात्मक AI-जनरेटेड सारांश। यह ट्रेडिंग सलाह नहीं है और इस बाज़ार के समाधान में कोई भूमिका नहीं निभाता। · अपडेट किया गया



बाहरी लिंक से सावधान रहें।
बाहरी लिंक से सावधान रहें।
अक्सर पूछे जाने वाले प्रश्न