drodchang 发表于 2026-10-7 15:04

数学界大新闻，openai公布大量数学成果。

今天，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。重要成果包括4维挂谷猜想，准黎曼猜想，但没有新的千禧年问题被解决。因为arxiv每个月只能挂2篇文章，openai直接发布在github上: https://github.com/openai/math

闪雷可达鸭 发表于 2026-10-7 15:07


数学算不算继编程外，AI第二个彻底超过人类的学科？

lawsherman 发表于 2026-10-7 15:09

闪雷可达鸭 发表于 2026-10-7 15:07
数学算不算继编程外，AI第二个彻底超过人类的学科？

不算，没有新的数学工具，ai连怎么算都不知道

shcmzzj 发表于 2026-10-7 15:10

本帖最后由 shcmzzj 于 2026-10-7 17:32 编辑

急什么，但凡不用肉身只用语言的学科一个逃不掉
至于剩下的在受肉之前可以做AI的肉奴苟且一阵

——来自 CPH2671 上的 S1er 客户端

1096beam 发表于 2026-10-7 15:13

哲学问题来啦，人类理解不了的突破算突破吗？

med 发表于 2026-10-7 15:13

数学已经不存在了，这次真是氢弹瘫坐了

处男鉴黄师 发表于 2026-10-7 15:26

下一个应该是理论物理（和天体物理）？都是拿实验/观测数据拟合一个可以自圆其说的理论，AI应该更擅长

drodchang 发表于 2026-10-7 15:30

openai选的时间正好，正式发诺贝奖的时候，还好没有诺贝尔数学奖。

飞剪号 发表于 2026-10-7 15:33

drodchang 发表于 2026-10-7 15:30
openai选的时间正好，正式发诺贝奖的时候，还好没有诺贝尔数学奖。

诺贝尔高瞻远瞩了属于是

Risa_g 发表于 2026-10-7 15:40

这让我想起了改开初期国内很多人文学者就靠翻译介绍西方人文学科成果来获得学术地位了。今后的数学家们恐怕也会有一大批走上“翻译”（阅读理解并重新整合输出）AI数学论文的路子吧。反正老陶已经开始干了： AI宣布森多夫猜想告破！陶哲轩发现它隐藏的更强结果

猛干vacuolar 发表于 2026-10-7 15:41

未来的大学教育咋搞啊，我做梦想不到数学是排在前五被AI创飞的行业，本来还以为是人类最后的智力堡垒

你谁 发表于 2026-10-7 15:46

本帖最后由 你谁 于 2026-10-7 15:56 编辑

openai还是拉了挺多没有验证的屎or金子出来的 但是就验证的结果下面一个Quasi RH就够爆了 唐的本科论文直接被拿下了

游戏王 发表于 2026-10-7 15:46

我看得懂的几个问题：
RL = L，复杂度理论里的重要问题之一。
快于 nlogn 的整数乘法和傅立叶变换。人们可能没想过这两个问题可以比nlogn更快。
另外 Claude 最近证了比 n^2 更快 3SUM 算法。做过leetcode题的人应该知道这个问题，也是曾经人们相信 n^2 就是最优的问题。

糖皮质激素 发表于 2026-10-7 15:48

国内天天喊ai无用论资源浪费论的人该犟嘴的还是会犟嘴

里奥哟西 发表于 2026-10-7 15:50

支持AI平等碾压所有行业

游戏王 发表于 2026-10-7 15:58

数学关乎过程也关乎结论。这里面有些结论即使只知道结论不知道证明过程都很有用很震撼。

神必迷你龙 发表于 2026-10-7 16:06

所以目前ai的上限在哪里呢

鸳鸳相抱 发表于 2026-10-7 16:11

神必迷你龙 发表于 2026-10-7 16:06
所以目前ai的上限在哪里呢

一是感知能力，没有真实世界数据采集的能力

二是持续学习的能力，没有低成本学习的能力

BigLittle1999 发表于 2026-10-7 16:12


评论区看到的

—— 来自 S1Fun

notch 发表于 2026-10-7 16:14

我身边的很多同学老师已经瘫坐眩晕了. 一些人是直接做的问题或者说领域受到了较大的影响. 不过最大的问题还是找教职可能会受到较大的影响. 希望明年还能找上工作.

