OpenAI 一次性发布 700 多份数学手稿，数学家们反应震惊与反感

OpenAI 一次性发布 700 多份数学手稿，数学家们反应震惊与反感 · AIHOT

The Decoder：AI News

·

Matthias Bastian

2026-10-10 21:03

3 小时前

精选

AI 评分

82

OpenAI 一次性发布 700 多份数学手稿，数学家们反应震惊与反感

"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field

AI 导读

OpenAI 于 2026 å¹´ 10 月 6 日在 GitHub 一次性发布 700 多份手稿，声称解决数百个未解数学问题，数学博客 Proofs and Prompts 收集了 100 å¤šä½ç ”ç©¶è€ çš„å›žåº”ã€‚

推荐理由

æ–‡ç« æ±‡æ€»äº†ç™¾ä½™åæ•°å­¦å®¶å¯¹ OpenAI 一次性发布 700 å¤šä»½æ•°å­¦æ‰‹ç¨¿çš„å›žåº”ï¼Œå‘ˆçŽ°ä»Žéœ‡æƒŠåˆ°æ‹ å¿§èŒä¸šæœªæ¥çš„å¤šç§ç«‹åœºã€‚

正文 · AI 翻译

OpenAI 在 2026 å¹´ 10 月 6 æ—¥èµ°å¾—æ›´è¿œã€‚è¯¥å ¬å¸ä¸€æ¬¡æ€§å‘å¸ƒäº† 700 多篇手稿，声称解决了数百个未解决的数学问题。数学博客 Proofs and Prompts éšåŽæ”¶é›†äº†ç ”ç©¶äººå‘˜çš„ 100 多条回应。

ç»“æžœä»¤äººæœŸå¾ ï¼Œä½†å ¶å‘å¸ƒæ–¹å¼å¼•å‘è´¨ç–‘

çŽ°åœ¨å ¨é¢è¯„ä¼° OpenAI ä¸Šä¼ åˆ° GitHub çš„å† å®¹ çš„æ•°å­¦å®žè´¨è¿˜ä¸ºæ—¶è¿‡æ—©ã€‚ä¸€äº›è®ºæ–‡å·²è¢«æ’¤å›žï¼Œå¦ä¸€äº›åˆ™å› éš¾ä»¥é˜ è¯»è€Œå—åˆ°æ‰¹è¯„ã€‚å°½ç®¡å¦‚æ­¤ï¼Œä»æœ‰å‡ ä½ä¸“å®¶è¡¨ç¤ºè¿™äº›ç»“æžœä»¤ä»–ä»¬å°è±¡æ·±åˆ»ã€‚

è²å°”å ¹å¥–å¾—ä¸» Peter Scholze å‘¼åä¿æŒè€å¿ƒã€‚â€œæˆ‘ä»¬åº”è¯¥è®°ä½ï¼Œæˆ‘ä»¬éƒ½èº«å¤„å ¶ä¸­ï¼›æ•°å­¦æ˜¯ä¸€åœºé©¬æ‹‰æ¾ï¼Œè€Œä¸æ˜¯çŸ­è·‘ï¼›ç›®æ ‡å§‹ç»ˆä¸”æ°¸è¿œæ˜¯äººç±»å¯¹æ•°å­¦çš„ç†è§£ï¼Œè€Œè¿™å¿ ç„¶éœ€è¦æ—¶é—´ã€‚â€

Scholze 还警告了数学之外的风险。他提出了这些系统可能找到方法 ç ´è§£å¹¿æ³›ä½¿ç”¨çš„åŠ å¯†æ–¹æ³• çš„å¯èƒ½æ€§ã€‚ä»–å†™é“ï¼Œæ‰¾åˆ°æ­¤ç±»ç®—æ³•çš„éš¾åº¦â€œä»¥æˆ‘éžä¸“ä¸šçš„çœ¼å ‰æ¥çœ‹ï¼Œå¹¶æœªæ˜¾è‘—è¶ å‡ºè¿™äº›ç³»ç»Ÿç›®å‰çš„èƒ½åŠ›ã€‚â€è¿™å¯¹æ•°å­—åŸºç¡€è®¾æ–½çš„åŽæžœå°†æ˜¯ç¾éš¾æ€§çš„ã€‚

