Re: [新聞] 數學「A隊」證明了加法和集合之間的關鍵
八卦是那篇論文
(On a conjecture of Marton)
已經被數學年鑑(Annals of Mathematics)
接受了，歷時大概才一年
要澄清一下，原文提到的Lean4其實跟AI沒關係
不過話說回來，Tao最近也是發起一項計畫，要用AI+Lean4讓業餘的人，也能發掘和證明數
學定理
不到一個月的時間，該項目就快完成了
未來AI+Lean4可能會變成一個熱門的方向，即可用AI去發掘新的數學，然後用Lean4加以證
明，最後再靠數學家去深挖
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.242.33.40 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1729072608.A.F44.html