记录 - 爱吱声 - Powered by Discuz!

数值分析: OpenAi 一口气解决发表了372个数学难题。。。有人估计，其中10来个菲尔兹奖级别，40~50个院士级别，其他也有教授，博士，硕士级。这是什么节奏？

togo: 没想到数学界还有这么多未结难题 (10-8 04:01)
雷达: 我好奇地点是，总说数学是基础科学，这回基础科学快速大突破，应该很快能体现在具体应用上，想看看有何效果 (10-8 06:58)
testjhy: 数学突破到具体应用之间的时间距离太长了，现在的数学难题本身可能应用有限，是证明过程的方法更有价值，方法的物理意义，被技术界理解等等， ... (10-8 07:10)
数值分析: 好像是说基础科学的定义就是成果很难直接应用到实践吧？应该不会很快的 (10-8 15:37)
料理鼠王: 被证明的定律就可以作为依据，这点对于编程很重要。所以才有那么多学应用数学的成为程序员。 (10-8 16:25)
伯威: 牛逼大发了。 (10-8 09:56)
伯威: 嗯，看到陶哲轩谴责了。 (10-9 16:02)
孟词宗: 问题不在于证明，而在于验证这些证明。现在一般用Lean这类验证器。问题是AI写出来的Lean code没人能读懂或者太臃肿没人能读完。 (10-8 23:32)
孟词宗: 那么怎么证明AI写出来的“证明”是证明原来的题目而没有进行篡改？ (10-8 23:32)
松叶牡丹: 验证的过程像做实验，实验的过程会产生很多副产品和新的发现。而且往往会无心插柳柳成荫。现在这个柳没有了 (10-9 07:49)

4 天前回复|

GMT+8, 2026-10-11 07:16 , Processed in 0.036574 second(s), 9 queries , Gzip On.

Powered by Discuz! X3.2

		自动登录	找回密码
密码			注册


还可输入 200 个字符