Terence Tao 描述了对此次发布的复杂感受。他写道，AI ç”Ÿæˆçš„è¯æ˜Žä¼¼ä¹Žâ€œå¼•å ¥äº†å·§å¦™çš„æ–°æƒ³æ³•ï¼Œä¸€æ—¦æ¶ˆåŒ–å°†å¯Œæœ‰æˆæžœâ€ã€‚ä½†ä»–ä¹Ÿå› ç¼ºå°‘èƒ½å¤Ÿè®¨è®ºè¿™äº›å·¥ä½œã€åœ¨æ¼”è®²ä¸­ä»‹ç»å®ƒæˆ–å‘å­¦ç”Ÿè®²æŽˆå®ƒçš„äººè€Œæ„Ÿåˆ°â€œæ·±æ„Ÿæ²®ä¸§â€ã€‚ä»–ä¸ºâ€œæœªèµ°ä¹‹è·¯â€è€Œå“€å¹ï¼Œå¹¶å‘¼åå›¢ç»“ã€‚â€œ[…] 社区比以往任何时候都更需要团结起来。”

Alvaro Lozano-Robledo 称 10 月 6 日“可能是迄今为止数学史上最重要的一天”，同时也指出了这些模型的局限。OpenAI 瞄准了黎曼猜想——数学中最著名的未解猜想——但只成功证明了一个较弱的变体。“[…] 准黎曼猜想是巨大的成就！但它不是黎曼猜想。”

一些结果让 Ben Green 震惊。他形容这些结果“对我来说绝对令人震惊”。据 Green 所说，此次发布解决了他当年 6 æœˆåˆšèŽ·å¾—çš„ä¸€é¡¹è‘—åæ¬§æ´²èµ„åŠ©æ‰€æ¶µç›–çš„å¤§çº¦å››åˆ†ä¹‹ä¸‰çš„ç ”ç©¶ç›®æ ‡ã€‚

Roman Sauer 在 OpenAI å¯¹ä¸¤ä¸ªå®Œå ¨ä¸åŒé—®é¢˜çš„è§£ç­”ä¸­ï¼Œè®¤å‡ºäº†ä»–å¤šå¹´æ¥å¼€å‘çš„ä¸€ç§æŠ€æœ¯ã€‚â€œæˆ‘æƒŠå‘†äº†ã€‚â€

Johannes Schmitt è®¤ä¸ºï¼Œè¿™äº›ç ”ç©¶è®ºæ–‡æ˜¯ OpenAI ä¸ºæ”¹è¿›å ¶æ¨¡åž‹æ‰€åšåŠªåŠ›çš„æ¬¡è¦ç»“æžœï¼Œè€Œéžä¸»è¦æ—¨åœ¨æŽ¨è¿›æ•°å­¦çš„ç»ƒä¹ ã€‚åœ¨ä»–çœ‹æ¥ï¼Œè¯¥å ¬å¸ç”¨æœªè§£å†³çš„é—®é¢˜è¿›è¡Œæµ‹è¯•ï¼Œæ˜¯å› ä¸ºå‰æ²¿æ¨¡åž‹å·²ç»è¶ è¶Šäº†æ›´å®¹æ˜“çš„æŒ‘æˆ˜ã€‚

Ian Agol å°†è¿™ä¸€æƒ å†µä¸Ž Grigori Perelman 在 2002 年发布本世纪最重要的证明之一相提并论。这位俄罗斯数学家很少就自己的工作发表演讲。Agol æŒ‡å‡ºï¼ŒéšåŽå¤šä¸ªç ”ç©¶å›¢é˜ŸèŠ±äº†æ•°å¹´æ—¶é—´é‡å»ºç¼ºå¤±çš„æ­¥éª¤ã€‚

