AI 연구소는 또 다른 밀레니엄 상 솔루션을 발표합니다...?

적격 AI 연구소 또는 적격 AI 연구소의 공식 대표가 제목에 지정된 날짜의 오후 11시 59분(ET)까지 해당 연구소가 적격 밀레니엄 상 문제를 해결했다고 발표하면 이 시장은 "예"로 결정됩니다. 그렇지 않으면 이 시장은 "아니오"로 결정될 것입니다.

적격 문제는 Riemann 가설, P 대 NP, Yang-Mills 존재 및 질량 격차 문제, Hodge 추측, Birch 및 Swinnerton-Dyer 추측(https://www.claymath.org/millennium-problems/)입니다. Navier-Stokes 존재 및 부드러움 문제에 관한 발표는 적합하지 않습니다.

적격 발표에서는 문제가 해결되었음을 표현해야 합니다. 부분적인 결과 발표나 솔루션 진행 상황에 대한 발표는 해당되지 않습니다. 발표에서는 솔루션을 연구소, 연구원 또는 모델이 단독으로 또는 외부 연구원과 공동으로 수행한 작업으로 제시해야 합니다. 연구실의 모델, 컴퓨팅 또는 연구 크레딧을 사용한 연구자를 포함하여 외부 연구자에게만 공로를 인정하거나 축하하는 발표는 자격이 없습니다. 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 연구소 및/또는 공식 담당자가 제공하는 공식 정보입니다. 그러나 신뢰할 수 있는 보고에 대한 합의가 사용될 수도 있습니다.