_47 发表于 2026-9-12 19:57
这楼翻下来感觉就是，没多少人在意公开信具体内容与数学问题特解的意义，最多的还是无尽的屁股大战。
论坛 ...
毕竟现在唯有屁股大战和NSFW才是泥潭外野的最爱
https://www.zhihu.com/question/2082035913132193247/answer/2082080486722220403
_47 发表于 2026-9-12 19:57
这楼翻下来感觉就是，没多少人在意公开信具体内容与数学问题特解的意义，最多的还是无尽的屁股大战。
论坛 ...
NS的爆破特解除了对数学，对现实本来就没什么意义
我看ai有成神的趋势了。还是ds那个吃白饭的形象符合自己审美了。
至少这楼里社达小鬼少了很多，不像以前天天复读纺织机小布尔乔亚啥的，外面已经开始"到处都是低垂的果实"了
数学不幸百合幸
论坛助手,iPhone
这下小画师了
数学这块目前我还是信数学家的，AI顶天就是起个超算的功能让数学家不用自己编程去搞计算。
建议你们发发全文到底AI如何解决数学问题的，别到最后又是算圆周率那种节省人力的做法
本帖最后由 drodchang 于 2026-9-12 23:38 编辑
这事主要是openai听到风声，拿内部模型用1万个agent暴力平推了一个千禧问题：n-s方程。而且不仅如此，传闻OA两家正在把千禧问题当benchmark刷，可能又解决2个（hodge猜想和BSD猜想），显然有些数学家就破防了，自己努力一辈子都碰不到的圣杯，不过是大公司的广告而已，openai还算要点体面，尊重数学界了，发布前提前沟通，A/就直接拍社交媒体上了，还会嘲讽一番。所以数学界联合起来发声，求OA不要往数学界放原子弹了，不过显然没啥卵用。
ninini212 发表于 2026-9-12 23:28
数学这块目前我还是信数学家的，AI顶天就是起个超算的功能让数学家不用自己编程去搞计算。
建议你们发发全 ...
那太小看AI了，现在AI做数学是远超人类数学家所及的广度去搜索现成的所有数学工具和试验成千上万条路径，各种排列组合去攻克猜想。研究中可以胜过普通数学博士的水平，而且还不知疲倦。
drodchang 发表于 2026-9-12 23:35
这事主要是openai听到风声，拿内部模型用1万个agent暴力平推了一个千禧问题：n-s方程。而且不仅如此，传闻O ...
这个声明其实是要求AI公司透明和遵守学术规范，写出来的东西不要可读性一坨屎，引用也不规范，还要学界给他们擦屁股。这两家公司竞争放原子弹，把数学界的一些规范踩在脚下，这才是数学家所不能忍的。
我觉得很奇怪，所谓让人类数学家去审核ai论文是浪费时间这一说，难道这不就是你们的工作吗，某人发了新论文不也都是要其他人来审的吗，怎么ai的论文审一下就浪费时间了。
数学界现在对一个猜想只给两组人credit：一组是提出猜想的人，一组是首先发布证明的人。但既然老陶自己都说了，现在已经进入出证明快过理解证明的时代，那么数学圈就应该给第三组人credit：首先以数学圈便于理解的方式解释一个证明的人。数学家们证明猜想不如ai快了，能解释清楚ai的证明也是一大功德啊。
momol 发表于 2026-9-12 23:46
这个声明其实是要求AI公司透明和遵守学术规范，写出来的东西不要可读性一坨屎，引用也不规范，还要学界给 ...
学术规范什么的都是小事，数学界那些大佬也不见得遵守。而且现在ai公司发结果都带lean，可验证性至少是好多了。
希德尼娅 发表于 2026-9-12 23:48
我觉得很奇怪，所谓让人类数学家去审核ai论文是浪费时间这一说，难道这不就是你们的工作吗，某人发了新论文 ...
因为用ai写的论文太多了，数学家们审不过来了。
不过最新的ai都已经具备把证明写成lean语言的能力，验证证明正确性这点不像之前那么难了。对于能够通过验证的证明，数学家们是该好好去啃。数学家都不啃那还指望人类中的其他人去啃吗。
希德尼娅 发表于 2026-9-12 23:48
我觉得很奇怪，所谓让人类数学家去审核ai论文是浪费时间这一说，难道这不就是你们的工作吗，某人发了新论文 ...
因为ai论文非常难审，不像人类会划出重点，它写的没轻没重，纠结各种细枝末节在平凡部分打转，关键部分有时一笔带过，你要把里面理路梳理出来比人写的要多花很多时间，很多数学家都说AI论文简直是一坨可怕的垃圾。
drodchang 发表于 2026-9-12 23:52
学术规范什么的都是小事，数学界那些大佬也不见得遵守。而且现在ai公司发结果都带lean，可验证性至少是好 ...
lean不能全信，而且ai写的几十上千万行谁知道里面有没有bug，现在大家都不想审。
ultraseven 发表于 2026-9-12 19:30
未来数学研究恐生科化，利好申请科研经费
有患者家属会说“这个题没做出来，我要死了”吗？
momol 发表于 2026-9-13 00:04
lean不能全信，而且ai写的几十上千万行谁知道里面有没有bug，现在大家都不想审。 ...
lean确实不能全信，但比人类审稿员可靠谱多了，ai很容易早到lean的bug。
momol 发表于 2026-9-12 23:58
因为ai论文非常难审，不像人类会划出重点，它写的没轻没重，纠结各种细枝末节在平凡部分打转，关键部分有 ...
有了lean，审稿对ai来说不是事。
本帖最后由 kaluoan 于 2026-9-13 00:16 编辑
AI发展不是谁抢谁饭碗的问题，而是一群资本畜生掌握了数字生产资料，剩下人都要降价给他们打工。
不要想着AI发展就能解放生产力，我最近也发现了一些非常别扭的变化。
大家现在都喜欢看各种AI剧，可是创作者的平均薪酬和时薪在疯狂降。
一个是东大人特有的内卷，另一个是中特赛博巨企特别不要脸。赛博巨企一边提高关键AI工具或者算力的价格，另一方面又对出来的内容进行压价，非常哈耶克大手。
今年年初进来做AI真人，AI3D的小资和小老板被割得死死的。
年初年中，剧本还能有1.5W一本正常价，现在AI本已经变成1000一本，然后雇人修AI剧本也就多给一千五百，这可是3~6W的剧本啊
快让无敌的AI先帮奶龙想一想怎么解决伊朗吧。
怎么还有在纠结谁来审核证明的
AI编程刚开始的时候也是全在那扭结谁来看pull request的。
你看现在这还是个事情吗。
是好事，我站AI
mindclicer 发表于 2026-9-12 12:22
从目前公布出来的信息来看，A社和openAI解决的问题都是沿着早已存在的解决思路用算力搞力大砖飞完成破解。 ...
数学首当其冲的原因是因为纯理论，不需要实验
等后面ai能接入各种机械操作功能后再来看看，每个学科都得叫唤
就像马车和汽车，装火箭发动机的汽车也是汽车
璇瑢子R 发表于 2026-9-13 03:09
怎么还有在纠结谁来审核证明的
AI编程刚开始的时候也是全在那扭结谁来看pull request的。
那还是不一样的，PR不看就不看了，程序跑起来验证就行
数学证明就只能看证明来验证
本帖最后由 pointer243 于 2026-9-13 07:47 编辑
_47 发表于 2026-9-12 19:57
这楼翻下来感觉就是，没多少人在意公开信具体内容与数学问题特解的意义，最多的还是无尽的屁股大战。
论坛 ...
因为说到底这事的核心就是a/o/偷用户的数据思路，特意往这个方向砸资源砸出来的然后恬不知耻地说是ai自己“构想”出来的，借此继续维持自己ai产品的热度。也就是说，你以为你在用ai创造未来，实际上是在给商业资本特别是a/o/这两个助力掌控现实生活。数学家公开信更像警告所有同行任何放入ai工具的未经发表的研究数据都有被a/o/嫖走然后先你一步霸占解释权的严重风险，到时候你发不了paper，研究经费就全到ao/手上，那你这教授职也没啥用了
—— 来自 motorola edge 2025, Android 16, 鹅球 v3.5.99
璇瑢子R 发表于 2026-9-13 03:09
怎么还有在纠结谁来审核证明的
AI编程刚开始的时候也是全在那扭结谁来看pull request的。
当然还在纠结 实际上 大厂用起来ai之后 发现最大的问题就是产生一大堆垃圾代码 根本不知道怎么审。a/自己当源代码都因为代码质量太垃圾泄漏了，真有人信ai可以脱离人类审核了？
momol 发表于 2026-9-12 23:36
那太小看AI了，现在AI做数学是远超人类数学家所及的广度去搜索现成的所有数学工具和试验成千上万条路径， ...
现实问题的解空间高度不可数理论上就不可能遍历的，现在的ai广度搜索其实是定向蒸馏高价值用户的构思，然后使用已经开发出来的形式化工具进行证明
momol 发表于 2026-9-12 23:46
这个声明其实是要求AI公司透明和遵守学术规范，写出来的东西不要可读性一坨屎，引用也不规范，还要学界给 ...
又没人逼着数学家去给ai擦屁股，你可以无视ai的所有结论，看都不看。还和以前一样，只看真人发表的东西，如果有真人利用了ai的结论，那是这个真人主动去擦屁股了，怨不得ai
drodchang 发表于 2026-9-12 23:35
这事主要是openai听到风声，拿内部模型用1万个agent暴力平推了一个千禧问题：n-s方程。而且不仅如此，传闻O ...
拉倒吧，真要暴力破解机房干烧了都不行，真当自己已经是AGI了啊。把数学家的争议简化一下来说，锤的就是偷了数学家的skill然后利用算力抢先算出来。
—— 来自 鹅球 v4.0-alpha
体制 发表于 2026-9-13 08:21
拉倒吧，真要暴力破解机房干烧了都不行，真当自己已经是AGI了啊。把数学家的争议简化一下来说，锤的就是 ...
所有数学都是建立在前任的工作上，这没啥好说 的。
如果这位数学家是本地部署开源模型，那在他论文发布前，a/o/一辈子也算不出来。如果我们去掉ai，这个过程其实就是典型的大公司偷了某教授还未发布的原型成果，然后利用手下数百倍于教授手下博士生的科研民工规模给提前做出来，发布以后还宣传是自己原创思路，换谁谁能忍？
—— 来自 鹅球 v4.0-alpha
drodchang 发表于 2026-9-13 08:26
所有数学都是建立在前任的工作上，这没啥好说 的。
问题是这是人还没发布的成果，ai公司是“偷”的（当然按照用户协议这不算偷，告不赢）
—— 来自 鹅球 v4.0-alpha
本帖最后由 drodchang 于 2026-9-13 08:42 编辑
体制 发表于 2026-9-13 08:28
如果这位数学家是本地部署开源模型，那在他论文发布前，a/o/一辈子也算不出来。如果我们去掉ai，这个过程其 ...
你根本不了解这事，这次openai用的是俩个西班牙数学家Martínez-Zoroa和Córdoba几年前的思路，是公开发表的东西，Buckmaster和Alpoge也是用这个思路用ai抽奖，但是他们的算力没有openai强，让openai先抽出来了而已。Buckmaster说自己的数据被拿去训练了，这个一点关系都没有，因为这个方法早就存在了。
还有一点openai完成承认Martínez-Zoroa和Córdoba，Buckmaster和Alpoge的贡献，甚至愿意让Buckmaster署名，不愿意让Alpoge署名，因为他是A/的人。
本帖最后由 体制 于 2026-9-13 09:02 编辑
drodchang 发表于 2026-9-13 08:35
你根本不了解这事，这次openai用的是俩个西班牙数学家Martínez-Zoroa和Córdoba几年前的思路，是公开发表 ...
Buckmaster明确说了质疑的是偷了他未公开的思路。未公开。
你为了护o/居然把数学家的研究成为“抽奖”，
smooth forcing是Buckmaster用ai抽出来的吗？
这也是给做研究所有科学家一个警醒，用ai辅助一定要用本地部署开源模型。美国人明明对大公司偷点子这种事拍了那么多电影乃至游戏，可能研究人员没空看没空玩吧。
—— 来自 鹅球 v4.0-alpha
黑暗启蒙确实已经崛起了，资本主义就是智人献祭物化自己来让ai神降临的仪式
体制 发表于 2026-9-13 08:54
Buckmaster明确说了质疑的是偷了他未公开的思路。未公开。
你为了护o/居然把数学家的研究成为“抽奖”，
...
打官司呗，看看能不能打赢
现在aigc繁荣本来就是建立在剽窃的基础上。偷人画的画生成色图，结果画家们没法打赢。
看看科学家能不能打赢
争这些都没啥意义。就好比以前的电油之争，无人机战场之争等等一样，大势所趋，不可阻挡。
唯一值得庆幸的是赛博时代的到来还需要一些时间，至少我们这代人还能有点选择和挣扎的余地。再过几代人怕不是生下来就适应了。
—— 来自 OPPO PGU110, Android 16, 鹅球 v3.5.99-alpha