
公众号
返朴
溯源守拙·问学求新
这个来源的文章
他为证明黎曼假设增添了新基石,也因此精神崩溃
哥德尔说过,在证明黎曼假设之前,需要为数学找到新的基石。格罗滕迪克的革命性语言就是朝着这个方向迈出的第一步。
阅读全文 :他为证明黎曼假设增添了新基石,也因此精神崩溃谷歌AI可媲美奥赛金牌选手,但为何只局限在这些几何题?
只有联合Lean community等形式化社群进行更全面、广泛的形式化数学数据的积累和收集,AI4Math才能有本质上的进展。
阅读全文 :谷歌AI可媲美奥赛金牌选手,但为何只局限在这些几何题?