“[…] ä¸€å®¶ä¸‡äº¿ç¾Žå ƒçš„å ¬å¸å‡ºçŽ°äº†ï¼Œç›´æŽ¥ç”¨ TNT 把整件事炸了 […]”

å¾ˆå°‘æœ‰å›žåº”å ³æ³¨è§£ç­”æœ¬èº«çš„è´¨é‡ã€‚è®¸å¤šæ•°å­¦å®¶åè€Œæè¿°äº†éœ‡æƒŠã€ç˜«ç—ªä»¥åŠå¯¹è‡ªèº«èŒä¸šæœªæ¥çš„ææƒ§ã€‚

Hugo Duminil-Copin ，2022å¹´è²å°”å ¹å¥–å¾—ä¸»ï¼Œå†™é“ï¼šâ€œæˆ‘æ—©å°±æ–™åˆ°æœ‰ä¸€å¤©æˆ‘ä»¬ä¼šè¢«äººè¶ è¶Šï¼Œè€Œä¸”ä¼šç³»ç»Ÿæ€§åœ°å‘ç”Ÿã€‚ä½†æ˜¨å¤©çš„å ¬å‘Šå¸¦æ¥çš„å†²å‡»ï¼Œå ¶åŠ›åº¦æ˜¯æˆ‘æœªæ›¾é¢„æ–™çš„ã€‚â€

据 Duminil-Copin 所说，OpenAI å£°ç§°åœ¨ä»–èŒä¸šç”Ÿæ¶¯ä¸­å ¬å¼€è®¨è®ºè¿‡çš„æ¯ä¸€ä¸ªé‡å¤§æœªè§£é—®é¢˜ä¸Šéƒ½å–å¾—äº†æˆæžœã€‚â€œä½†å¹¶éžå ¨éƒ¨ã€‚å¹¶éžä¸€æ¬¡å ¨éƒ¨ã€‚å¹¶éžå¦‚æ­¤è½»ææ·¡å†™ã€‚â€

“冲击是巨大的。我瘫痪了。”他补å 道，“明天，我们会找到前进的路。[……]但此刻，我实在没有力气了。”

Matt Zaremsky æè¿°äº†åœ¨æŸä¸ªç‰¹å®šé—®é¢˜ä¸Šå››å¹´çš„ç¨³æ­¥è¿›å±•ï¼Œä»–çš„ç ”ç©¶è®¡åˆ’å¤§çº¦æ¯å¹´äº§ç”Ÿä¸€æ¬¡é‡å¤§çªç ´ã€‚æ®ä»–æ‰€è¿°ï¼Œå½“è¿™ä¸ªé—®é¢˜èŽ·å¾—äº†è¶³å¤Ÿé«˜çš„å ³æ³¨åº¦åŽï¼ŒOpenAI ä»‹å ¥äº†ã€‚

“[……]感觉就像我们在一处考古发掘现场工作了4å¹´ï¼Œé€æ¸å‘çŽ°äº†ä¸€å ·éžå¸¸é ·çš„æé¾™éª¨æž¶çš„è¶Šæ¥è¶Šå¤šéƒ¨åˆ†ï¼Œç„¶åŽä¸€å®¶ä¸‡äº¿ç¾Žå ƒå ¬å¸å‡ºçŽ°äº†ï¼Œç›´æŽ¥ç”¨TNT把整个东西炸了，把完整的骨架递给我们，然后转身走了。”他把这段经历总结为“不太好”。

Tasmin Chu åœ¨å­¦ç”Ÿæ—¶ä»£å°±å¯¹ä¸€é“æ¦‚çŽ‡è®ºé—®é¢˜äº§ç”Ÿäº†æ„Ÿæƒ ã€‚æ­£æ˜¯å®ƒæŠŠå¥¹å¼•å ¥äº†ç ”ç©¶ä¹‹è·¯ã€‚â€œ[……]比起知道 pc<pu ä¸ºçœŸï¼Œæˆ‘æ›´æƒ³è¦çš„æ˜¯åœ¨æœªæ¥å‡ å¹´é‡Œæ€è€ƒå®ƒçš„æ—¶é—´å’Œç©ºé—´ã€‚â€

