AI解完題,研究為何還沒完成?25位數學家發聲
(媒角抵加/林承志綜合報導)陶哲軒等25位菲爾茲獎得主於2026年9月11日發表共同聲明,質疑AI公司以解決數學難題競逐模型表現,可能壓縮研究者理解方法與培育學生的過程。AI完成一道證明後,研究仍包括解釋推理、整理程式與建立可重用的方法;美國CMU研究者的球體堆積計畫,正呈現這些後續工作,也為台灣課
(媒角抵加/林承志綜合報導)陶哲軒等25位菲爾茲獎得主於2026年9月11日發表共同聲明,質疑AI公司以解決數學難題競逐模型表現,可能壓縮研究者理解方法與培育學生的過程。AI完成一道證明後,研究仍包括解釋推理、整理程式與建立可重用的方法;美國CMU研究者的球體堆積計畫,正呈現這些後續工作,也為台灣課
商傳媒|葉安庭/綜合外電報導隨著人工智慧(AI)生成程式碼的能力突飛猛進,全球正逐漸運行在連人類都難以完全理解的程式碼之上,引發各界對潛在系統性風險的擔憂。一向被視為穩定象徵的數學界,也開始正視這股挑戰,甚至有頂尖數學家因此轉投AI安全領域,呼籲建立全球性的軟體驗證基礎建設。今年7