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
有大佬说一下是不是水平很高吗
听说很高,不过可以说明数学问题对LLM确实不难 不是黎曼猜想或者p np的话基本也没什么现实用( novem 发表于 2026-8-2 00:16
听说很高,不过可以说明数学问题对LLM确实不难
很多数学问题没解决的主要原因是大家都很忙、能专精的有太少,没有数学家从另一个领域搬一套成果来解决这个问题。AI解决了知识面不够广和时间不够的问题 gammatau 发表于 2026-8-2 00:22
很多数学问题没解决的主要原因是大家都很忙、能专精的有太少,没有数学家从另一个领域搬一套成果来解决这 ...
新框架的提出对LLM可能还是很难
比如小学生都能搞懂的康托尔对角线证明法
但未来现有大部分职业数学家的工作应该都可以被LLM替代了 大部分还是改进算法逼近和举反例 看b站几个数学up的意见是,保守是一个菲奖成果。夸张点说够拿3个菲奖了 数学系学生可以考虑转行了,这里面每一个问题都可以拿phd了,过两年估计不需要数学家了。 本帖最后由 zhoutai354 于 2026-8-2 09:51 编辑
回错,编辑 gammatau 发表于 2026-8-2 00:22
很多数学问题没解决的主要原因是大家都很忙、能专精的有太少,没有数学家从另一个领域搬一套成果来解决这 ...
那也可以代替一般或以下水平数学家了,自认没天赋的可以考虑转行了 miokojima 发表于 2026-8-2 01:33
看b站几个数学up的意见是,保守是一个菲奖成果。夸张点说够拿3个菲奖了
看了一句话没绷住
“提出sofic群理论搭建了几何群论整个框架的gromov没拿奖
解决一个他提出来的基本问题就能拿菲奖了是吧” 数学这个应用吧,我觉得当然这些大模型做出来的这些突破很厉害,但是也得看整个图景。它说的是做出来的题目,其实真实图景它扫描了几千几万个命题甚至可能更多,绝大部分一点名堂没搞出来,有的早早知难而退,有的可能还是花了几万块钱了还在瞎啃。非常多的数学命题难到超越人类文明很多倍,AI也许能强过最强人类十倍,但是在这类型命题面前,这十倍毫无意义,也就是蚍蜉撼树和一个十倍蚍蜉撼树的区别。有的题目也许要强过人类文明一万倍的文明出马才能推进一些
看起来LLM似乎毫不费力,但实际上这已经是它使用全力的结果了 drodchang 发表于 2026-8-2 08:04
数学系学生可以考虑转行了,这里面每一个问题都可以拿phd了,过两年估计不需要数学家了。 ...
B站有数学博士已经道心破碎了 ^_^ 其他几个问题不太懂,Sofic Group当年上了一学期讨论班,这个问题真的挺难的,上课老师当时也说谁能解决应该就能拿菲尔兹奖 PEPTIDE 发表于 2026-8-3 07:46
看起来LLM似乎毫不费力,但实际上这已经是它使用全力的结果了
问题是99.9%人类,80%数学phd都搞不了这个水平。。。 我更想知道驱动模型完成这些工作的提示词 Re:Source drodchang 发表于 2026-8-2 08:04
数学系学生可以考虑转行了,这里面每一个问题都可以拿phd了,过两年估计不需要数学家了。 ...
但是有没有天赋不是很早就能看出来的,这么搞基础没有了上层也就塌了 PEPTIDE 发表于 2026-8-3 07:46
看起来LLM似乎毫不费力,但实际上这已经是它使用全力的结果了
是这个阶段llm使用全力的结果。可以回想下半年前我们最先进的llm是啥 这个剧情发展我有印象,下一步就是登月时在月面发现一块黑色石碑,尺寸比例1:4:9
页:
[1]