IXThinker·2026-08-14 14:40

實習醫生藉AI助手破解22年數學猜想

困擾數學家二十二年的數值線性代數難題，由一位未受專業數學訓練的神經外科醫生借助人工智能破解：系統連續自主運行十六小時完成證明，論文已上傳預印本平台，並獲海外數學教授確認其嚴謹性與原創性，震動學界。

難題背景

這道猜想涉及數值線性代數的核心問題，二十二年來未有人攻克。有數學教授過去一年反覆向模型提問，數百次嘗試均因邏輯漏洞或關鍵引理卡關而失敗。