Try-E 10d ago 很多人在扯什么国内算力不够，其实就是底子不行，为什么不行，说出来肯定挨喷，我分析论文难点用过dsv4 pro都不如之前的gpt5.4，真实体验，v4之前的ds那真的，很多都是胡说八道，但是网络上吹的离谱，本身就是自己底子打的不扎实，毕竟要一点一点搞，花的钱太多了，看看openai烧了多少钱，谷歌现在都有点难了，谷歌也算是很牛的公司了，grok收购cursor才好起来，但是我用过感觉还是追不上gpt和claude，他们不缺人才不缺钱都很难追上，但是国内，动不动就一个公司做出来一个，别管实际体验怎么样，跑分肯定是追上了，只是实话实说，说实话，很多人心里都明白怎么回事，但是你说出来，他们就会来喷你，不知道为啥那么爱那些紫奔🏠，本身都被爆出来过去偷东西，还有人洗，A\恶心人我也会说，只有那些内心有鬼的不让别人说实话 ♥ 20 ↩ 7
月光轻轻飘过 10d ago 分析学爱好者的思想变化: 别拿gpt生成的给我看 ai好像真有点强，但是依然需要验证 ai好像真的已经可以给人类做辅助工作了 人类居然能给ai大人做上辅助工作吗？太棒了 [doge] ♥ 568 ↩ 8
四石Fst 10d ago 真不懂数学，但是按照不少人的说法，这些成果都是low hanging fruit，数学界怎么有这么多low hanging fruit没人摘啊，数学难道是个灌木丛吗[Afterglow动态表情包_呆滞] ♥ 1171 ↩ 62
状态不明的因幡 10d ago 如果一个人能看懂数学猜想，也能看懂AI证明猜想使用的思路与数学工具，最后还能将其改写为形式化证明，那我觉得这根本不是民科，而是非全职数学爱好者。 将学院派与爱好者区分开来本身就没有必要，说的好像在学校里就有很高的能力一样。崇拜身份而不是能力本身就是个误区 ♥ 32 ↩ 1
linfda 9d ago 第一步，我们宣称 AI 做数学研究纯属做梦。 第二步，我们宣称 AI 可以提供一些思路，但效果有待观察，仍需要人类完成。 第三步，我们宣称 AI 确实可以做数学研究，但这时候已经做不了什么大事了。 第四步，我们宣称当初应该早转行的，现在已经太迟了。 ♥ 38 ↩ 1
邪恶斯图亚特II 10d ago 神谕和AI数学证明的相同点: 都能回应人们的疑问 难免要和一些相关人士打交道(祭司/官员，研发和维护人员) 往往模棱两可，事后看来多数还是对的(德尔斐、春秋趣事和AI幻觉) 人们经常赋予它们意义，又觉得不应该放弃人事 ♥ 34
Comments
注意到：ai大人远没有使出全力，用在数学上的算力还没有写涩文的多
♥ 92 ↩ 6
很多人在扯什么国内算力不够，其实就是底子不行，为什么不行，说出来肯定挨喷，我分析论文难点用过dsv4 pro都不如之前的gpt5.4，真实体验，v4之前的ds那真的，很多都是胡说八道，但是网络上吹的离谱，本身就是自己底子打的不扎实，毕竟要一点一点搞，花的钱太多了，看看openai烧了多少钱，谷歌现在都有点难了，谷歌也算是很牛的公司了，grok收购cursor才好起来，但是我用过感觉还是追不上gpt和claude，他们不缺人才不缺钱都很难追上，但是国内，动不动就一个公司做出来一个，别管实际体验怎么样，跑分肯定是追上了，只是实话实说，说实话，很多人心里都明白怎么回事，但是你说出来，他们就会来喷你，不知道为啥那么爱那些紫奔🏠，本身都被爆出来过去偷东西，还有人洗，A\恶心人我也会说，只有那些内心有鬼的不让别人说实话
♥ 20 ↩ 7
分析学爱好者的思想变化: 别拿gpt生成的给我看 ai好像真有点强，但是依然需要验证 ai好像真的已经可以给人类做辅助工作了 人类居然能给ai大人做上辅助工作吗？太棒了 [doge]
♥ 568 ↩ 8
真不懂数学，但是按照不少人的说法，这些成果都是low hanging fruit，数学界怎么有这么多low hanging fruit没人摘啊，数学难道是个灌木丛吗[Afterglow动态表情包_呆滞]
♥ 1171 ↩ 62
数学被显卡当比特币挖了
♥ 108 ↩ 5
有一个说法挺有意思，说是以后数学家会成为祭祀或者神父一类的角色，工作内容是解读ai的“神谕”[笑哭][笑哭]
♥ 36 ↩ 1
以前在想 工业革命时期的人们的感受是什么样的 现在我感觉可以共情他们了 以后的人们应该会称呼这段时间为ai革命时期
♥ 66 ↩ 3
以后最好区分使用民科这个词，这个词现在中文语境下具有强烈贬义，对这类用AI做出成果的非专业人士应称其为业余人员或者数学爱好者。
♥ 135 ↩ 16
之前学历史，感觉我们这一代人错过了工业革命，信息技术的几个革命，现在来看前面这些革命可能在ai面前不值一提[辣眼睛]
♥ 215 ↩ 40
如果一个人能看懂数学猜想，也能看懂AI证明猜想使用的思路与数学工具，最后还能将其改写为形式化证明，那我觉得这根本不是民科，而是非全职数学爱好者。 将学院派与爱好者区分开来本身就没有必要，说的好像在学校里就有很高的能力一样。崇拜身份而不是能力本身就是个误区
♥ 32 ↩ 1
评论区低垂果实这一块，依旧农夫果园[doge]
♥ 71
智能学派民间数学家来了，如果这次抽卡抽中了就是我最近二游一直歪一直吃保底换的[doge]
♥ 88 ↩ 8
只能说靠近地面的果子还是太多了，有了新工具不少人都能摘[笑哭]
♥ 80 ↩ 1
我已经被炸麻了，在解决千禧难题前我内心将不会再起波澜[doge]
♥ 61 ↩ 2
要是能像轰炸数学一样轰炸生化物，也差不多算是真的进入到agi的范畴了
♥ 180 ↩ 26
自从有了AI，没有灵根的凡人也能缔结元婴了 真是恐怖如斯啊 [吃瓜][吃瓜][吃瓜][吃瓜]
♥ 17
第一步，我们宣称 AI 做数学研究纯属做梦。 第二步，我们宣称 AI 可以提供一些思路，但效果有待观察，仍需要人类完成。 第三步，我们宣称 AI 确实可以做数学研究，但这时候已经做不了什么大事了。 第四步，我们宣称当初应该早转行的，现在已经太迟了。
♥ 38 ↩ 1
神谕和AI数学证明的相同点: 都能回应人们的疑问 难免要和一些相关人士打交道(祭司/官员，研发和维护人员) 往往模棱两可，事后看来多数还是对的(德尔斐、春秋趣事和AI幻觉) 人们经常赋予它们意义，又觉得不应该放弃人事
♥ 34
想想看吧，以后几乎每一科都会被AI取代。[笑][笑]
♥ 12 ↩ 1
瘫坐核弹，椅子眩晕，坐在爆炸上[星空列车与白的旅行表情包_喝奶]
♥ 24