S1抽风这几天, 数学界真的核爆地震了

游戏王 · 发表于 2026-9-13 10:47

看了下回复感觉本坛还是更适合讨论三门问题和鉴证，再转发点分析学爱好者的视频一起共振。

缪斯替 · 发表于 2026-9-13 10:53

本帖最后由缪斯替于 2026-9-13 10:59 编辑

努力理解了一遍，感觉没什么新意啊，无非是数学界逼格高影响力大
这里说的不还是那套老腔调：“AI目前在某个领域部分取代人类了，但没人能保证AI能像人类一样自我进步，甚至还需要人类给AI擦屁股。但在AI的冲击下连给AI擦屁股的人才都很难培养了，更别提能推动行业进步让AI有更多东西可偷的人才了”

不过我是觉得对AI的这种反感和批判是合理的，目前的某些AI公司太热衷于用摧毁某些东西来渲染自己强大了

铃森冬 · 发表于 2026-9-13 10:54

认识一些从几年前就开始做 AI4math 相关方向的朋友，整理一下最近听来的观点

从大的方向上讲，与过去计算机技术的发展对数学的推动类似，大模型技术本身的进步可以将数学工作者们从更多繁杂的技术性工作中解放出来，对整个学科来说当然是好事，尽管带来的冲击需要一些时间来适应。

数学家们目前抵制的更多还是大模型公司最近的行为，具体哪两家就不用点名了，而且数据安全和署名权之类的问题是完全次要的（虽然占据了公众视野，这些问题仍然是相对好解决的）。

目前模型的能力加上 LEAN 形式化已经让大公司有了不需要数学界背书就能宣布其取得的大的结果的正确性的能力，也严重的助长了大公司在上市前投入大量资源 Make big news 的炒作欲望。

问题在于大公司的行为可以说是管杀不管埋，导致放出的结果越来越趋于一坨巨大的防御性证明，即使上万 agent 的模型集群在工作过程中产生了新的有价值的数学思想或观察，也不会在最终输出的文本中得到强调，甚至在整理过程中被遗失根本不会体现出来。

不论这种风气对数学界会产生什么负面影响，更恶劣的事情在于，大公司试图包装出一种叙事说模型输出的内容难以被人类理解是一件自然的事，不是我们不想做而是做不到。尽管数学工作者们自己使用大模型辅助数学研究的经验来看，让模型整理自己得到的结果，提炼其数学内核并提高可读性是完全可以做到的事情。数学家们自己从得出一个结果到发表本身也要经历相似的过程。

说的更直白一点，大公司有充分的动机将自己技术的能力神秘化，把内部模型从叙事上包装成一台许愿机，只要献上几千亿 token 电费的祭品愿望就会实现，而自己则扮演先知垄断对于这些技术的解释权。所以大公司不愿意用模型进一步处理被解决的问题的结果不仅是因为不愿意没有回报的投入更多资源，更是因为这会破坏模型的神格，而其信徒对于数学界的攻击不过是这是技术宗教化叙事的延伸罢了。

羊寢 · 发表于 2026-9-13 11:11

ly4236 发表于 2026-9-12 21:09
我看ai有成神的趋势了。还是ds那个吃白饭的形象符合自己审美了。

那是因为外模的资本家都想做数字时代的神，当然要不留余力把自家模型推成"无所不能"的样子

simonroam · 发表于 2026-9-13 11:33

羊寢发表于 2026-9-13 11:11
那是因为外模的资本家都想做数字时代的神，当然要不留余力把自家模型推成"无所不能"的样子 ...

那就不奇怪了，开源就是分享神力这怎么能行嘛

龙骑士尹志平 · 发表于 2026-9-13 11:42

三尖酸努努发表于 2026-9-12 20:15
https://www.zhihu.com/question/2082035913132193247/answer/2082080486722220403

开源模型躺枪，实际上，数学家和开源模型并不是对立面，数学家自己部署开源模型做辅助计算是最佳解，你用了闭源模型就要承受闭源模型带来的一切坏处

pyx · 发表于 2026-9-13 11:48

本来以为是码农要砸新时代的纺织机，没想到竟然是数学家先下场？

tsubasa9 · 发表于 2026-9-13 11:53

现在最大的问题不是ai4math，而是oa这种垄断资本通过闭源ai对知识的释经权

8HIT · 发表于 2026-9-13 11:53

这下微博小画家了，属于你的珍妮纺织机随迟但到

鸳鸳相抱 · 发表于 2026-9-13 11:57

