- AI 연구소가 2026년 12월 31일까지 밀레니엄 문제의 또 다른 해답을 발표할까요?20¢20%
- AI 연구소가 2027년 12월 31일까지 밀레니엄 문제의 또 다른 해답을 발표할까요?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
규칙
적격 AI 연구소 또는 적격 AI 연구소의 공식 대표자가 제목에 명시된 날짜의 오후 11:59 ET까지 해당 연구소가 적격 밀레니엄 난제 중 하나를 해결했다고 발표하면, 이 시장은 "예"로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. 적격 문제는 리만 가설, P 대 NP 문제, 양-밀스 존재성과 질량 간극 문제, 호지 추측, 버치-스위너턴다이어 추측입니다(https://www.claymath.org/millennium-problems/). 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않습니다. 적격 발표는 해당 문제가 해결되었음을 명시해야 합니다. 부분적인 결과나 해결을 향한 진전을 발표하는 것은 적격으로 인정되지 않습니다. 발표는 해결책을 연구소, 연구원 또는 모델의 성과로 제시해야 하며, 단독 성과이거나 외부 연구원과의 공동 성과일 수 있습니다. 외부 연구원에게 공을 돌리거나 축하하기만 하는 발표는 적격으로 인정되지 않습니다. 여기에는 연구소의 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용한 연구원도 포함됩니다. Clay Math Institute 또는 다른 기관의 추가 확인은 필요하지 않습니다. 적격 AI 연구소는 Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, 01.AI이며, 이들의 자회사와 연구 부문도 포함됩니다. 또한 발표 시점에 모델이 MMLU-pro 순위표(https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro)에 등재된 다른 회사도 포함됩니다. 그 밖의 회사, 조직 또는 개인의 발표는 적격으로 인정되지 않습니다. 이 시장의 주요 판정 출처는 적격 AI 연구소 및/또는 공식 대표자의 공식 정보입니다. 다만, 신뢰할 수 있는 보도들의 합의도 활용될 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.