- Anthropic은 2026년 12월 31일까지 밀레니엄 문제의 해법을 발표할까요?10¢10%
- Anthropic은 2027년 12월 31일까지 밀레니엄 문제의 해법을 발표할까요?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의 공식 대표가 제목에 명시된 날짜의 오후 11:59 ET까지 Anthropic이 자격을 충족하는 밀레니엄 난제 중 하나를 해결했다고 발표하면 이 시장은 "예"으로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. 적격 문제는 리만 가설, P 대 NP 문제, 양-밀스 존재성과 질량 간극 문제, 호지 추측, 버치-스위너턴다이어 추측입니다(https://www.claymath.org/millennium-problems/). 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않습니다. 적격 발표는 해당 문제가 해결되었음을 명시해야 합니다. 부분적인 결과나 해결을 향한 진전을 발표하는 것은 적격으로 인정되지 않습니다. 발표에서는 해당 해결을 Anthropic, 그 연구자 또는 그 모델의 성과로 제시해야 하며, 단독으로 수행했거나 외부 연구자와 공동으로 수행했을 수 있습니다. Anthropic의 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용한 연구자를 포함해 외부 연구자에게 공로를 돌리거나 축하하는 데 그치는 발표는 자격을 충족하지 않습니다. Clay Math Institute 또는 다른 기관의 추가 확인은 필요하지 않습니다. 이 시장의 주요 판정 출처는 Anthropic 및/또는 공식 대표의 공식 정보입니다. 다만 신뢰할 수 있는 보도들의 공통된 합의도 활용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.