龙骑士尹志平发表于 2026-9-13 11:42
开源模型躺枪，实际上，数学家和开源模型并不是对立面，数学家自己部署开源模型做辅助计算是最佳解，你用 ...

别闹了，开源模型所需的算力基础设施，数学研究经费根本支撑不起

龙骑士尹志平 · 发表于 2026-9-13 12:07

鸳鸳相抱发表于 2026-9-13 11:57
别闹了，开源模型所需的算力基础设施，数学研究经费根本支撑不起

泥潭一堆人部署qwen3.8flash的，dsv4.1f一堆人也是跃跃欲试，现在能解ns方程的大模型的性能几个月就被开源模型赶超了，b站卖服务器的几万块随便可以拼一个qwen3.8 27b 200t/s的速度，开源模型的意义就在这里，哪里经费负担不起。

鸳鸳相抱 · 发表于 2026-9-13 12:10

龙骑士尹志平发表于 2026-9-13 12:07
泥潭一堆人部署qwen3.8flash的，dsv4.1f一堆人也是跃跃欲试，现在能解ns方程的大模型的性能几个月就被开 ...

笑死了，你知道openai这次用了多少个子agent吗？用你这种规格的算力，不考虑模型性能差异，十年后你也看不到运行结果

体制 · 发表于 2026-9-13 12:11

我有一个发现，复读“珍妮纺纱机”的基本都是负鹅。
明明是大公司偷点子的，存在一百多年的恶劣行为，披上一个ai的皮就很多人就理解不了了。

—— 来自鹅球 v4.0-alpha

simonroam · 发表于 2026-9-13 12:15

鸳鸳相抱发表于 2026-9-13 12:10
笑死了，你知道openai这次用了多少个子agent吗？用你这种规格的算力，不考虑模型性能差异，十年后你也看 ...

他以为解决NS方程和B站那些测试前端和建模是一码事呢，更何况open ai用的还是内部模型，不是GPT6

Risa_g · 发表于 2026-9-13 12:20

龙骑士尹志平发表于 2026-9-13 12:07
泥潭一堆人部署qwen3.8flash的，dsv4.1f一堆人也是跃跃欲试，现在能解ns方程的大模型的性能几个月就被开 ...

这次o/输出token就1300亿。200t/s你就慢慢算吧，20年后出结果是吧。

处男鉴黄师 · 发表于 2026-9-13 12:32

https://www.bilibili.com/video/BV1pcYf6pEny
为了蓝色清净的数学，反AI数学联盟，堂堂成立~

星花 · 发表于 2026-9-13 12:42

本帖最后由星花于 2026-9-13 12:47 编辑

这是剽窃问题而非技术问题。我是支持ai的。有技术就要用。

洛拉斯 · 发表于 2026-9-13 12:44

Risa_g 发表于 2026-9-13 12:20
这次o/输出token就1300亿。200t/s你就慢慢算吧，20年后出结果是吧。

现在问题不是你用a畜的模型，那么你的想法都会变成a畜的新闻吗？

obulis · 发表于 2026-9-13 12:50

游戏王发表于 2026-9-13 10:47
看了下回复感觉本坛还是更适合讨论三门问题和鉴证，再转发点分析学爱好者的视频一起共振。 ...

要不谭友们多搬运点分析学爱好者的视频算了
反正好看爱看

枯风瘦雪 · 发表于 2026-9-13 12:54

星花发表于 2026-9-13 12:42
这是剽窃问题而非技术问题。我是支持ai的。有技术就要用。

我觉得不行，因为ai slop产生的速度实在太快了，如果现在的科研工作者不能有效承担起验证和辨识ai生成“成果”的责任，那等ai自我迭代几轮之后，这个领域生成的任何内容都会成为不可信任的垃圾，就跟现在泛滥的ai编造史料一样

神之飞雪 · 发表于 2026-9-13 12:59

本帖最后由神之飞雪于 2026-9-13 13:06 编辑

体制发表于 2026-9-13 12:11
我有一个发现，复读“珍妮纺纱机”的基本都是负鹅。
明明是大公司偷点子的，存在一百多年的恶劣行为，披上 ...

泥潭早些年的AI信徒都非常逆天，当初很多画师并没有反对别人用AI，只是声明拒绝自己的劳动成果被AI拿来训练，就被泥潭的AI信徒打成是"纺织工人砸毁纺织机""小布尔乔亚垄断绘画"，比这次的数学领域还要恶劣，数学领域这次不管怎么说，好歹还是因为借助AI才被剽窃的，画师只是拒绝被用于训练，当初泥潭社达小鬼对绘画的围剿和嘲讽力度简直像是在霸凌，不知道这些人是怎么看待Anthropic现在天天指责别人"蒸馏"它的

