OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、指数时间假设与杨–米尔斯理论

OpenAI 宣布 AI æ¨¡åž‹å–å¾—ä¸‰é¡¹ç§‘å­¦çªç ´ï¼Œæ¶‰åŠå±€éƒ¨å ‰æ»‘çŒœæƒ³ã€æŒ‡æ•°æ—¶é—´å‡è®¾ä¸Žæ¨â€“ç±³å°”æ–¯ç†è®º · AIHOT

IT之家·人工智能

·

2026-10-27 07:37

6 小时前

精选

AI 评分

85

OpenAI 宣布 AI æ¨¡åž‹å–å¾—ä¸‰é¡¹ç§‘å­¦çªç ´ï¼Œæ¶‰åŠå±€éƒ¨å ‰æ»‘çŒœæƒ³ã€æŒ‡æ•°æ—¶é—´å‡è®¾ä¸Žæ¨â€“ç±³å°”æ–¯ç†è®º

OpenAI å®£å¸ƒæ–©èŽ·ä¸‰é¡¹é‡å¤§ç§‘å­¦çªç ´ï¼Œæ¶‰åŠæ•°å­¦çŒœæƒ³ã€è®¡ç®—æœºç®—æ³•åŠåƒç¦§å¹´éš¾é¢˜

AI 导读

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

推荐理由

åŽŸæ–‡æ¢³ç†äº†ä¸‰é¡¹æˆæžœçš„æ•°å­¦èƒŒæ™¯å’ŒéªŒè¯æ–¹å¼ï¼Œå¹¶æ³¨æ˜Žä»å¾ å­¦æœ¯ç•Œç‹¬ç«‹ç¡®è®¤ï¼Œè¯»è€ å¯æ®æ­¤æŠŠæ¡è¯æ®å¼ºåº¦ã€‚

另外 4 家也报道了

正文

感谢IT之家网友 补药吖 的线索投递！

IT之家 10 月 27 日消息，OpenAI å®£å¸ƒï¼Œå ¶ AI æ¨¡åž‹åœ¨æ•°å­¦ã€è®¡ç®—æœºç§‘å­¦å’Œç‰©ç†å­¦é¢†åŸŸå–å¾—ä¸‰é¡¹é‡å¤§çªç ´ï¼Œå±•çŽ°å‡º AI ç‹¬ç«‹å‘çŽ°å¹¶è¯æ˜Žå¤æ‚ç§‘å­¦ç†è®ºçš„èƒ½åŠ›ï¼Œè€Œä¸åªæ˜¯å›žç­”é—®é¢˜æˆ–è¾ åŠ©ç ”ç©¶ã€‚

• 在数学领域，AI è¯æ˜Žäº†é€‚ç”¨äºŽæ‰€æœ‰ç»´åº¦çš„å±€éƒ¨å ‰æ»‘çŒœæƒ³ï¼Œå¹¶ç”±æ­¤è§£å†³ å±€éƒ¨å ‰æ»‘çŒœæƒ³ä¸ŽæŒ‚è°·çŒœæƒ³ 。

• 在计算机科学领域，AI 推翻了 长期被广泛接受的指数时间假设 ，意味着未来可能找到速度更快的算法。

• 在物理学领域，AI 提出 é‡å­è‰²åŠ¨åŠ›å­¦åŠæ¨â€“ç±³å°”æ–¯ç†è®ºçš„ä¸¥æ ¼æ•°å­¦å­˜åœ¨æ€§è¯æ˜Ž ，涉及世界七大千禧年数学难题之一。

OpenAI 表示，数学和计算机科学成果已通过 Lean æ•°å­¦éªŒè¯å·¥å ·è¿›è¡Œå½¢å¼åŒ–éªŒè¯ï¼Œå¹¶å ¬å¼€è¯æ˜Žææ–™ï¼›ç‰©ç†å­¦æˆæžœæ­£ç”±è¯ºè´å°”ç‰©ç†å­¦å¥–å¾—ä¸»ç­‰ä¸“å®¶å‚ä¸Žå®¡æŸ¥ã€‚ç›¸å ³æˆæžœä»éœ€å­¦æœ¯ç•Œè¿›ä¸€æ­¥ç‹¬ç«‹ç¡®è®¤ã€‚

IT之家附上 OpenAI 官方的声明大意如下：

å±€éƒ¨å ‰æ»‘çŒœæƒ³ä¸ŽæŒ‚è°·çŒœæƒ³

数学方面的新成果来自调和分析领域。

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

æ•°å­¦ä¸­ç»å¸¸å‡ºçŽ°ç±»ä¼¼çŽ°è±¡ï¼šæŸç§çŽ°è±¡åœ¨æœ€åæƒ å†µä¸‹å¯ä»¥è¾¾åˆ°éžå¸¸æžç«¯çš„ç¨‹åº¦ï¼Œä½†ç»è¿‡å¹³å‡å¤„ç†åŽï¼Œå®žé™ è§‚å¯Ÿåˆ°çš„æƒ å†µè¦æ¸©å’Œå¾—å¤šã€‚

