数学界散落各地的贝壳很多，收拾起来装裱已经是更难的环节了。
非串，但AI还需第七冠证明自己
我想知道这些证明成功了能对现实有什么收益？
唉，低垂的果实。
唉，天才的领域。
唉，智力的门槛。
唉，和小画家不一样。
感谢AI帮广大群众一步步消除对数学研究滤镜。
游戏王 发表于 2026-10-7 15:46
我看得懂的几个问题：
RL = L，复杂度理论里的重要问题之一。
快于 nlogn 的整数乘法和傅立叶变换。人们可 ...
以及：
O(2^{0.49n})的子集合问题
O((n+m)^{1+o(1)}) 的图匹配问题
矩阵乘法上界ω系数优化
上次的NS问题已经发生过类似情况，这么大量的成果靠人类数学家去阅读和消化已经跟不上速度了
我们可能已经在迈过技术奇点的门槛
牛啊RL=L都证了，P!=NP感觉也不是梦了
密码学要大翻天
数学小将现在最爱的话术是“数学家更重视对问题的理解”
好，那么请问近五十年动辄几百页的重要成果，有多少是真正能够被学界消化吸收的呢？一堆细分领域内论文的正确性都难以保障，现在好意思说什么“数学家追求对问题的理解”
另外我很好奇为啥没见过人跳出来给理论计算机正名的，莫非是大部分人本科没学过这个
数家不幸百合幸，接下来就是数学家转行写百合同人的时代了
论坛助手,iPhone
ayanamilin 发表于 2026-10-7 18:24
数学小将现在最爱的话术是“数学家更重视对问题的理解”
好，那么请问近五十年动辄几百页的重要成果，有多 ...
有一说一，除了本来就没什么人做的密码学理论，确实没多少人学这个
一下倒这么多
—— 来自 S1Fun
ai这几年也没替代画师程序员译员，泡沫还是太大了
nohope 发表于 2026-10-7 17:10
诺贝尔故意不设数学奖的吧，夺妻之仇岂能忍
我问了ai它说是假的
coding和agent能力被替代后换赛道了而已
有明确规则的1+1问题，人真的算不过AI，没什么好说的。本质还是数学圈就是个高门槛小圈子自嗨，从业人员太少，很多东西想不出来很正常。纯理论数学被AI攻破很正常，不比蛋白质结构高贵多少，
所有需要依赖计算机的行业估计都要被ai碾一遍了，哎不说了摇奶茶去了。
以后就是算力 == 智力，拥有算力的人和组织拥有一切了吗
yudms1 发表于 2026-10-7 20:04
以后就是算力 == 智力，拥有算力的人和组织拥有一切了吗
算力=骑士的铠甲和战马
人想出一个新领域，写好公理后计算机就能把所有定理找出来，这本来不是什么惊人的愿景，上世纪就是这个目标。现在终于有进展了。
谁能想到三年前大家还在嘲笑ai连十以内加减法都算不清楚
可以去看长河劫前几天刚更新的那个视频，我感觉现在ai暴力破解各种数学猜想就和波义耳的全世界唯一一个空气泵一样，不把证明过程展现出来就永远是利维坦
drodchang 发表于 2026-10-7 15:30
openai选的时间正好，正式发诺贝奖的时候，还好没有诺贝尔数学奖。
4年后的菲尔茨奖怎么办
糖皮质激素 发表于 2026-10-7 15:48
国内天天喊ai无用论资源浪费论的人该犟嘴的还是会犟嘴
上面不是有个嘛什么叫没搞出新工具就不算进步我不记得我们评价数学家也用这个条件
以后怕不是最最最顶尖的数学家定义问题，其它数学家都只是翻译AI罢了
不过目前来看大概只是顶尖大模型秀肌肉，毕竟数学始终被质疑到底有什么用，烧了天量token也没什么直接收益，但是巨头漏点算力就能把数学界一脚踢死的时代可能也不远了
真是越来越虚无呢，感觉未来社会价值会越来越集中于人与人的交往上，个人能完成的事情都会被替代
以后达到千禧年问题的才会引起关注吧
weiyang 发表于 2026-10-7 20:59
以后怕不是最最最顶尖的数学家定义问题，其它数学家都只是翻译AI罢了
不过目前来看大概只是顶尖大模型秀肌 ...
这就回到原教旨教义“人是其一切社会关系的总和”。没有社交的死宅被开除人籍，社会关系丰富的现充成为超人
真的很想上市啊
weiyang 发表于 2026-10-7 20:59
以后怕不是最最最顶尖的数学家定义问题，其它数学家都只是翻译AI罢了
不过目前来看大概只是顶尖大模型秀肌 ...
最震惊瘫坐的是一个问题只需要chat3小时的量
fzlong 发表于 2026-10-7 21:43
最震惊瘫坐的是一个问题只需要chat3小时的量
平均3小时可能一些问题只是减速带。。。
目前被ai冲击最严重的是什么圈子？绘画圈吗？
fzlong 发表于 2026-10-7 21:43
最震惊瘫坐的是一个问题只需要chat3小时的量
这其实反而证明了顶尖数学家的价值吧，普通数学家或普通人提问需要多少时间才能解决这些问题？或者说，普通人知道如何提问吗？
慈父斯大林 发表于 2026-10-7 21:48
目前被ai冲击最严重的是什么圈子？绘画圈吗？
翻译圈。
—— 来自 HUAWEI TET-AN00, Android 12, 鹅球 v4.0-alpha
大语言模型要冲击的最后壁垒当然是文学啊ai写小说肉眼可见的越来越差，甚至当年最好的时候也很差，你看菲尔兹奖得主就很敏锐，写百合文还真不会被ai替代。
猛干vacuolar 发表于 2026-10-7 15:41
未来的大学教育咋搞啊，我做梦想不到数学是排在前五被AI创飞的行业，本来还以为是人类最后的智力堡垒 ...
已经很清晰了，脑力劳动才是最先被AI淘汰的，体力劳动机器需要检修，人类生病了会自己扛
人的优点不就是能效高吗～
—— 来自 Xiaomi M332BF, Android 16, 鹅球 v4.0
本质上是因为有了lean这种可以用计算机来计算的形式化验证工具，这个使得数学比编程更容易验证，所有可以用lean来表达的数学领域都变成了暴力突破，完全是大模型的舒适区。同时全球研究数学能有能力读懂那几个问题的加起来也没有几十个人，人力完全跟不上了
小道消息说这7百道只是第一波攻击，还有俩坨大的即将释出
那么这些东西有没有实际可以拿来用的内容？
----发送自 OnePlus GM1910,Android 11
审查能力已经跟不上了吧 有beatless里人类未至产物的感觉了
本帖最后由 somter 于 2026-10-8 03:35 编辑
人类数学家应该珍惜还能帮ai大人看证明的时间