lnliang 发表于 2026-10-7 16:17

闪雷可达鸭 发表于 2026-10-7 15:07
数学算不算继编程外，AI第二个彻底超过人类的学科？

AI也就和群论和谱系列差不多好用的工具罢了

玉米黍 发表于 2026-10-7 16:19

数学本质上也是一门语言。所以在语言这件事上已经没有单个人类可以打败AI了。

nukacolamania 发表于 2026-10-7 16:27

数学界赶紧修炼自己通过答案推过程的能力就还有救

— from motorola moto g51 5G, Android 11, S1 Next Goose v3.5.99

与何人说 发表于 2026-10-7 16:29

陶哲轩说后面会变成人越来越难理解AI论证过程，就和围棋一样，需要人类学习AI，然后基本就废了

月神夜 发表于 2026-10-7 16:29

已经完蛋了，人类的使用价值
没有资产和粉丝就饿死8

—— 来自 鹅球 v3.3.96

古怪 发表于 2026-10-7 16:30

好事好事，人类对于自然的理解会更上一层楼

隰有苌楚 发表于 2026-10-7 16:32

说不定某个临界点之后ai自己就能制造工具/方法了呢

chinesepy 发表于 2026-10-7 16:32


濡鸦之羽_ 发表于 2026-10-7 16:33

这轮扫射下去是开始喊我真有一头牛了

shhekun 发表于 2026-10-7 16:35

数学是一门非常看重解题思路和过程的科学，ai影响肯定会有，但不会有棋类游戏那么大。

月白天青 发表于 2026-10-7 16:39

未来的世界不知道会变成怎么样

—— 来自 OnePlus PJE110, Android 16, 鹅球 v3.5.99

profr 发表于 2026-10-7 16:48

722篇这个数量实在是惊人，数学界光是消化就得花上个1年吧，今年ai取得的成果怕不是接近过去人类数学家30年的总和了。目前还有一些小道消息，有说lean形式化验证被找出了bug所以才会有这么多通过的，也有说openai手上还有一批更爆的没放出来。

jojog 发表于 2026-10-7 16:52

全是lean那不就等于是shi山么

drodchang 发表于 2026-10-7 17:02

profr 发表于 2026-10-7 16:48
722篇这个数量实在是惊人，数学界光是消化就得花上个1年吧，今年ai取得的成果怕不是接近过去人类数学家30年 ...

不可能，如果lean有bug，openai肯定先修bug，openai手里肯定还有存货，只是没有达到发布标准而已。

nohope 发表于 2026-10-7 17:10

drodchang 发表于 2026-10-7 15:30
openai选的时间正好，正式发诺贝奖的时候，还好没有诺贝尔数学奖。

诺贝尔故意不设数学奖的吧，夺妻之仇岂能忍

zypyong 发表于 2026-10-7 17:17

希望有生之年能看到星际航行变成现实

Gáe-Bulg 发表于 2026-10-7 17:25

游戏王 发表于 2026-10-7 15:58
数学关乎过程也关乎结论。这里面有些结论即使只知道结论不知道证明过程都很有用很震撼。 ...

有些结论在工程领域可能直接能用上，相比之下过程优不优雅反而不是必要的了

Gáe-Bulg 发表于 2026-10-7 17:27

与何人说 发表于 2026-10-7 16:29
陶哲轩说后面会变成人越来越难理解AI论证过程，就和围棋一样，需要人类学习AI，然后基本就废了 ...

人学AI也是用人的思维方法去学，其实不会废

紧那罗 发表于 2026-10-7 17:31

lean有没有bug对这件事的影响其实很小。哪怕证实是证明系统的缺陷，这722个结论要推翻重来，也不过是消耗点电费重新推演一遍罢了。

论坛助手,iPhone

娃哈哈123 发表于 2026-10-7 17:33

Gáe-Bulg 发表于 2026-10-7 17:27
人学AI也是用人的思维方法去学，其实不会废

AI的思维方法，人类有的能学有的不能学的，人可没超算级别的算力
页: [1] 2 3 4
查看完整版本: 数学界大新闻，openai公布大量数学成果。