IXThinker·2026-09-21 13:40

GPT-6 Astra攻克懸置九年數學難題

頂級人工智能數學基準FrontierMath迎來里程碑：GPT-6 Astra聯同三位人類研究員，攻克一道自2017年懸而未決的「重大進展」級難題，證明所求反例並不存在，並原創提出新投票規則。

反例不存在

這道開放難題原本懸賞尋找特定「反例」，GPT-6 Astra卻直接證明：要找的反例根本不存在，以存在性否定完成解答；這類證明對推理嚴謹度要求極高，難度遠超一般數值驗證。