陶哲轩:AI正在不可再生地开采数学开放问题
我不久前曾写道,那些优质且富有成效的开放性问题如今正以一种不可再生的方式被逐一攻克,这可能导致这类问题逐渐变得稀缺。乍一看,这似乎有些反直觉,因为可以提出的数学问题本身是无穷无尽的。
或许以下这个类比能帮助理解:一个国家或地区完全可能在被浩瀚海洋环绕的同时,仍面临严重的饮用水短缺。
人们完全可以随意构造出任意多的开放性数学问题,比如计算圆周率的第10^10^10位小数。然而,其中绝大多数问题并不值得投入精力去研究:它们既不会带来任何新的洞见,也难以与其它问题建立联系;或者相对于现有方法而言,要么过于简单,要么根本无法解决,因而从这样的尝试中几乎得不到任何收获。
(1/4)
参与讨论
v4.1f的速度再次验证了我之前的想法:如果能想明白要做的是什么,多轮能得到快速得到反馈快速迭代的对话,比对更强大的模型许愿式提要求效率高得多,这是完全另一套哲学。
flash模型干3分钟能拿70分,但是迭代三轮也许就能拿95分了。相反你拿astra之类的高级模型吭哧吭哧干15分钟也许也就是拿个90分
9/9/2026
回复
v4.1 flash智能能跟GPT-6差不多真的假的
9/9/2026
回复
担心失业
9/9/2026
回复
这几年的大学生是很惨,学最陈旧的知识,挨最很辣的毒打
9/9/2026
回复
用codex 出题 非常具有逻辑性 未来出题 校检题目方向😃
9/9/2026
回复
低端的harness:一群用户哼哧哼哧烧额度收获一堆没有商业价值的demo
真正的harness:查看顶级数学家的对话记录分析课题进展,堆算力抢成果
9/9/2026
回复
可以預料到的喵
9/9/2026
回复
感觉科研生态被狠狠改变了
9/9/2026
回复
ai发展起来了以后发展能全靠AI吗。不会越来越shi?
9/9/2026
回复
更适合当执行者
9/9/2026
回复
只能说明他们优化好 dsv4.1开源过后他们照样可以优化成比官方更快的速度 或者可能ds就是这么优化的
9/9/2026
回复
有ai的帮助不是能极大加快研究进度吗?靠人自己算要算到什么时候啊?怎么还抵触ai了
9/9/2026
回复
opencode go的glm5.3f就只有80tps zcode最快我也只看到90tps
9/9/2026
回复
哪个宇宙的glm5.3f可以到392
9/9/2026
回复
那是以前发的吧,flash 3.8之后就没有意义了
9/9/2026
回复
关键是glm5.3f max雷霆大思考+高首字延迟 随便来个任务都要20min+
9/9/2026
回复
牛逼啊…ai已经开始影响科学生态了
9/9/2026
回复
我不管是自己测还是问GPT我都没见过100tps+啊 再快谁还能有zcode自己快
9/9/2026
回复
你问个ai倒是给来源啊
9/9/2026
回复