cosx · 发表于 2026-9-13 13:03

感觉这所谓的AI解题和算质数没啥区别啊

nukacolamania · 发表于 2026-9-13 13:04

_47 发表于 2026-9-12 19:57
这楼翻下来感觉就是，没多少人在意公开信具体内容与数学问题特解的意义，最多的还是无尽的屁股大战。

论坛 ...

ai报了个答案出来，就觉得“唉哟完蛋了，整个学界都没人去研究最重要的具体过程和工具了”，那只说明学界自己也没觉得过程和工具有多重要

—— 来自 motorola moto g51 5G, Android 11, 鹅球 v3.5.99

simonouozy · 发表于 2026-9-13 13:08

如果解决了一个数学难题而没产生新的数学工具，还不如不解决，这就是数学存在的意义，那些数学问题本身很多时候是缺乏意义的

左凉川 · 发表于 2026-9-13 13:11

对非顶尖天才而言，AI取代谁也跑不掉。前两天在外野说了一句：从实用角度考虑，数学和英语一样会被 AI 取代，结果被追着骂

一说到学数学就是培养逻辑思维的经典车轱辘话，数学好生活中逻辑一泡污的人有的是。聊学语言的时候知道会学出来哑巴英语，学数学就对只会做题的视而不见了。另，语言逻辑到底是不是逻辑？不要说什么“数学是宇宙真理”这种假大空的话，大家谁还不是活在人情往来之中的？

龙骑士尹志平 · 发表于 2026-9-13 13:23

鸳鸳相抱发表于 2026-9-13 12:10
笑死了，你知道openai这次用了多少个子agent吗？用你这种规格的算力，不考虑模型性能差异，十年后你也看 ...

技术本身是发展的啊，几年前惊为天人的gpt4和一年前的opus现在不也被开源模型各种乱干？现在一台手机就有当年深蓝，阿尔法狗在象棋围棋上战胜所有人类的能力。能够破解方程的ai迟早能轻易搬运进研究所。另外批判的重点不是闭源ai窃密吗？数学家自己去部署开源ai就好了啊，ai只是工具。

ZBY901026 · 发表于 2026-9-13 13:24

长日留痕发表于 2026-9-12 13:14
AI是广岛吗，天天核爆

对于数学界来说是的
数学那些大问题动不动就是几十上百年前提出来的那么多年很多天才数学家都去挑战过解决不了 ai每个月都给你来个大新闻

ai是几年前就在编程领域发力了数学领域是最近一年才开始大力投入的最开始几个月只是能做题差不多算好点的数学本科生现在已经是博士生都得仰望的级别这个进化速度太快了
一区论文进入批发阶段整个学术价值体系都崩塌了而且不知道什么时候才会减速

Re:Source

鸳鸳相抱 · 发表于 2026-9-13 13:26

本帖最后由鸳鸳相抱于 2026-9-13 13:32 编辑

龙骑士尹志平发表于 2026-9-13 13:23
技术本身是发展的啊，几年前惊为天人的gpt4和一年前的opus现在不也被开源模型各种乱干？现在一台手机就有 ...

四五个数量级的差异，那你可以等技术发展到位再来做咯，你可以赌一下其他人会不会选择先和大公司合作把这些相对简单的问题解决了

私域部署的算力规格始终会和超算级AI差几个数量级，这东西是无法拉平的

AI公司有能力有意愿建起计算中心，数学研究者如何拉到这样的经费是一个无法跳过的现实问题，不然所谓用开源模型私域部署解决需要巨大算力的超复杂问题就是一个空中楼阁而已

shenduke · 发表于 2026-9-13 13:32

体制发表于 2026-9-13 12:11
我有一个发现，复读“珍妮纺纱机”的基本都是负鹅。
明明是大公司偷点子的，存在一百多年的恶劣行为，披上 ...

主要那个buckmaster也是靠ai抽卡的，他的点子真的能算人类的点子吗

黑夜中的冥想 · 发表于 2026-9-13 13:34

本帖最后由黑夜中的冥想于 2026-9-13 13:35 编辑

鸳鸳相抱发表于 2026-9-13 13:26
四五个数量级的差异，那你可以等技术发展到位再来做咯，你可以赌一下其他人会不会选择先和大公司合作把这 ...