Chu åŒºåˆ†äº†å¥¹å¯¹æ•°å­¦æ€è€ƒçš„ä¸ªäººçƒ­çˆ±â€”â€”å¥¹è¯´è¿™ä»ç„¶å±žäºŽå¥¹è‡ªå·±â€”â€”å’Œå¥¹å¡‘é€ è‡ªå·±ä¸“ä¸šå·¥ä½œçš„èƒ½åŠ›ã€‚â€œå¦ç™½è¯´ï¼Œæˆ‘å¯¹è‡ªå·±æ‰€ç”Ÿæ´»çš„ç¤¾ä¼šæ„Ÿåˆ°æžåº¦åŽŒæ¶ã€‚â€

对于博士生 Tristan Humbert æ¥è¯´ï¼Œè¿™ä¸€å ¬å‘ŠåŒæ—¶å¨èƒåˆ°äº†ä»–çš„ç ”ç©¶è®¡åˆ’å’Œæ±‚èŒã€‚é‚£å¤©æ—©ä¸Šä»–å¾—çŸ¥ï¼ŒOpenAI å£°ç§°è¯æ˜Žäº†ä»–åšå£«è®ºæ–‡æ ¸å¿ƒçš„é‚£ä¸ªé—®é¢˜ã€‚

Humbert æè¿°äº†å ˆæ˜¯æ‚²ä¼¤ï¼ŒéšåŽæ˜¯å¯¹åšå£«åŽç”³è¯·çš„ææ Œã€‚ä»–èŠ±äº†ä¸€ä¸Šåˆä¿®æ”¹ç ”ç©¶è®¡åˆ’ã€‚è¯»é‚£ç¯‡è®ºæ–‡æ—¶ï¼Œé‚£äº›æƒ ç»ªå˜æˆäº†æ„¤æ€’ï¼Œå› ä¸ºä»–é‡åˆ°äº†ä»–ç§°ä¹‹ä¸ºâ€œåŸºæœ¬æ— æ³•è¯»æ‡‚çš„åžƒåœ¾â€çš„ä¸œè¥¿ã€‚

Enrico Fatighenti è¯´ï¼Œç ”ç©¶äººå‘˜å¯¹AIç”Ÿæˆçš„è®ºæ–‡é‡‡ç”¨äº†ä¸Žäººç±»å·¥ä½œä¸åŒçš„æ ‡å‡†ã€‚å¦‚æžœä¸€ç¯‡æŠ•ç¨¿çš„é¦–é¡µå†™å¾—å·®åˆ°æ— æ³•ç†è§£ï¼Œä»–ä¼šç›´æŽ¥æ‹’ç¨¿ã€‚ç„¶è€Œï¼Œä»–è®¤ä¸ºï¼ŒçŽ°åœ¨å­¦ç•Œå´è¢«è¦æ±‚åŽ»è§£è¯»å’Œè§£é‡Šæ¥è‡ªAI系统的论文。

“这让我们在时间和精力上付出了相当大的代价，而他们可以径直走开，用垃圾推土机碾向下一个猜想。当然，功劳仍然是他们的。”

Henry Wilton 说得更直白。“如果 OpenAI 想摧毁数学界，这倒是个绝佳的办法。”

Wilton 批评 OpenAI éšçž’ä½œè€ å§“åå’Œå¤±è´¥çŽ‡ä¿¡æ¯ã€‚ä»–è®¤ä¸ºï¼Œç¼ºå°‘å ·åä½œè€ æ„å‘³ç€â€œæ•°å­¦ä¸å†æ˜¯ä¸€é¡¹äººç±»çš„äº‹ä¸šâ€ã€‚

