drodchang 发表于 2026-9-14 15:49
我什么时候说ai全能了？ai在审代码，找bug比人强这不很正常嘛
如果一些前沿问题的概念ai内都没有，你怎么形式化呢，对应领域的数学家来可能都要在研究过程中修改概念，你这不就是在把lean幻想成一个自动真理判断机吗
simonouozy 发表于 2026-9-14 15:58
如果一些前沿问题的概念ai内都没有，你怎么形式化呢，对应领域的数学家来可能都要在研究过程中修改概念， ...
这不说明ai的能力是由边界的嘛，ai在有些地方比不上人类不是很正常的嘛，只是在验证lean方面，ai比人强。如果某一个概念ai理解不了，那它自然也写不出lean代码，也就没有验证一说了。
simonroam 发表于 2026-9-12 11:29
尼玛这些个词都要被玩坏了，哪天真核爆地震了要怎么说，AGI了吗
突然想到之前那个什么人类末日倒计时，没事就跳出来说调快了xx秒，美爹真打起来又不出声了
drodchang 发表于 2026-9-14 16:02
这不说明ai的能力是由边界的嘛，ai在有些地方比不上人类不是很正常的嘛，只是在验证lean方面，ai比人强。 ...
我的观点是大家都理解不是100％正确，但是当通过了lean和你所谓的ai复查的屎到了一定程度，人完全审核不过来的时候，大家就好像现在的编程一样完全放弃审核了，结果就是lean本身被无意义化了，而问题本身也变成了一个应该被解决，但是没人知道怎么解决的状态，除了炒作毫无意义
simonouozy 发表于 2026-9-14 16:11
我的观点是大家都理解不是100％正确，但是当通过了lean和你所谓的ai复查的屎到了一定程度，人完全审核不 ...
我觉得可能在10年后，数学可能就会变成这个样子，人类读不懂ai给的证明了，不过没关系，数学还会发展，因为数学又不是人类独有的。
费厄泼赖 发表于 2026-9-14 15:41
你说这种暴论前麻烦去了解一下社会学、心理学这样的社科怎么做研究的行不，看看他们的定量研究是不是只要 ...
搞法律的能别来社会学，心理学荣誉共享吗
—— 来自 HONOR PTP-AN10, Android 16, 鹅球 v3.5.99
Alvisivla 发表于 2026-9-14 15:58
总结一下。
玩AI的黑心资本家想靠吹嘘“能解决高深的数学问题”来完成自身的神化（强行AGI），一群傻子 ...
神化不是在阿法狗vs李世石那会就摇旗呐喊完成了
围棋本身不就是一个“高深数学问题”么
—— 来自 鹅球 v4.0-alpha
calmer 发表于 2026-9-14 17:08
搞法律的能别来社会学，心理学荣誉共享吗
—— 来自 HONOR PTP-AN10, Android 16, 鹅球 v3.5.99 ...
你要不要再读读你写了点什么？社会学莫非不是社会科学吗？还是社会科学就法学？这打滚我给负分。
话又说回来，数学界自19世纪以来的开放风气确实是放眼人类历史都相当少见的，比起基因编辑那边狗脑子都打出来确实有点不可思议
本帖最后由 失落之翼 于 2026-9-14 18:20 编辑
是不是类似这样：AI可以算到圆周率小数点后第一千万亿位是什么（2025年11月23日StorageReview团队耗时110天，将圆周率计算到小数点后314万亿位），但其实意义并不大？目前也是用现有思路造模型穷解？