å±€éƒ¨å ‰æ»‘çŒœæƒ³æè¿°çš„çŽ°è±¡å ·æœ‰åŸºç¡€æ€§æ„ä¹‰ï¼Œå› æ­¤æ¶‰åŠæ•°å­¦åˆ†æžçš„ä¼—å¤šé—®é¢˜ã€‚å ¶ä¸­ï¼ŒæŒ‚è°·çŒœæƒ³å’Œæ–¯å¦å› é™åˆ¶çŒœæƒ³éƒ½å¯ä»¥ç”±å±€éƒ¨å ‰æ»‘çŒœæƒ³æŽ¨å¯¼å‡ºæ¥ã€‚

2019 å¹´ï¼Œå¤æ€ã€çŽ‹è™¹å’Œå¼ ç¿ç¿”è¯æ˜Žäº†äºŒç»´ç©ºé—´ä¸­çš„å±€éƒ¨å ‰æ»‘çŒœæƒ³ã€‚2025 年，王虹与扎尔又证明了三维挂谷猜想。

OpenAI çš„æ¨¡åž‹æ­¤æ¬¡ç»™å‡ºäº†å±€éƒ¨å ‰æ»‘çŒœæƒ³åœ¨æ‰€æœ‰ç»´åº¦ä¸‹çš„è¯æ˜Žï¼Œä»Žè€Œä¹Ÿè§£å†³äº†æ‰€æœ‰ç»´åº¦ä¸‹çš„æŒ‚è°·çŒœæƒ³å’Œæ–¯å¦å› é™åˆ¶çŒœæƒ³ã€‚è¯æ˜Žçš„å ³é”®æ˜¯ä¸€ç§æ–°æž„å»ºçš„è¾ åŠ©åå¾®åˆ†æ–¹ç¨‹ã€‚

OpenAI 于 2026 年 10 月 18 日获得 AI 生成的证明，并在第二天完成 Lean 形式化证明。随后，OpenAI 联系外部专家，讨论如何围绕该成果建立合作机制。

æ ¹æ®ä¸“å®¶å»ºè®®ï¼ŒOpenAI å†³å®šç›´æŽ¥å ¬å¼€ AI 生成的证明，采用与 10 月 6 æ—¥å‘å¸ƒç ”ç©¶æˆæžœæ—¶ç›¸åŒçš„æ–¹å¼ã€‚ç›®å‰ï¼Œæ¨¡åž‹æ’°å†™çš„è‡ªç„¶è¯­è¨€è¯æ˜Žå’Œ Lean å½¢å¼åŒ–è¯æ˜Žå‡å·²ä¸Šä¼ è‡³å ¬å¼€çš„ GitHub ä»£ç ä»“åº“ã€‚

指数时间假设被推翻

计算机科学方面的发现涉及指数时间假设（ETH）。

ETH æ˜¯è®¡ç®—å¤æ‚æ€§ç†è®ºä¸­ä¸€ä¸ªå­˜åœ¨å·²ä¹ çš„çŒœæƒ³ï¼Œç ”ç©¶å¸ƒå°”å ¬å¼å¯æ»¡è¶³æ€§é—®é¢˜çš„è®¡ç®—éš¾åº¦ï¼Œä¸Žè‘—åçš„ P 和 NP é—®é¢˜å¯†åˆ‡ç›¸å ³ã€‚

长期以来，学术界 普遍认为 ETH 成立 ã€‚æ•°ç™¾ç¯‡ç ”ç©¶è®ºæ–‡ä»¥è¯¥å‡è®¾ä¸ºå‰æï¼ŒæŽ¨å¯¼å‡ºå›¾è®ºã€è®¡ç®—ç”Ÿç‰©å­¦ã€æ•°æ®åº“å’Œè®¡ç®—å‡ ä½•ç­‰é¢†åŸŸçš„è®¡ç®—éš¾åº¦ç»“è®ºã€‚

近期，OpenAI 的系统却 给出了 ETH 不成立的证明 ，并通过 Lean 完成了形式化验证。

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

OpenAI é‚€è¯·ä¸‰ä½ç®—æ³•è®¾è®¡å’Œè®¡ç®—å¤æ‚æ€§ç†è®ºä¸“å®¶ç‰µå¤´ï¼Œè´Ÿè´£éªŒè¯ã€ç ”ç©¶å’Œè§£é‡Šè¿™é¡¹æˆæžœï¼Œåˆ†åˆ«æ˜¯åŠ åˆ©ç¦å°¼äºšå¤§å­¦åœ£è¿­æˆˆåˆ†æ ¡çš„æ‹‰å¡žå°” · å› å¸•åˆ©äºšä½å’Œæ‹‰é©¬èŽ«æ±‰ · 帕图里，以及麻省理工学院的瑞安 · 威廉姆斯。

