AI引发数学家集体“抗议”，人类数学家护城河在哪里？

wesdrtfg

码农:first time？

C.W.Nimitz

novalli 发表于 2026-6-16 23:15
所以ai在交叉学科有发展前景？毕竟人来搞需要太多时间和精力，而且很难直观的排除费时但无用的问题。

— ...

前沿科学发展哪个不需要大量时间和精力？

不能指望一切全靠ai全自动力大飞砖

用ai让交叉学科发展更便利就算成功

布拉维坎的屠夫

要不然看看懂数学的人的看法【真的造不出来能难住AI的数学题了-哔哩哔哩】 https://b23.tv/OYYgweY

321zmbhy

布拉维坎的屠夫 发表于 2026-6-17 09:37
要不然看看懂数学的人的看法【真的造不出来能难住AI的数学题了-哔哩哔哩】 https://b23.tv/OYYgweY ...

题和open problem是两回事，数学家抱怨的不是ai薄纱IMO，是有人拿着ai饱和式伪证然后让活人来擦屁股。

hyde_caesar

closeai之前打不过a/就是因为没事干瞎卷数学去了

工作中被下属堆过llm的屎的一定会共情数学家，特别是审稿人的； 上班你可以把你的taste+llm屎扔给另一个llm让他去judge， 数学家可是真的要自己读论文的

枯风瘦雪

hyde_caesar 发表于 2026-6-17 10:06
closeai之前打不过a/就是因为没事干瞎卷数学去了

工作中被下属堆过llm的屎的一定会共情数学家，特别是审稿 ...

AI之前审某些发明新工具新范式的数学论文已经是个苦差事了，望月新一的结果到现在还没审出个结论呢……
想想AI能轻易堆到审稿人书桌上的真假难辨的论文数量，确实会让数学家心里发麻

ly4236

这标题真是……

挑大语言模型输出的东西的问题，确实是一个挑战。

novalli

C.W.Nimitz 发表于 2026-6-17 09:33
前沿科学发展哪个不需要大量时间和精力？

不能指望一切全靠ai全自动力大飞砖

我想的主要是交叉学科很容易在不熟悉的领域陷入已经有定论、但很难突破的问题中。交叉领域需要至少翻倍的知识面，而人实在是很难很快学完这么多的只是。至少已经有定论的东西还是可以避免的，不要浪费太多时间。

—— 来自 Xiaomi 25042PN24C, Android 16, 鹅球 v4.0.100-alpha

victorzl

可以理解数学家们的担心.
简单来说,就是现在用ai可以快速生成大量的狮山代码.
对于软件来说看不懂也没事,编译了跑测试,能过就行.
但在数学的场合很多证明是没法"跑测试"的,纯靠人看,那就的确很痛苦了...