Yapay zeka laboratuvarı başka bir Milenyum Ödülü çözümünü daha duyurdu...?

Uygun bir yapay zeka laboratuvarı veya uygun bir yapay zeka laboratuvarının resmi temsilcisi, laboratuvarın başlıkta belirtilen tarihte saat 23:59 ET'ye kadar uygun Milenyum Ödülü Sorunlarından herhangi birini çözdüğünü duyurursa bu pazar "Evet" olarak karar verecektir. Aksi takdirde bu piyasa "Hayır"a karar verecektir.

Niteleyici problemler Riemann Hipotezi, P'ye karşı NP, Yang-Mills varlığı ve kütle boşluğu problemi, Hodge Varsayımı ve Birch ve Swinnerton-Dyer Varsayımıdır (https://www.claymath.org/millennium-problems/). Navier-Stokes'un varlığına ve düzgünlük sorununa ilişkin duyurular geçerli sayılmayacaktır.

Nitelikli bir duyuru, sorunun çözüldüğünü ifade etmelidir; Kısmi sonuçlara veya çözüme yönelik ilerlemeye ilişkin duyurular geçerli sayılmayacaktır. Duyuru, çözümü laboratuvarın, araştırmacılarının veya modellerinin tek başına veya dışarıdaki araştırmacılarla ortak çalışması olarak sunmalıdır. Laboratuvarın modellerini, hesaplamalarını veya araştırma kredilerini kullanan araştırmacılar da dahil olmak üzere, yalnızca dışarıdan araştırmacıların itibar edildiği veya tebrik edildiği bir duyuru geçerli sayılmayacaktır. Clay Math Enstitüsü'nden veya başka bir kuruluştan başka bir onay alınmasına gerek yoktur.

Uygun yapay zeka laboratuvarları 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 ve 01.AI, yan kuruluşları ve araştırma bölümleri ile birlikte ve duyuru sırasında MMLU-pro liderlik tablosunda (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) listelenen bir modeli olan diğer şirketler. Başka herhangi bir şirket, kuruluş veya kişi tarafından yapılan duyurular geçerli olmayacaktır.

Bu pazar için birincil çözüm kaynağı, uygun yapay zeka laboratuvarlarından ve/veya bunların resmi temsilcilerinden alınan resmi bilgiler olacaktır; ancak güvenilir raporlama konusunda fikir birliğine varılması da kullanılabilir.