Sam Hughes ç”¨ä¸‰å¥è¯è¡¨è¾¾äº†ä»–çš„æ„Ÿå—ã€‚â€œèƒ½ä»Žäº‹ç ”ç©¶çº§åˆ«çš„æ•°å­¦å·¥ä½œæ˜¯ä¸€ç”Ÿéš¾å¾—çš„è£å¹¸ã€‚ä½†ä¸æ˜¯ä»¥è¿™ç§æ–¹å¼ã€‚æˆ‘ä»¬å¤±åŽ»äº†å¤šå°‘ç¾Žï¼Ÿâ€

日本数学家 Koji Fujiwara 用套用 Dolly Parton 的《Jolene》的歌词作为回应。

“AI, AI, AI, AI æˆ‘æ±‚æ±‚ä½ ï¼Œè¯·ä¸è¦å¤ºèµ°æˆ‘çš„æ•°å­¦ AI, AI, AI, AI è¯·ä¸è¦ä» ä» å› ä¸ºä½ èƒ½å°±æŠŠå®ƒå¤ºèµ°â€

ç ”ç©¶äººå‘˜å¯¹ç•™ç»™äººç±»çš„æ˜¯ä»€ä¹ˆæ„è§ä¸ä¸€

ä¸€äº›ç ”ç©¶è€ çœ‹åˆ°äº†ä¹è§‚çš„ç†ç”±ã€‚ Danny Calegari 表示，过去 15 年里，个人的好奇心一直指引着他的项目选择，而 OpenAI 的发布并未影响他当前的工作。

Calegari æè¿°äº†ä»–ä¸Žä¸€ä½éŸ³ä¹å®¶ä¸ºä¸€éƒ¨æ•°å­¦åŠ¨ç”»é ä¹çš„åˆä½œã€‚Anthropic 的 Claude ç¼–å†™äº†ä»£ç ã€‚â€œå¦‚æžœè¿™éƒ½ä¸å€¼å¾—åº†ç¥ï¼Œæˆ‘ä¸çŸ¥é“è¿˜æœ‰ä»€ä¹ˆå€¼å¾—ã€‚â€

Constantin Kogler 一直在与 Astra åˆä½œç ”ç©¶ä¸€ä¸ª OpenAI ä¹Ÿå£°ç§°å·²è§£å†³çš„é—®é¢˜ã€‚ä»–åœ¨è¯¥å ¬å¸å‘å¸ƒåŽä¸€å¤©å°†è‡ªå·±çš„è®ºæ–‡å‘å¸ƒåˆ°äº† arXiv 上。“[...] 我忍不住觉得自己生活在一个数学仙境中，每当我准备好时，下一个定义领域的想法就会被发现。”

Giovanni Mongardi çœ‹åˆ°çš„æœªæ¥åˆ™é»¯æ·¡å¾—å¤šã€‚â€œä»Šå¤©ï¼Œæœ‰äº›ä¸œè¥¿æ°¸è¿œåœ°å¤±åŽ»äº†ã€‚â€ä»–å°†æ•°å­¦å®¶å‰©ä¸‹çš„è§’è‰²æè¿°ä¸ºâ€œæœºå™¨ä¹‹ç¥žçš„ç¥­å¸â€ï¼Œå¹¶æ‹ å¿ƒâ€œæ€æƒ³çš„æœªæ¥å°†æ˜¯ä¸€ç‰‡è’æ¼ ï¼Œæ²¡æœ‰é—®é¢˜æŒ‡å¼•æˆ‘ä»¬èµ°å‘åœ°å¹³çº¿ä¹‹å¤–ã€‚â€

å¯¹å¹´è½»ç ”ç©¶è€ çš„æ‹ å¿§å‡ ä¹Žè´¯ç©¿äº†æ‰€æœ‰å›žåº”ã€‚ Mark Hagen è¡¨ç¤ºï¼Œæ¥è‡ªç„¦è™‘çš„æ—©æœŸèŒä¸šåŒäº‹çš„æ±‚åŠ©è¯·æ±‚ï¼Œæ¯”å½“å¤©å®¡é˜ é¢„å°æœ¬æ›´ä¸ºä¼˜å ˆã€‚

