- CMI가 2026년 12월 31일까지 밀레니엄 난제 중 하나가 해결됐다고 선언할까요?3¢3%
- CMI가 2027년 12월 31일까지 밀레니엄 난제 중 하나가 해결됐다고 선언할까요?13¢13%
- CMI가 2028년 12월 31일까지 밀레니엄 난제 중 하나가 해결됐다고 선언할까요?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
규칙
Clay Mathematics Institute(CMI)가 아직 해결되지 않은 6개의 Millennium Prize Problems 중 하나에 대해 Millennium Prize를 수여하거나, 웹사이트 또는 공식 발표를 통해 이 문제들 중 하나가 해결되었다고 공식 선언하고, 그 일이 제목에 명시된 날짜의 오후 11:59 ET까지 발생하면 이 시장은 "예"으로 결제됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. 이 시장은 아직 해결되지 않은 6개의 Millennium Prize Problems 중 하나가 해결되었다는 CMI의 적격 선언만을 근거로 결제됩니다. 해결이 정방향 증명, 반례, 반증 또는 CMI가 인정하는 다른 어떤 해결 방식의 형태인지와는 무관합니다. Millennium Prize 수여는 공식 선언으로 인정되지만 필수는 아닙니다. 문제가 해결되었다는 CMI의 공식 발표만으로도 충분합니다. 해결책이 인공지능에 의해 전부 또는 일부 만들어졌는지, 그리고 수상자가 상을 수락하거나 거절하는지는 고려하지 않습니다. 발표되거나 공개적으로 게시된 증명은 수학계의 수용 여부와 관계없이 그 자체만으로는 적격하지 않습니다. 주요 결제 출처는 Clay Mathematics Institute의 공식 정보(예: https://www.claymath.org)입니다. 다만, 적격한 CMI 선언 또는 수상 결정이 이루어졌음을 확인하기 위해 신뢰할 만한 보도의 합의를 사용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.