首頁 形式化 形式化 的最新熱門文章 新聞 人類數學天才解不開的難題，AI「Gauss」(高斯) 三週搞定，數學家也要面臨工作危機了嗎？ cnBeta 發表於 2025年9月20日 15:30 Plurk AI 數學家Gauss橫空出世，竟在三週內解決陶哲軒的數學難題！ Gauss 如何透過自動形式化，突破複分析困境，為數學界帶來震撼？ 上一頁1下一頁
新聞 人類數學天才解不開的難題，AI「Gauss」(高斯) 三週搞定，數學家也要面臨工作危機了嗎？ cnBeta 發表於 2025年9月20日 15:30 Plurk AI 數學家Gauss橫空出世，竟在三週內解決陶哲軒的數學難題！ Gauss 如何透過自動形式化，突破複分析困境，為數學界帶來震撼？
