OpenAI 发布内部前沿模型产出的数学研究成果

OpenAI å‘å¸ƒå† éƒ¨å‰æ²¿æ¨¡åž‹äº§å‡ºçš„æ•°å­¦ç ”ç©¶æˆæžœ · AIHOT

OpenAI：官网动态

·

2026-10-07 07:01

6 小时前

精选

AI 评分

71

OpenAI å‘å¸ƒå† éƒ¨å‰æ²¿æ¨¡åž‹äº§å‡ºçš„æ•°å­¦ç ”ç©¶æˆæžœ

Sharing AI progress in mathematics

AI 导读

OpenAI å‘å¸ƒä¸€æ‰¹ç”±å† éƒ¨å‰æ²¿æ¨¡åž‹äº§å‡ºçš„æ–°æ•°å­¦æˆæžœï¼Œæˆæžœä»¥ GitHub ä»“åº“å½¢å¼å ¬å¼€ï¼Œå¹¶é™„è®ºæ–‡ä¿®è®¢ä¸Žå¼•ç”¨åè®®ï¼Œå ¶ä¸­è®¸å¤šè¯æ˜Žå·²ç”¨ Lean 形式化以便计算机验证。

推荐理由

原文说明了成果发布方式、Lean å½¢å¼åŒ–å’Œè®¡ç®—å¼€é”€ç­‰ç»†èŠ‚ï¼Œè¯»è€ å¯ä»¥äº†è§£ AI 数学成果如何面向数学社区开放。

另有 9 家信源报道

正文 · AI 翻译

分享数学领域的 AI 进展

在 GitHub 上查看（在新窗口中打开）

分享

我们正在发布由 å† éƒ¨å‰æ²¿æ¨¡åž‹ 产出的一系列广泛的数学新成果。

为了改进我们与数学界分享成果的方式，我们一直在与独立的 é«˜ç­‰ç ”ç©¶é™¢æ•°å­¦ä¸Žäººå·¥æ™ºèƒ½å’¨è¯¢å°ç»„ï¼ˆåœ¨æ–°çª—å£ä¸­æ‰“å¼€ï¼‰ 磋商以制定最佳实践，并借鉴了他们的建议和 å ¬å¼€å»ºè®®ï¼ˆåœ¨æ–°çª—å£ä¸­æ‰“å¼€ï¼‰ 来指导我们发布这些成果的方式。

对于本次发布，我们将成果发布在一个 GitHub ä»“åº“ä¸­ï¼Œå¹¶é™„æœ‰è®ºæ–‡ä¿®è®¢å’Œå¼•ç”¨çš„è§„èŒƒã€‚æˆ‘ä»¬ä¹Ÿåœ¨ç»§ç»­æŽ¢ç´¢å ¶ä»–ç¬¦åˆå§”å‘˜ä¼šæŒ‡å—ã€ç”±ç¤¾åŒºæ‰˜ç®¡çš„æ›¿ä»£æ–¹æ¡ˆç”¨äºŽæœ¬æ¬¡å‘å¸ƒã€‚å¯¹äºŽæœªæ¥çš„å‘å¸ƒï¼Œæˆ‘ä»¬è‡´åŠ›äºŽé€šè¿‡å¼•ç”¨ã€æ•°å­¦é˜è¿°å’Œæˆæžœå‘ˆçŽ°æ–¹å¼è¿›ä¸€æ­¥æå‡è®ºæ–‡è´¨é‡ï¼Œä»¥ä¾¿æ›´å¥½åœ°ç†è§£ã€‚

作为我们 GitHub ä»“åº“çš„ä¸€éƒ¨åˆ†ï¼Œæˆ‘ä»¬åˆ†äº«äº†å ¶ä¸­è®¸å¤šè¯æ˜Žåœ¨ Lean 中的形式化，Lean æ˜¯ä¸€ç§å è®¸è®¡ç®—æœºæ£€æŸ¥æ•°å­¦è¯æ˜Žçš„ç¼–ç¨‹è¯­è¨€ã€‚éšç€æˆ‘ä»¬èŽ·å¾—æ›´å¤šå½¢å¼åŒ–ï¼Œæˆ‘ä»¬å°†æ›´æ–°è¯¥ä»“åº“ã€‚

ä¸ºäº†ä¿ƒè¿›ç§‘å­¦é€æ˜Žåº¦å’Œå¼€æ”¾æ€§ï¼Œæˆ‘ä»¬è¿˜åœ¨ä»“åº“ä¸­å‘å¸ƒäº†å ³äºŽæˆ‘ä»¬å¦‚ä½•èŽ·å¾—è¿™äº›æˆæžœçš„æ›´å¤šç»†èŠ‚ã€‚å ¶ä¸­åŒ æ‹¬ 10 份模型推理摘要、以 ChatGPT 上 Pro ä½¿ç”¨é‡ä¼°ç®—çš„ç®—åŠ›æ¶ˆè€—ï¼Œä»¥åŠå ³äºŽå°è¯•é—®é¢˜æ•°é‡çš„ç»Ÿè®¡æ•°æ®ã€‚å¹³å‡æ¯é¡¹æˆæžœä½¿ç”¨çš„ç®—åŠ›çº¦ç›¸å½“äºŽ ChatGPT Pro 思考三个小时。

我们希望这一进展能够推动人类知识的前沿，并促进数学的进一步发展。我们将资助一系列围绕理解 AI äº§å‡ºçš„é‡å¤§æˆæžœçš„ç ”è®¨ä¼šã€ä¼šè®®å’Œç‰¹åˆ«é¡¹ç›®â€”â€”æˆ‘ä»¬å°†åœ¨ä¸ä¹ çš„å°†æ¥åˆ†äº«æ›´å¤šç›¸å ³ä¿¡æ¯ã€‚

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

• 2026

作è€

OpenAI

来源： OpenAI：官网动态 · openai.com

OpenAI / ChatGPT

è®ºæ–‡ç ”ç©¶

#

论文/ç ”ç©¶