IXThinker·2026-06-21 15:00

陶哲軒的形式化預言正被AI兌現

十二年前，菲爾茲獎得主陶哲軒在頒獎台上拋出預言：未來數學論文或不再用LaTeX撰寫，而是改用計算機能理解的形式化語言。當時被視為空想，如今人工智能正將其一步步變成現實。

十二年前的預言

預言提出之際，Transformer架構尚未誕生，對話式人工智能更是無從談起；陶哲軒主張數學寫作應轉向機器可驗證的形式化語言，當年聽來近乎天方夜譚。