武家的栋梁 2026-08-04 2023年: 人工智障对数学无能为力。 2024年: AI只能谦卑地学习人类已有的数学知识。 2025年: AI不过触及了人类已有数学知识的闭包。 2026年: AI解决的问题仍在人类已有数学知识的凸包内。 2027年: AI正在征服人类已有数学知识张成的空间。 2028年: 伟大的人工智能业已开创新的数学范式 。 ♥ 775 ↩ 46
艾尔启 2026-08-04 前两天刚看到分析学爱好者用ai做了一篇成果出来，没想到这边也有了一篇，是否意味着逐渐可以期待由大公司之外的研究者和ai合作的产出将迎来井喷？说实话ai时代我其实最担心的是企业垄断造成的技术平权问题。 ♥ 217 ↩ 15
崩溃卡缪 2026-08-04 对于我这个正在学数学的学生，比较理想的未来是数学家和ai形成新的协调合作模式：ai能够通过强大的构造能力否定一些路线并给出某些问题的存在性，同时强大的检索整合能力能让数学家了解并沟通不同数学方向，产生庞加莱后的新时代ai辅助下的“全能数学家”。而数学家在此基础上去证明一些复杂的大问题，或者发展出新的数学方向和数学工具，并反馈到ai上。这样是个双赢的局面，数学家有了新时代的工作形式，ai也不断发展得更好。但我属于纯粹的电脑白痴，llm模型的结构和原理我也不太了解，我只是刷到之前推特上有ai从业者说ai目前无法做到“jump”的操作，所以才有这种想法，如果将来ai能做到Grothendieck那种程度，那我将立即投身外卖员行列 ♥ 110 ↩ 25
飞心生 2026-08-04 Han猜想通俗版 先打一个很生活化的比方。 想象有一个黑盒子机器（对应代数A），我们有一套检测工具叫「霍赫希尔德同调」。 这套工具可以一次又一次往更深的层次去探测这个盒子内部：第1层探测、第2层探测、第3层……越往后，探测的是机器更深、更隐蔽的内部缺陷。 每一次探测只会出现两种结果： 1. 等于0：这一层干干净净，没有缺陷 2. 不等于0：这里藏着缺陷，内部结构很拧巴 Han猜想原来想说什么 如果从某一层开始，往后无穷多层探测结果全都是0，再也找不到任何缺陷。 那就直接断定：这台机器本身就是一台好机器（整体维数有限，光滑），没有无限深的毛病。 翻译成人话： 只要足够深的地方再也找不出任何毛病，那这个东西本质上就是良好、简单的，不会藏着无穷无尽的复杂隐患。 举个更直白类比 好比检查一栋楼房： 一层一层往下挖地基检查。 假设挖到第100层，101层，102层……一直往地下无穷深，全都没有发现裂缝。 Han猜想原本的期望：既然地下无穷深处全都没有裂缝，那这栋楼地基一定是稳固可靠的。 👉但是！2026新预印本找到了反例： 存在这么一栋楼：往地下无穷深挖全都看不到裂缝，但是楼房本身地基依旧是坏的。 也就是说猜想本身是不对的。只是在很多常见楼房（交换代数、单项式代数等）身上，这条规律依然生效。 再讲两个关键名词大白话 1. 霍赫希尔德同调（HHₙ(A)） 就是一层一层往下检查的检测仪，n越大，代表检查得越深。等于0=该层没毛病。 2. 整体维数有限（好机器、稳固楼房） 意思：这个代数的复杂程度是有上限的，不会无限嵌套混乱结构。在代数里代表性质很好，数学上叫“光滑”。 核心一句话总结 Han猜想本来希望：足够深全部没毛病 ⇒ 东西本身就是好的。 现在知道：这个逻辑不是普世成立，但对大量常用代数依然成立，所以依旧被大家研究。 ♥ 140 ↩ 6
二律悖反君 2026-08-04 事实 1： AI 极有可能在可见的未来，能全自动化攻克平庸的科研课题 事实 2： 现在至少 90% 以上的的研究者，做的都是平庸的科研 问：以后这些平庸的研究者何去何自从？ 社会是否还需要这么多做平庸科研的博士，教授？ ♥ 88 ↩ 21
bili_26977742945 2026-08-04 Up主是不是也有点失落啊，明明在手边的工具没有想到，反而被AI想到了用起来解决问题。这是一种实实在在的“原本人类的数学能力被AI超过”的失落感啊。问题解决了，却感到有点惆怅。 ♥ 51 ↩ 2
角蛙瘦了 2026-08-04 为什么，ai跟你合作所产生的发现，你觉得很廉价呢。非要经过数年艰苦计算，跟其他合作者的成果，才让你感到值得？ 我觉得，ai对数学家来说，是竞争者，并不是所谓的助手。是颠覆者，ai可能会发现，发明很多新的数学模型，数学方法，可以整合全人类目前所有的数学方法，然后，疯狂计算，可以解决世界上，所有的猜想，并且，可以自己创造猜想，自己解决，无穷尽也。 ♥ 47 ↩ 6
CN_INK 2026-08-05 可以去看看Tao在本次ICM上的演讲。数学研究的意义是什么，不仅仅是证明一个个猜想解决一个个的难题，而是在解决问题中逐渐增加对数学的理解，现在AI可以可以快速大量便宜的解决数学中的许多问题，但是太多的证明堆积在这里，导致“消化不良”。悲观的说，未来或许数学家仅仅是去解释AI生成的内容，数学家的价值仅仅是培养下一代，传承知识。当然更悲观的来说，能力足够强大的LLM似乎完全可以胜任教书育人的工作，那时候我们可能就要思考人类生存的的意义是什么了。 ♥ 28 ↩ 2
Comments
2023年: 人工智障对数学无能为力。 2024年: AI只能谦卑地学习人类已有的数学知识。 2025年: AI不过触及了人类已有数学知识的闭包。 2026年: AI解决的问题仍在人类已有数学知识的凸包内。 2027年: AI正在征服人类已有数学知识张成的空间。 2028年: 伟大的人工智能业已开创新的数学范式 。
♥ 775 ↩ 46
科研进入AI大抽卡时代[笑哭]
♥ 553 ↩ 23
前两天刚看到分析学爱好者用ai做了一篇成果出来，没想到这边也有了一篇，是否意味着逐渐可以期待由大公司之外的研究者和ai合作的产出将迎来井喷？说实话ai时代我其实最担心的是企业垄断造成的技术平权问题。
♥ 217 ↩ 15
继柯洁说围棋已经没意思了之后，数学家是不是也要说数学已经死了[doge]
♥ 226 ↩ 89
自从5.6发布以后 arxiv已经要炸了。不敢想象8月份发了6之后。。
♥ 174 ↩ 8
对于我这个正在学数学的学生，比较理想的未来是数学家和ai形成新的协调合作模式：ai能够通过强大的构造能力否定一些路线并给出某些问题的存在性，同时强大的检索整合能力能让数学家了解并沟通不同数学方向，产生庞加莱后的新时代ai辅助下的“全能数学家”。而数学家在此基础上去证明一些复杂的大问题，或者发展出新的数学方向和数学工具，并反馈到ai上。这样是个双赢的局面，数学家有了新时代的工作形式，ai也不断发展得更好。但我属于纯粹的电脑白痴，llm模型的结构和原理我也不太了解，我只是刷到之前推特上有ai从业者说ai目前无法做到“jump”的操作，所以才有这种想法，如果将来ai能做到Grothendieck那种程度，那我将立即投身外卖员行列
♥ 110 ↩ 25
Han猜想通俗版 先打一个很生活化的比方。 想象有一个黑盒子机器（对应代数A），我们有一套检测工具叫「霍赫希尔德同调」。 这套工具可以一次又一次往更深的层次去探测这个盒子内部：第1层探测、第2层探测、第3层……越往后，探测的是机器更深、更隐蔽的内部缺陷。 每一次探测只会出现两种结果： 1. 等于0：这一层干干净净，没有缺陷 2. 不等于0：这里藏着缺陷，内部结构很拧巴 Han猜想原来想说什么 如果从某一层开始，往后无穷多层探测结果全都是0，再也找不到任何缺陷。 那就直接断定：这台机器本身就是一台好机器（整体维数有限，光滑），没有无限深的毛病。 翻译成人话： 只要足够深的地方再也找不出任何毛病，那这个东西本质上就是良好、简单的，不会藏着无穷无尽的复杂隐患。 举个更直白类比 好比检查一栋楼房： 一层一层往下挖地基检查。 假设挖到第100层，101层，102层……一直往地下无穷深，全都没有发现裂缝。 Han猜想原本的期望：既然地下无穷深处全都没有裂缝，那这栋楼地基一定是稳固可靠的。 👉但是！2026新预印本找到了反例： 存在这么一栋楼：往地下无穷深挖全都看不到裂缝，但是楼房本身地基依旧是坏的。 也就是说猜想本身是不对的。只是在很多常见楼房（交换代数、单项式代数等）身上，这条规律依然生效。 再讲两个关键名词大白话 1. 霍赫希尔德同调（HHₙ(A)） 就是一层一层往下检查的检测仪，n越大，代表检查得越深。等于0=该层没毛病。 2. 整体维数有限（好机器、稳固楼房） 意思：这个代数的复杂程度是有上限的，不会无限嵌套混乱结构。在代数里代表性质很好，数学上叫“光滑”。 核心一句话总结 Han猜想本来希望：足够深全部没毛病 ⇒ 东西本身就是好的。 现在知道：这个逻辑不是普世成立，但对大量常用代数依然成立，所以依旧被大家研究。
♥ 140 ↩ 6
事实 1： AI 极有可能在可见的未来，能全自动化攻克平庸的科研课题 事实 2： 现在至少 90% 以上的的研究者，做的都是平庸的科研 问：以后这些平庸的研究者何去何自从？ 社会是否还需要这么多做平庸科研的博士，教授？
♥ 88 ↩ 21
万一有人想了半辈子的数学问题，突然被Al给破解了，他会疯掉吗？
♥ 82 ↩ 25
第一时间就看到这个paper了，很有意思
♥ 61 ↩ 3
戳到我了[大哭]
♥ 51 ↩ 1
你有原子弹，我有原子弹[doge]
♥ 45 ↩ 1
Up主是不是也有点失落啊，明明在手边的工具没有想到，反而被AI想到了用起来解决问题。这是一种实实在在的“原本人类的数学能力被AI超过”的失落感啊。问题解决了，却感到有点惆怅。
♥ 51 ↩ 2
评论区有没有程序员，AI对程序员的替代达到什么程度了
♥ 44 ↩ 59
为什么，ai跟你合作所产生的发现，你觉得很廉价呢。非要经过数年艰苦计算，跟其他合作者的成果，才让你感到值得？ 我觉得，ai对数学家来说，是竞争者，并不是所谓的助手。是颠覆者，ai可能会发现，发明很多新的数学模型，数学方法，可以整合全人类目前所有的数学方法，然后，疯狂计算，可以解决世界上，所有的猜想，并且，可以自己创造猜想，自己解决，无穷尽也。
♥ 47 ↩ 6
兄弟们 我用ai证明了顶会论文的核心定理是错的 并核对 这种能发吗 还不止一篇 原理错误的
♥ 35 ↩ 51
人人有原子弹爆炸
♥ 36 ↩ 1
可以去看看Tao在本次ICM上的演讲。数学研究的意义是什么，不仅仅是证明一个个猜想解决一个个的难题，而是在解决问题中逐渐增加对数学的理解，现在AI可以可以快速大量便宜的解决数学中的许多问题，但是太多的证明堆积在这里，导致“消化不良”。悲观的说，未来或许数学家仅仅是去解释AI生成的内容，数学家的价值仅仅是培养下一代，传承知识。当然更悲观的来说，能力足够强大的LLM似乎完全可以胜任教书育人的工作，那时候我们可能就要思考人类生存的的意义是什么了。
♥ 28 ↩ 2
好家伙，直接从拯救派变成降临派了[蹲蹲]
♥ 30 ↩ 3