作者Bugquan (靠近边缘)
看板Math
标题Re: [新闻] 数学「A队」证明了加法和集合之间的关键
时间Wed Oct 16 17:56:46 2024
八卦是那篇论文
(On a conjecture of Marton)
已经被数学年监(Annals of Mathematics)
接受了，历时大概才一年
要澄清一下，原文提到的Lean4其实跟AI没关系
不过话说回来，Tao最近也是发起一项计画，要用AI+Lean4让业余的人，也能发掘和证明数
学定理
不到一个月的时间，该项目就快完成了
未来AI+Lean4可能会变成一个热门的方向，即可用AI去发掘新的数学，然後用Lean4加以证
明，最後再靠数学家去深挖
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 27.242.33.40 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1729072608.A.F44.html