AI 연구소는 언제 또 다른 밀레니엄 상 문제의 해답을 발표할까?

이 예측 이슈는

적격 AI 연구소나 그 공식 대표자가 제목에 명시된 날짜의 오후 11:59 ET까지 적격 밀레니엄 상 문제를 해결했다고 발표하면 이 시장은 "Yes"로 판정된다. 그렇지 않으면 "No"로 판정된다. 적격 문제는 리만 가설, P 대 NP 문제, 양-밀스 존재성과 질량 간극 문제, 호지 추측, 버치-스위너턴다이어 추측이다. https://www.claymath.org/millennium-problems/ 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않는다. 발표는 문제가 해결되었다고 명시해야 한다. 부분적 결과나 해결을 향한 진전 발표는 적격으로 인정되지 않는다. 해답은 연구소, 연구원 또는 모델이 단독으로, 혹은 외부 연구원과 공동으로 수행한 작업이어야 한다. 외부 연구원만을 공로자로 인정하거나 축하하는 발표는 적격으로 인정되지 않는다. 해당 연구원이 연구소의 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용했더라도 마찬가지다. Clay 수학연구소나 다른 기관의 추가 확인은 필요하지 않다. 적격 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 리더보드에 모델이 등재된 다른 기업도 적격 AI 연구소에 포함된다. https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro 그 밖의 기업, 조직 또는 개인의 발표는 적격으로 인정되지 않는다. 주요 판정 출처는 적격 AI 연구소 및/또는 그 공식 대표자의 공식 정보다. 신뢰할 수 있는 보도의 합의도 판정에 사용될 수 있다.

영문 원제목: AI lab announces another Millennium Prize solution by...?