- OpenAI 대 Anthropic: 누가 밀레니엄 문제의 또 다른 해답을 먼저 찾을까요?54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
규칙
OpenAI 또는 OpenAI의 공식 대표자가 Anthropic보다 먼저, 그리고 2027년 12월 31일 오후 11:59 ET까지 OpenAI이(가) 적격 밀레니엄 난제를 해결했다고 발표하면 이 시장은 "OpenAI"로 판정됩니다. Anthropic 또는 Anthropic의 공식 대표자가 OpenAI보다 먼저, 그리고 2027년 12월 31일 오후 11:59 ET까지 Anthropic이(가) 적격 밀레니엄 난제를 해결했다고 발표하면 이 시장은 "Anthropic"로 판정됩니다. 두 회사 중 어느 곳도 2027년 12월 31일, 오후 11:59 ET까지 자격을 충족하는 발표를 하지 않거나, 두 회사가 같은 역일에 자격을 충족하는 발표를 하면 이 시장은 50-50으로 판정됩니다. 다른 회사의 자격을 충족하는 발표는 경쟁을 끝내거나 판정에 영향을 주지 않습니다. 적격 문제는 리만 가설, P 대 NP 문제, 양-밀스 존재성과 질량 간극 문제, 호지 추측, 버치-스위너턴다이어 추측입니다(https://www.claymath.org/millennium-problems/). 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않습니다. 적격 발표는 해당 문제가 해결되었음을 명시해야 합니다. 부분적인 결과나 해결을 향한 진전을 발표하는 것은 적격으로 인정되지 않습니다. 발표는 해결책을 회사, 회사의 연구자 또는 모델이 단독으로 혹은 외부 연구자와 공동으로 수행한 성과로 제시해야 합니다. 회사 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용한 연구자를 포함해 외부 연구자에게 공로를 돌리거나 축하하는 데 그치는 발표는 자격을 충족하지 않습니다. Clay Math Institute 또는 다른 기관의 추가 확인은 필요하지 않습니다. 이 시장의 주요 판정 출처는 OpenAI 및 Anthropic 및/또는 이들의 공식 대표자가 제공하는 공식 정보입니다. 다만 신뢰할 수 있는 보도에서 형성된 합의도 사용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.