圖書搜尋
進階搜尋:
原文書名
中文書名
ISBN
作者名
書訊內容
標籤
圖書類別

★此書預定2026年6月出版,目前有sample chapters,完整書稿預定2025年6月能提供,此書將由Farrar, Straus and Giroux與《量子雜誌》(Quanta Magazine)成立的出版品牌Quanta Books出版,Quanta Books的社長Tom Lin是《量子雜誌》的創刊總編(Founding Editor in Chief of Quanta)
★凱文·哈奈特(Kevin Hartnett)曾在2020十月發表一篇文章Building the Mathematical Library of the Future,這也是THE PROOF IS IN THE CODE這本書的創作靈感。
AI將顛覆數學: Lean程式如何改變數學世界