以学校甚至数个学校、研究所为联合单位一起构建一个科研AI中心呗，几十个学校掏个几百亿，不用像模型厂一样突破最前沿，也不用像模型厂一样给几十亿人提供服务，TTS这种功能都能砍掉，只用维持一支能够及时部署维护最新开源模型的团队，甚至可以和DS这样的开源厂合作，让他们过来帮忙部署维护。只服务于科研工作，这倒是没什么问题的，国内还能说不好买卡，美国的话直接用谷歌meta那些闲置算力都可以，成本还能再降低一下

8HIT · 发表于 2026-9-13 13:35

体制发表于 2026-9-13 12:11
我有一个发现，复读“珍妮纺纱机”的基本都是负鹅。
明明是大公司偷点子的，存在一百多年的恶劣行为，披上 ...

当初AI绘画也是直接融图，AI输出文字本质也是洗稿，泥潭当初的风评可不是这么说的，都在说好死早该死死了，这下轮到我真有一头牛了

浪子龙飞z · 发表于 2026-9-13 13:39

缪斯替发表于 2026-9-13 10:53
努力理解了一遍，感觉没什么新意啊，无非是数学界逼格高影响力大
这里说的不还是那套老腔调：“AI目前在某 ...

你的理解有误，AI4Math是写在AGI路径上的里程碑，稍微有点了解的都不会对AI能做出目前的成果感到震惊，AI对数学学界的冲击这些都是可以预见的，所以数学家们最多是感慨一下AI能力发展的进度，根本不会像小画家们一样抱团反对AI，现在他们抵制的是AI大厂的行为。
打个比方就是数学家们根据研究推出一条矿脉雇了AI一起挖，挖了一些伴生矿出来之后准备做个阶段性公告，结果给 O 厂听到风声后领着一万名 AI 跑来迅速把矿坑给你都挖出来了。

鸳鸳相抱 · 发表于 2026-9-13 13:40

黑夜中的冥想发表于 2026-9-13 13:34
以学校甚至数个学校、研究所为联合单位一起构建一个科研AI中心呗，几十个学校掏个几百亿，不用像模型厂一 ...

百亿美元级别的开销，不说经费问题，短期内想采购到这么多卡都是很困难的

至少五年以内，和AI公司合作都是获取算力最可行的路径

浪子龙飞z · 发表于 2026-9-13 13:44

8HIT 发表于 2026-9-13 13:35
当初AI绘画也是直接融图，AI输出文字本质也是洗稿，泥潭当初的风评可不是这么说的，都在说好死早该死死了 ...

我挺好奇的，在阁下认识里面数学是门什么学问？

鸳鸳相抱 · 发表于 2026-9-13 13:44

本帖最后由鸳鸳相抱于 2026-9-13 13:47 编辑

说白了，o/和A/投入这么多资源解题就是为了做广告，没有这个收益，有几个人几个组织有能力有愿意投入这样的成本去解题都是件很有趣的事情

8HIT · 发表于 2026-9-13 13:47

浪子龙飞z 发表于 2026-9-13 13:44
我挺好奇的，在阁下认识里面数学是门什么学问？

啊？一门即将被AI替代掉的学科咯，往后数学家什么都没必要了基本上AI一键输出。我倒是好奇你觉得文学和绘画是什么？

羊寢 · 发表于 2026-9-13 13:55

8HIT 发表于 2026-9-13 13:47
啊？一门即将被AI替代掉的学科咯，往后数学家什么都没必要了基本上AI一键输出。我倒是好奇你觉得文学和 ...

泥潭可是一群人认为文科该被废除呢，更不要说文学了

阿萨辛艾沃尔 · 发表于 2026-9-13 14:04

AI没先干倒文学艺术，先快把数学干死了，现在ai已经解决好多数学难题了吧

calmer · 发表于 2026-9-13 14:06

羊寢发表于 2026-9-13 13:55
泥潭可是一群人认为文科该被废除呢，更不要说文学了

不该废除吗？社科那边实验数据一个都没有，就敢直接发新版法规，等炸了还没人担责

—— 来自 HONOR PTP-AN10, Android 16, 鹅球 v3.5.99

snarc1 · 发表于 2026-9-13 14:12

提出问题是很重要的，为了解决一个问题发展一个理论更是宝贵，很多时候这个理论直接应用于这个问题的效率不高，但是比起解决这个问题的更有效率的方法重要的多

		自动登录	找回密码
密码			立即注册

[科技] S1抽风这几天, 数学界真的核爆地震了

评分

评分

评分

评分

评分