数学民科基本素养之Lean4介绍
菲尔兹奖得主用AI后质疑人类研究数学意义
丘成桐：中国今天的数学水平，赶不上美国上世纪40年代的水平。 丘先生作为在世的顶尖数学家，他为什么会这样说呢？
陶哲轩:黎曼猜想是一个无法攀爬的垂直悬崖,张益唐出现之前【2017年访谈】
2026还剩哪些世界级数学难题
他的博士论文就获得了菲尔兹奖朔尔策：费马定理对我的影响很大
爱因斯坦讲课推不出公式，他只好让大家相信公式是正确的
当代最强的10为数学家
全网唯一深度解读刘若川院士报告：数学界千年未有之大变局！
丘成桐也用上AI了 最新论文致谢GPT和Claude 解开44年前的“怪球”难题
为什么复杂的密码60秒就能破解，看似简单的却要143年？
菲尔兹奖得主向Serre教授请教:广义函数为何"名声不好"?
Terence Tao: 高斯最奇怪的发现竟是一个统计偶然
AI攻克顶级数学难题？《求是》对话丘成桐：数学不止于晓得答案
【漫士】“我证明了黎曼猜想，AI说是对的”
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
这道状元题目，看看三位顶级数学大佬 爱因斯坦 高斯 拉玛努金的神仙操作
希尔伯特为闵可夫斯基的的聪明而自卑, 没想到自己最后成为了世界上最伟大的数学家之一
丘成桐曾这样点评韦神
不止算力与存储：电力是AI芯片的下一个瓶颈？
