ai搞数学有这么多破天荒二向箔级成功，那对现实生活有什么影响吗？

闪雷可达鸭

看宣传，OpenAI和Claude两家搞的AI成果已经到了批量生产，四大甚至菲尔兹奖的级别了。
那这些成果能转化成什么落地吗？
还是只是单纯的聪明人的游戏？

novem

感觉LLM未来在材料学和生物医药方面会有很大进展，理论学科方面对我们的生活影响很小

夜游宫

数学成果的转化，兴许要等个几十年。

闪雷可达鸭

夜游宫 发表于 2026-10-30 22:49
数学成果的转化，兴许要等个几十年。

其实这些数学成果如果是人做的话，应该也是几十年。
那能不能用AI快速转化落地？

娃哈哈123

难，现在的AI，本质还是玩的遍历，只能在人类已有的成果中排列组合，或者说没有主观能动性，是一个好用的工具

闪雷可达鸭

娃哈哈123 发表于 2026-10-30 22:50
难，现在的AI，本质还是玩的遍历，只能在人类已有的成果中排列组合，或者说没有主观能动性，是一个好用的工 ...

不好说
夏虫不可语冰。
呃，我是那个夏虫，如果数学的这些成果都只是简单的排列组合乃至遍历。
那有创新性的成果我是想不到有什么才能板上钉钉的确定。
AI那个不是说部分成果是用新路线做出来的吗？

娃哈哈123

闪雷可达鸭 发表于 2026-10-30 22:52
不好说
夏虫不可语冰。
呃，我是那个夏虫，如果数学的这些成果都只是简单的排列组合乃至遍历。

是新路线，问题不还是数学家在使用嘛，以前有数学家，能随意使用这种级别的超算嘛，还有这么多程序员全力配合

huanggl703585

是硅基大脑牛逼，注意力惊人远超碳基大脑，所以才有巨量人、财和资源全力配合

鸳鸳相抱

这两家花这么多资源解决数学课题，和阿尔法狗一样，只是为了证明AI有能力比人类更好的处理智力劳动，至于成本是否更低，真实世界的数据采集问题，再说，慢慢来

dpheix1

因为人解决数学问题的过程中很可能创造总结了新的工具，ai是什么套路我不知道，但是据说有的结果有多少多少tb资料？搞不好就是拿着老工具力大飞砖了，用小勺子挖了个大的。人要去验证还得从一开始拿着小勺子跟着挖一遍才能确认成果？大概这么理解？

knnknn

LLM应该还是第一次能算出一个概念加上另一个概念是什么东西。数学或者coding方面有十分良好的verifier（compiler / lean）所以还能通过verifier去筛选概念的加和那些有问题哪些没问题。
搜索的深度和广度看下来似乎还是依靠RL不停迭代在做的。当然要说这个是意识就有点鸡同鸭讲的感觉，就我的观点而言你直接套个loop一直无条件滚下去这个东西也是有意识的。当然现在最in的方向还是往oneshot调整所以没有loop什么事情，但猜测往loop调整大概也就是几轮RL迭代的事情。

所有易于验证的问题都会变成简单而廉价的问题。