AI가 다음에는 어떤 밀레니엄 상 문제를 해결할 것인가?

이 시장은 적격 AI 연구소가 2027년 12월 31일 오후 11시 59분(ET)까지 솔루션을 발표하는 첫 번째 적격 밀레니엄 상 문제에 따라 해결됩니다.

적격 AI 연구소가 2027년 12월 31일 오후 11시 59분(ET)까지 적격 문제에 대한 솔루션을 발표하지 않으면 이 시장은 "2027년 12월 31일까지 솔루션 없음"으로 해결됩니다. 두 개 이상의 적격 문제에 대한 솔루션이 같은 날 (ET)에 발표되면 이 시장은 아래 나열된 이름이 알파벳 순서로 먼저 나오는 문제를 해결하게 됩니다.

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

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