Hacker News front pageAI 評分57
數學家 Maggi 撰文：LLM 已生成數學證明，人類理解是關鍵
數學家 Francesco Maggi 發表長文評估 LLM 對數學的衝擊：LLM 已產出帶外力項 Navier–Stokes 方程的有限時間爆破解、準黎曼猜想的證明草案等成果，但人類能否理解這些結果，將決定數學走向「黃金時代」還是「黑暗時代」。他指出 LLM 最擅長寫 Lean 證明，重要定理的 Lean 版本可長達數十萬行，而機器生成的自然語言翻譯往往更亂、更不忠實，目前難以直接閱讀。他認為數學不會因機器能證定理而終結，社會反而需要更多數學家，並分八點討論相關選擇。