#alphaproof

AlphaProof Nexus：DeepMind 用『更緊的 harness』攻下數十年無解的 Erdős 難題

DeepMind 的 AlphaProof Nexus 挑戰約 350 道 Erdős 開放難題、解出其中九道。真正的突破不在模型更聰明，而在外面那圈『judge + 錦標賽』的迴圈：讓不可靠的 AI 反覆嘗試、互相評分，最後由 Lean 驗證器確認出可被機器檢查的形式化證明。