BelBel呐，yau哥断不了情根⚡⚡
【GPT6 Astra/震惊瘫坐！】为什么恰好是27？｜三次曲面上的直线
一道人类想了64年的题，AI做出来只需要一天
张益唐苦思冥想的数学难题，被AI化为课后习题
AI不会告诉你，王虹到底证明了什么
AI攻克西格尔零点猜想
老登被AI最新的生物科研成果吓得瘫坐眩晕！！！
人类把数学带偏了 200 年，AI 一脚给它掰回了正轨
AI数学新闻：有限单群分类定理被Axiom公司彻底形式化，4310万行Lean代码成为史上最大数学形式化项目！
三维挂谷搞定了，四维挂谷呢？百维挂谷呢？全域数学这样说……#三维挂谷猜想 #全域数学 #乖乖数学 #菲尔兹奖
AI 说它推翻了 ETH，一个撑了 20 多年的猜想
数学领域的AI危机：当AI攻克黎曼猜想、纳维-斯托克斯等数学最难题 | Lex Fridman
第一次直观感受到AI对数学期刊的冲击
AI简史3：这一年AI的发展有多迅猛？
菲尔兹奖得主邓煜演讲：AI与人的角色、数学研究的未来
伊藤引理里那个 ½f″dt，到底是从哪来的？
AI证明数学猜想？——不要杞人忧天
AI会砸掉大量数学家饭碗，但数学本身反而会大爆发！比哥德尔不完备，更深入的“不完备”是什么？证明和计算，哪个更根本？现代数学最大的瓶颈是什么？
数学研究进入大抽卡时代：祈求AI大人的神谕
AI挖出PHP核爆级漏洞，炸的程序员瘫坐眩晕
