模型連破10道數學難題 對手24小時復現其中5道

十項難題一次過攻破

實驗室研究員宣布，旗下未公開的下一代主力模型一舉證明十項前沿數學難題，這些問題的主要結論至少十年無人推進，部分更擱置了數十年，屬於公認的硬骨頭，雖非數學最深層的未解之謎，難度卻相當可觀。

團隊同步公開十份形式化證明及逐題思路覆盤，供數學家查證與覆核。消息在學界引起震動，被視為大模型在數學推理與形式化驗證能力上的標誌性進展，顯示AI正向高階抽象思維邁進。