EPISODE · Mar 13, 2026 · 8 MIN
AI 連乘法都會算錯，為什麼陶哲軒還說它能改變數學？
from 脈報 · host 思思主播
LLM 連基本算術都會錯，但陶哲軒用 AI + 形式驗證，帶 50 個陌生人三個月解了 2200 萬個代數問題。這篇拆解他的工作流，以及為什麼「把餅做大」比取代專家更實際。 ⭐ 文章深度讀：拆解陶哲軒的 AI 協作工作流和成功因素 → https://heymaibao.com/terence-tao-math-ai/ 📝 懶人包 ∙ 數學 200 年沒變過工作方式，現在因形式驗證 + AI 正在轉型 ∙ 形式驗證讓 AI 的錯誤可被自動攔截，是整個新範式的前提 ∙ AI 對數學最大的價值不是解最難的題，而是處理人類沒人力碰的 2200 萬個中等難度問題 ∙ 我的觀點：陶哲軒描述的不只是數學的未來，這是所有「需要精確性」領域在 AI 時代的路線圖 📚 參考資料 Terence Tao - Mathematics in the Age of AI → https://youtu.be/mS9Lr43cIB4
Embed this episode
NOW PLAYING
AI 連乘法都會算錯，為什麼陶哲軒還說它能改變數學？
0:00
8:12
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
HKPUG Podcast 派樂派對
HKPUG
自2005年起, 香港派樂用家協會每星期以粵語製作HKPUG Podcast, 報導科技新聞、PDA、智能手機、軟件應用以及流動電子產品的最新消息等資訊。
Off Topic // オフトピック
Off Topic
Off Topicは、米国を中心に最新テックニュースやスタートアップ、ビジネス情報、たまにカルチャーをゆるーく深堀りしながら解説する番組です。毎週木曜日に新エピソードを配信しています、AppleとSpotify Podcastのテクノロジー部門別ランキング１位獲得！Hosted by 草野美木（@mikikusano）and 宮武徹郎（@tmiyatake1）https://listen.style/p/g9geif5o?s2uGAdvM
Frequently Asked Questions
How long is this episode of 脈報?
This episode is 8 minutes long.
When was this 脈報 episode published?
This episode was published on March 13, 2026.
Can I download this 脈報 episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!