【X 精華】陶哲軒：數學的「英雄時代」結束了！OpenAI、Anthropic 掏錢請數學家幫 AI 驗算

摘要

前情提要：AI 寫出來的數學證明最近暴增，問題也跟著來了：到底誰要負責檢查？菲爾茲獎得主陶哲軒（Terence Tao）在 YouTube 頻道 Numberphile 的 20 分鐘訪談裡說：「we're seeing the end of the romantic era of mathematics, the age of heroes」，意思是數學正從孤獨天才的浪漫年代，走進像其他科學一樣靠大團隊合作的「工業時代」。 最新發展：差不多同一時間（美國時間 10/15），Simons 基金會宣布和 Anthropic、OpenAI 合作，三方合計投入 1,500 萬美元的資金和資源，由基