wesdrtfg 发表于 2026-6-17 09:27

码农:first time?

C.W.Nimitz 发表于 2026-6-17 09:33

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

— ...

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

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

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

布拉维坎的屠夫 发表于 2026-6-17 09:37

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

321zmbhy 发表于 2026-6-17 09:51

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

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

hyde_caesar 发表于 2026-6-17 10:06

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

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

枯风瘦雪 发表于 2026-6-17 10:11

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

工作中被下属堆过llm的屎的一定会共情数学家,特别是审稿 ...
AI之前审某些发明新工具新范式的数学论文已经是个苦差事了,望月新一的结果到现在还没审出个结论呢……
想想AI能轻易堆到审稿人书桌上的真假难辨的论文数量,确实会让数学家心里发麻

ly4236 发表于 2026-6-17 11:11

这标题真是……

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

novalli 发表于 2026-6-17 21:45

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

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

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

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

victorzl 发表于 2026-6-18 17:48

可以理解数学家们的担心.
简单来说,就是现在用ai可以快速生成大量的狮山代码.
对于软件来说看不懂也没事,编译了跑测试,能过就行.
但在数学的场合很多证明是没法"跑测试"的,纯靠人看,那就的确很痛苦了...
页: 1 [2]
查看完整版本: AI引发数学家集体“抗议”,人类数学家护城河在哪里?