AI證明數(shù)學(xué)猜想，這次來(lái)真的了。

OpenAI最新模型GPT-5.2 Pro剛剛獨(dú)立證明了一道埃爾德什猜想。

論證過(guò)程經(jīng)菲爾茲獎(jiǎng)得主陶哲軒驗(yàn)證成立，還被評(píng)價(jià)為“迄今為止最明確的第一類結(jié)果（AI主要貢獻(xiàn)）”。

這道題是埃爾德什問(wèn)題庫(kù)中的第281號(hào)，由傳奇數(shù)學(xué)家保羅·埃爾德什（Paul Erd?s）與羅納德·格雷厄姆（Ronald Graham）于1980年共同提出，涉及同余覆蓋系統(tǒng)與自然密度的深層關(guān)系。

45年來(lái)，這道題一直靜靜躺在問(wèn)題庫(kù)里，等待解答。

直到2026年1月17日，一位名叫Neel Somani的研究者把這道題扔給了GPT-5.2 Pro。

證明只用到GPT 5.2 Pro

埃爾德什問(wèn)題網(wǎng)站已收錄AI證明結(jié)果。

整個(gè)論證在無(wú)窮阿德?tīng)栒麛?shù)環(huán)上展開(kāi)，借助哈爾測(cè)度和點(diǎn)態(tài)遍歷定理，結(jié)合緊致性論證完成了從逐點(diǎn)收斂到一致收斂的躍遷。