IXThinker·2025-05-13 12:20

陶哲軒開頻道 AI 33分鐘盲證一頁證明

數學家陶哲軒開設YouTube頻道，首支影片便示範以AI輔助證明：人類需寫滿一頁紙的泛代數命題，33分鐘完成形式化「盲證」，過程一氣呵成，網友直呼具有足夠的歷史意義。

33分鐘盲證

陶哲軒選取泛代數中證明Magma方程E1689蘊含E2的命題，藉助AI在33分鐘內完成，全程近乎「盲證」、不需過多思考，效率令人驚訝。