即刻App年轻人的同好社区
下载
倪忆老师对NS这件事的评论：
「我的看法是这样：在科学研究里面，知道“某个问题能做出来”已经是非常了不得的信息了。一个例子是庞加莱猜想，以前的人都认为三维最简单，高维比低维难。Smale 宣布证明了五维以上的庞加莱猜想后，Stallings 听到这个消息，但不知道证明的任何细节，他很快就也给出一个七维以上的证明。后来发现 Stallings 证明的定理版本都跟 Smale 的不一样，方法更是截然不同。
现在这个例子里， OpenAI 自己也承认是听到别人解决的风声才投入巨量算力来在一周内解决。虽然他们辩解说 Buckmaster 等人并没有解决 NS，但是人家已经走在正确的路上，完全解决只是时间问题。像 OpenAI 这样搞，以后人们在完全做出来大问题之前都不敢泄露一点风声，否则马上会引来 AI 公司砸下几万倍的算力，抢在你前面做出来。当然这只是学术界的道德准则，对 AI 公司来说这是你死我活的商业竞争，是完全正常的行为。」
我的看法：我都同意，除了「以后人们在完全做出来大问题之前」这几个字。这里的人们，按照上下文，是传统意义上的数学家们。但传统意义上的数学家作为一个职业凋零近在咫尺。「以后人们」其实并不存在。
「我的看法是这样：在科学研究里面，知道“某个问题能做出来”已经是非常了不得的信息了。一个例子是庞加莱猜想，以前的人都认为三维最简单，高维比低维难。Smale 宣布证明了五维以上的庞加莱猜想后，Stallings 听到这个消息，但不知道证明的任何细节，他很快就也给出一个七维以上的证明。后来发现 Stallings 证明的定理版本都跟 Smale 的不一样，方法更是截然不同。
现在这个例子里， OpenAI 自己也承认是听到别人解决的风声才投入巨量算力来在一周内解决。虽然他们辩解说 Buckmaster 等人并没有解决 NS，但是人家已经走在正确的路上，完全解决只是时间问题。像 OpenAI 这样搞，以后人们在完全做出来大问题之前都不敢泄露一点风声，否则马上会引来 AI 公司砸下几万倍的算力，抢在你前面做出来。当然这只是学术界的道德准则，对 AI 公司来说这是你死我活的商业竞争，是完全正常的行为。」
我的看法：我都同意，除了「以后人们在完全做出来大问题之前」这几个字。这里的人们，按照上下文，是传统意义上的数学家们。但传统意义上的数学家作为一个职业凋零近在咫尺。「以后人们」其实并不存在。
25 13
整件事最戏剧性的部分是什么呢？
不是什么人苦心孤诣，卧薪尝胆，十年磨一剑，解决了在数学史上举足轻重的NS 问题。（这是前AI时代大众脑海里想象的数学工作的模样）
是 OAI 听说自己最大的竞争对手 Anthropic 可能解决了 NS 问题的传闻，于是马力全开，用了不超过四天时间（88小时）集中火力， 调度远超任何私人和传统学术机构所能调度的算力资源和最前端模型，消耗约 1300 亿输出 token，直接后发超车一举解决了这个困扰人类几百年的问题。（超车的意思是它们证明出的结果比对手更强）
人类智力工作的面貌再也回不到从前了。
不是什么人苦心孤诣，卧薪尝胆，十年磨一剑，解决了在数学史上举足轻重的NS 问题。（这是前AI时代大众脑海里想象的数学工作的模样）
是 OAI 听说自己最大的竞争对手 Anthropic 可能解决了 NS 问题的传闻，于是马力全开，用了不超过四天时间（88小时）集中火力， 调度远超任何私人和传统学术机构所能调度的算力资源和最前端模型，消耗约 1300 亿输出 token，直接后发超车一举解决了这个困扰人类几百年的问题。（超车的意思是它们证明出的结果比对手更强）
人类智力工作的面貌再也回不到从前了。
78 929
最近生活质量最大的提升来自 Claude code 不声不响地自动开通了远程控制机制（我知道以前也有但需要设置，最近变成自动集成了）
于是刚才理发的时候忽然想起来要让 agent 看个什么程序，顺手就拿起手机给家里的电脑把活儿派出去了
我可真是善于更加高效地浪费 token（ 不是
于是刚才理发的时候忽然想起来要让 agent 看个什么程序，顺手就拿起手机给家里的电脑把活儿派出去了
我可真是善于更加高效地浪费 token（ 不是
17 20
Anthropic 宣布将黎曼猜想里 ζ 函数临界线上的零点比例的已知下界从 41.6% 提高到了 67.2% 这事充份说明
1. AI 目前主要确实还是在摘低垂果实
2. 人类由于笨和懒错过的低垂果实还真tm多
1. AI 目前主要确实还是在摘低垂果实
2. 人类由于笨和懒错过的低垂果实还真tm多
74 87
笑死我了
受前几天那个雅可比猜想反例的刺激，Dmitry Rybin（一个目前在深圳创业的数学家和AI研究者）决定让 AI 去攻破 Dinitz-Garg-Goemans 猜想（一个经典的图论问题）
他的命令非常简单粗暴：
Construct a counterexample to general (non-planar) case of Dinitz Garg Goemans conjecture. You should do a breakthrough and find a structured counterexample.
然后 AI 就搞定了这个问题（当然是在经过了很多轮迭代之后）
完整对话：chatgpt.com
考虑到24小时之内最后一届没有AI参与的菲尔兹奖就要颁发（很可能还会有两名中国获奖者）
人类数学史在本周已经热闹的有点像行为艺术了
受前几天那个雅可比猜想反例的刺激，Dmitry Rybin（一个目前在深圳创业的数学家和AI研究者）决定让 AI 去攻破 Dinitz-Garg-Goemans 猜想（一个经典的图论问题）
他的命令非常简单粗暴：
Construct a counterexample to general (non-planar) case of Dinitz Garg Goemans conjecture. You should do a breakthrough and find a structured counterexample.
然后 AI 就搞定了这个问题（当然是在经过了很多轮迭代之后）
完整对话：chatgpt.com
考虑到24小时之内最后一届没有AI参与的菲尔兹奖就要颁发（很可能还会有两名中国获奖者）
人类数学史在本周已经热闹的有点像行为艺术了
23 212
这周的国际数学奥林匹克（正好轮在中国上海举办）结束后，各家 AI 纷纷给出了答卷。
基本全是满分。
现在这已经甚至不是新闻了，你要是做不到满分都不好意思公布。
情况就是这么个情况。作为一个曾经的奥数选手，心情复杂。
基本全是满分。
现在这已经甚至不是新闻了，你要是做不到满分都不好意思公布。
情况就是这么个情况。作为一个曾经的奥数选手，心情复杂。
45 11