ä¸‰ä½ä¸“å®¶åœ¨è¯¥é¢†åŸŸéƒ½æœ‰é•¿æœŸç ”ç©¶ç§¯ç´¯ï¼š

• å› å¸•åˆ©äºšä½å’Œå¸•å›¾é‡Œä¸Žå¼—æœ—è¥¿æ–¯ · èµžæ©å ±åŒæå‡ºäº† ETH，并在过去 30 å¹´é—´å›´ç»•è¯¥å‡è®¾å‘è¡¨äº†å¤šç¯‡å ·æœ‰å½±å“åŠ›çš„è®ºæ–‡ã€‚

• 威廉姆斯曾证明 ETH 某些强化版本不成立，也曾以 ETH 为基础推导计算难度结论，并在算法与计算复杂性下界之间建立联系。

OpenAI æŽ¥å—äº†åˆä½œå›¢é˜Ÿæå‡ºçš„ä¸¤é¡¹è¦æ±‚ï¼šé¦–å ˆï¼Œå ¬å¼€ç ”ç©¶æˆæžœçš„æ‰€æœ‰åŽŸå§‹æ•°æ®ï¼Œæ–¹ä¾¿å ¶ä»–ç ”ç©¶äººå‘˜ç‹¬ç«‹éªŒè¯ï¼›å ¶æ¬¡ï¼Œç”± OpenAI 提供资金，举办一场学术会议，讨论新成果对计算机科学领域的整体影响。

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

OpenAI 于 10 月 16 日生成了推翻 ETH 的自然语言证明，10 月 17 日又完成了 Lean 形式化证明。随后，OpenAI 开始着手建立前述外部合作机制。

模型生成的自然语言证明 和 Lean 证明 现已在 OpenAI çš„å ¬å¼€ GitHub ä»£ç ä»“åº“å‘å¸ƒã€‚

é‡å­è‰²åŠ¨åŠ›å­¦çš„å­˜åœ¨æ€§ä¸Žæ ‡å‡†æ¨¡åž‹çš„ç»Ÿä¸€å®Œå¤‡åŒ–

物理学方面，OpenAI æå‡ºäº†ä¸€é¡¹å ³äºŽé‡å­åœºè®ºå­˜åœ¨æ€§çš„ç ”ç©¶æˆæžœã€‚

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

è¯æ˜Žé‡‡ç”¨äº†æž„é€ æ€§é‡å­åœºè®ºä¸­å·´æ‹‰ç­æå‡ºçš„ç ”ç©¶æ–¹æ³•ã€‚æ­¤å¤–ï¼Œç ”ç©¶è¿˜è§£å†³äº†ä¸€ä¸ªå­é—®é¢˜ï¼Œå³è¯æ˜Žçº¯æ¨-ç±³å°”æ–¯ç†è®ºçš„å­˜åœ¨æ€§ã€‚è¯¥é—®é¢˜å±žäºŽå ‹é›·æ•°å­¦ç ”ç©¶æ‰€è®¾ç«‹çš„é‡å­æ¨-米尔斯理论千禧年大奖难题的一部分。

ç²’å­ç‰©ç†å­¦æ ‡å‡†æ¨¡åž‹æè¿°äº†äºšåŽŸå­åŸºæœ¬ç²’å­ä¹‹é—´çš„ç›¸äº’ä½œç”¨ï¼Œæ¶µç›–è‡ªç„¶ç•Œå››ç§åŸºæœ¬ç›¸äº’ä½œç”¨ä¸­çš„ä¸‰ç§ï¼Œä¸åŒ æ‹¬å¼•åŠ›ã€‚

ç”±äºŽæ ‡å‡†æ¨¡åž‹æœ¬èº«æ— æ³•ç›´æŽ¥æŽ¨å¹¿è‡³ä»»æ„çŸ­çš„è·ç¦»å°ºåº¦ï¼ŒOpenAI 的存在性证明针对的是 åŒ å«æ ‡å‡†æ¨¡åž‹è§„èŒƒåœºå’Œè´¹ç±³å­çš„æœ€ç®€å•å¤§ç»Ÿä¸€ç†è®º 。