Petra Schwer è¡¨ç¤ºï¼Œå¥¹å’Œå ¶ä»–æ•°å­¦å®¶åœ¨è®¨è®ºç ”ç©¶æ—¶å˜å¾—æ›´åŠ è°¨æ Žã€‚â€œä¸ä¿¡ä»»æ­£åœ¨è”“å»¶ï¼Œè¿™ä¸å¥½ã€‚â€ Mitchell Taylor è¡¨ç¤ºï¼Œè®¸å¤šåŒäº‹æ­£ç»åŽ†â€œä¸¥é‡çš„ç„¦è™‘ã€æŠ‘éƒå’Œå¤±åŽ»ç›®æ ‡æ„Ÿâ€ã€‚

Martin Bridson æ‰¿è®¤äº†å ¶ä¸­çš„æœºé‡ä¸ŽæŸå¤±ã€‚ä½†ä»–å‘Šè¯«ä¸è¦è®©äººå·¥æ™ºèƒ½å®žéªŒå®¤è®¾å®šç ”ç©¶è®®ç¨‹ã€‚â€œä¸Žæ­¤åŒæ—¶ï¼Œæˆ‘ä»¬å¿ é¡»æŠµåˆ¶è¿™æ ·ä¸€ç§è¯±æƒ‘ï¼šè®¤ä¸ºä»Žäººå·¥æ™ºèƒ½å®žéªŒå®¤çš„å ¬å‘Šä¸­æŒ–æŽ˜æ´žè§å°†æˆä¸ºæˆ‘ä»¬æ—¶ä»£æœ€é‡è¦çš„ä»»åŠ¡ã€‚â€â€œæˆ‘ä»¬åº”è¯¥æ‹¥æŠ±æœºå™¨æä¾›çš„åŠ›é‡ï¼Œä½†æˆ‘ä»¬ä¸åº”å—å¥‘çº¦æŸç¼šåŽ»è¿½éšå®ƒä»¬çš„å¼•é¢†ã€‚â€

æ•°æœˆçš„ç´§å¼ å·²æ¼”å˜ä¸ºä¸ªäººå±æœº

人类数学协会此前已呼吁抵制 OpenAI ï¼ŒæŒ‡è´£è¯¥å ¬å¸è¿åäº†ç§‘å­¦ç ”ç©¶çš„æ ¸å¿ƒè§„èŒƒã€‚åŒ æ‹¬é™¶å“²è½©å’Œ Scholze åœ¨å† çš„ 25 ä½è²å°”å ¹å¥–å¾—ä¸»ä¹Ÿå‘è¡¨äº†ä¸€ä»½ 联合声明 ï¼Œè­¦å‘Šäººå·¥æ™ºèƒ½è¡Œä¸šçš„ç›®æ ‡ä¸Žæ•°å­¦çš„ç›®æ ‡ä¹‹é—´å­˜åœ¨ä¸¥é‡é”™ä½ã€‚

陶哲轩曾勾勒出一个“数学 2.0”时代 ï¼Œåœ¨è¿™ä¸ªæ—¶ä»£ï¼Œä» é è§£å†³é—®é¢˜å·²ä¸å†æ˜¯è¯¥é¢†åŸŸçš„æ ¸å¿ƒç„¦ç‚¹ã€‚è¿„ä»Šä¸ºæ­¢çš„å›žåº”è¡¨æ˜Žï¼Œè¿™ä¸€è½¬å˜å¯¹æ•°å­¦å®¶è€Œè¨€æ˜¯å¤šä¹ˆåˆ‡èº«çš„ä¸ªäººä½“éªŒã€‚

来源： The Decoder：AI News · the-decoder.com

OpenAI / ChatGPT

大佬观点

行业动态

#

OpenAI