看板 [ Math ]
討論串[新聞] 數學「A隊」證明了加法和集合之間的關鍵聯繫
共 2 篇文章
首頁
上一頁
1
下一頁
尾頁

推噓0(0推 0噓 0→)留言0則,0人參與, 最新作者Bugquan (靠近邊緣)時間1年前 (2024/10/16 17:56), 編輯資訊
0
0
0
內容預覽:
八卦是那篇論文. (On a conjecture of Marton). 已經被數學年鑑(Annals of Mathematics). 接受了,歷時大概才一年. 要澄清一下,原文提到的Lean4其實跟AI沒關係. 不過話說回來,Tao最近也是發起一項計畫,要用AI+Lean4讓業餘的人,也能發掘
(還有49個字)

推噓1(1推 0噓 0→)留言1則,0人參與, 1年前最新作者jackliao1990 (j)時間1年前 (2024/05/03 21:05), 編輯資訊
0
0
2
內容預覽:
數學「A隊」證明了加法和集合之間的關鍵聯繫. https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/Leila Sloman. 正是包括兩位菲爾茲
(還有6286個字)
首頁
上一頁
1
下一頁
尾頁