OpenAI 发表10个数学/理论计算机重大突破

jxwats1

新闻稿：https://openai.com/index/ten-advances-in-mathematics/

十篇论文合集：https://cdn.openai.com/pdf/ten-proofs-oai.pdf

我承认之前也玩过奥特曼眩晕瘫坐梗。我这次是真的眩晕瘫坐了。

2222222

有大佬说一下是不是水平很高吗

jojog

能不能整点对大家都有用的

R.I.P

加了鹅就跑另开一贴是吧，人类智慧还是有其可取之处的

novem

2222222 发表于 2026-8-2 00:10
有大佬说一下是不是水平很高吗

听说很高，不过可以说明数学问题对LLM确实不难

gammatau

不是黎曼猜想或者p np的话基本也没什么现实用(

gammatau

novem 发表于 2026-8-2 00:16
听说很高，不过可以说明数学问题对LLM确实不难

很多数学问题没解决的主要原因是大家都很忙、能专精的有太少，没有数学家从另一个领域搬一套成果来解决这个问题。AI解决了知识面不够广和时间不够的问题

novem

gammatau 发表于 2026-8-2 00:22
很多数学问题没解决的主要原因是大家都很忙、能专精的有太少，没有数学家从另一个领域搬一套成果来解决这 ...

新框架的提出对LLM可能还是很难
比如小学生都能搞懂的康托尔对角线证明法
但未来现有大部分职业数学家的工作应该都可以被LLM替代了

momol

大部分还是改进算法逼近和举反例

miokojima

看b站几个数学up的意见是，保守是一个菲奖成果。夸张点说够拿3个菲奖了

drodchang

数学系学生可以考虑转行了，这里面每一个问题都可以拿phd了，过两年估计不需要数学家了。

zhoutai354

回错，编辑

zhoutai354

gammatau 发表于 2026-8-2 00:22
很多数学问题没解决的主要原因是大家都很忙、能专精的有太少，没有数学家从另一个领域搬一套成果来解决这 ...

那也可以代替一般或以下水平数学家了，自认没天赋的可以考虑转行了

obulis

miokojima 发表于 2026-8-2 01:33
看b站几个数学up的意见是，保守是一个菲奖成果。夸张点说够拿3个菲奖了

看了一句话没绷住
“提出sofic群理论搭建了几何群论整个框架的gromov没拿奖
解决一个他提出来的基本问题就能拿菲奖了是吧”

PEPTIDE

数学这个应用吧，我觉得当然这些大模型做出来的这些突破很厉害，但是也得看整个图景。它说的是做出来的题目，其实真实图景它扫描了几千几万个命题甚至可能更多，绝大部分一点名堂没搞出来，有的早早知难而退，有的可能还是花了几万块钱了还在瞎啃。非常多的数学命题难到超越人类文明很多倍，AI也许能强过最强人类十倍，但是在这类型命题面前，这十倍毫无意义，也就是蚍蜉撼树和一个十倍蚍蜉撼树的区别。有的题目也许要强过人类文明一万倍的文明出马才能推进一些

看起来LLM似乎毫不费力，但实际上这已经是它使用全力的结果了

nice女武神

drodchang 发表于 2026-8-2 08:04
数学系学生可以考虑转行了，这里面每一个问题都可以拿phd了，过两年估计不需要数学家了。 ...

B站有数学博士已经道心破碎了 ^_^  

rollerrrr

其他几个问题不太懂，Sofic Group当年上了一学期讨论班，这个问题真的挺难的，上课老师当时也说谁能解决应该就能拿菲尔兹奖

coldhot3

PEPTIDE 发表于 2026-8-3 07:46
看起来LLM似乎毫不费力，但实际上这已经是它使用全力的结果了

问题是99.9%人类，80%数学phd都搞不了这个水平。。。

Awanano

我更想知道驱动模型完成这些工作的提示词    Re:Source

子虚乌有

drodchang 发表于 2026-8-2 08:04
数学系学生可以考虑转行了，这里面每一个问题都可以拿phd了，过两年估计不需要数学家了。 ...

但是有没有天赋不是很早就能看出来的，这么搞基础没有了上层也就塌了

乱刀流

PEPTIDE 发表于 2026-8-3 07:46
看起来LLM似乎毫不费力，但实际上这已经是它使用全力的结果了

是这个阶段llm使用全力的结果。可以回想下半年前我们最先进的llm是啥

nvis

这个剧情发展我有印象，下一步就是登月时在月面发现一块黑色石碑，尺寸比例1:4:9