é‡å­è‰²åŠ¨åŠ›å­¦ç ”ç©¶å¤¸å ‹ã€èƒ¶å­ç­‰ç²’å­å¦‚ä½•é€šè¿‡å¼ºç›¸äº’ä½œç”¨å‘ç”Ÿè”ç³»ã€‚çº¯æ¨-ç±³å°”æ–¯ç†è®ºç ”ç©¶çš„èŒƒå›´æ›´çª„ï¼Œåªæ¶‰åŠä¼ é€’å¼ºç›¸äº’ä½œç”¨çš„èƒ¶å­ä¹‹é—´çš„è‡ªç›¸äº’ä½œç”¨ï¼Œä¸åŒ æ‹¬å¤¸å ‹ç­‰ç‰©è´¨ç²’å­ã€‚

OpenAI 邀请大卫 · æ ¼ç½—æ–¯ç‰µå¤´ç ”ç©¶ï¼Œå›¢é˜Ÿå ¶ä»–æˆå‘˜åŒ æ‹¬è¿ˆå ‹å°” · é“æ ¼æ‹‰æ–¯ã€é˜¿ç‘Ÿ · 贾菲、伊戈尔 · å ‹èŽ±å·´è¯ºå¤«å’Œå°¼åŸºå¡” · æ¶ å ‹æ‹‰ç´¢å¤«ã€‚

äº”ä½å­¦è€ åœ¨é‡å­åœºè®ºåŠæ•°å­¦ç‰©ç†é¢†åŸŸå‡æœ‰é‡è¦è´¡çŒ®ï¼š

• 大卫 · æ ¼ç½—æ–¯ï¼š 1973 年，他参与的杨-ç±³å°”æ–¯ç†è®ºæ¸è¿‘è‡ªç”±ç ”ç©¶ï¼Œä¸ºé‡å­è‰²åŠ¨åŠ›å­¦æˆä¸ºå ¬è®¤çš„å¼ºç›¸äº’ä½œç”¨ç†è®ºå¥ å®šäº†åŸºç¡€ï¼Œå¹¶ä½¿ä»–èŽ·å¾— 2004 å¹´è¯ºè´å°”ç‰©ç†å­¦å¥–ã€‚æ¸è¿‘è‡ªç”±ä¹Ÿæ˜¯ä¸¥æ ¼è¯æ˜Žè¿™äº›ç†è®ºåœ¨æ•°å­¦ä¸Šå­˜åœ¨çš„å ³é”®æœºåˆ¶ã€‚

• 阿瑟 · è´¾è²ï¼šä»–ä¸Žå¨æ»•å ±åŒåˆ¶å®šäº†é‡å­æ¨-ç±³å°”æ–¯ç†è®ºåƒç¦§å¹´å¤§å¥–éš¾é¢˜ï¼Œä¹Ÿæ˜¯åƒç¦§å¹´å¤§å¥–éš¾é¢˜è®¾ç«‹æž„æƒ³çš„æå‡ºè€ ä¹‹ä¸€ï¼Œå¹¶å‚ä¸Žåˆ›åŠžå ‹é›·æ•°å­¦ç ”ç©¶æ‰€ã€‚

• è¿ˆå ‹å°” · é“æ ¼æ‹‰æ–¯ï¼šè¿‡åŽ» 20 å¹´ï¼Œä»–ä¸€ç›´å‚ä¸ŽæŽ¨åŠ¨è¯¥é—®é¢˜çš„ç ”ç©¶ï¼Œæ›¾äºŽ 2004 å¹´æŠ¥å‘Šç ”ç©¶è¿›å±•ï¼Œå¹¶åœ¨ä»Šå¹´å¹´åˆå ¨é¢æ¢³ç†äº†æœ€æ–°æˆæžœã€‚

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

• 尼基塔 · æ¶ å ‹æ‹‰ç´¢å¤«ï¼šä»–åœ¨æ¨-米尔斯理论推广形式的精确求解方法方面取得了开创性成果，并于 2023 年获得丹尼 · æµ·æ¶ æ›¼æ•°å­¦ç‰©ç†å¥–ã€‚

参考

• å®˜æ–¹å ¬å‘Šï¼šWorking with academic communities to build scientific understanding

å¹¿å‘Šå£°æ˜Žï¼šæ–‡å† å«æœ‰çš„å¯¹å¤–è·³è½¬é“¾æŽ¥ï¼ˆåŒ æ‹¬ä¸é™äºŽè¶ é“¾æŽ¥ã€äºŒç»´ç ã€å£ä»¤ç­‰å½¢å¼ï¼‰ï¼Œç”¨äºŽä¼ é€’æ›´å¤šä¿¡æ¯ï¼ŒèŠ‚çœç”„é€‰æ—¶é—´ï¼Œç»“æžœä» ä¾›å‚è€ƒï¼ŒITä¹‹å®¶åŒ å«å¤–é“¾çš„æ–‡ç« å‡åŒ å«æœ¬å£°æ˜Žã€‚

来源： IT之家·人工智能 · ithome.com

OpenAI / ChatGPT

推理能力

模型发布

#

推理

OpenAI