jxwats1 发表于 2026-8-2 00:01

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

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

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

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

2222222 发表于 2026-8-2 00:10

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

jojog 发表于 2026-8-2 00:12

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

R.I.P 发表于 2026-8-2 00:13

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

novem 发表于 2026-8-2 00:16

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

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

gammatau 发表于 2026-8-2 00:16

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

gammatau 发表于 2026-8-2 00:22

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

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

novem 发表于 2026-8-2 00:27

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

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

momol 发表于 2026-8-2 01:07

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

miokojima 发表于 2026-8-2 01:33

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

drodchang 发表于 2026-8-2 08:04

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

zhoutai354 发表于 2026-8-2 09:50

本帖最后由 zhoutai354 于 2026-8-2 09:51 编辑

回错,编辑

zhoutai354 发表于 2026-8-2 09:50

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

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

obulis 发表于 2026-8-3 03:57

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

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

PEPTIDE 发表于 2026-8-3 07:46

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

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

nice女武神 发表于 2026-8-3 08:38

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

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

rollerrrr 发表于 2026-8-3 09:19

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

coldhot3 发表于 2026-8-3 09:23

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

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

Awanano 发表于 2026-8-3 09:28

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

子虚乌有 发表于 2026-8-3 09:37

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

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

乱刀流 发表于 2026-8-3 09:41

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

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

nvis 发表于 2026-8-3 10:01

这个剧情发展我有印象,下一步就是登月时在月面发现一块黑色石碑,尺寸比例1:4:9
页: [1]
查看完整版本: OpenAI 发表10个数学/理论计算机重大突破