AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审
TL;DR · AI 摘要
Google DeepMind的AlphaProof Nexus解决了9个长期未解的Erdős数学问题，并通过同行评审。
核心要点
- AlphaProof Nexus基于Gemini 3.1 Pro架构，结合Lean证明助手实现自动化数学证明
- 解决了两个悬而未决56年的Erdős问题，同时证明OEIS数据库44个数学猜想
- 改进了min-max优化算法的已知边界，相关成果发表于Science期刊
结构提纲
按章节快速跳转。
金句 / Highlights
值得收藏与分享的关键句。
解决了两个悬而未决56年的Erdős问题，证明OEIS数据库44个数学猜想
改进了min-max优化算法的已知边界，该技术用于训练某些AI模型
Lean证明助手在每次编译后检查每个证明，错误信息指引下一次小试
AlphaProof Nexus æ»å 9 个æªè§£ ErdÅs é®é¢å¹¶ç»åè¡è¯å®¡ · AIHOT
The Decoderï¼AI News
·
Manuel Uth
2026-10-12 17:35
38 åéå
ç²¾é
AI è¯å
76
AlphaProof Nexus æ»å 9 个æªè§£ ErdÅs é®é¢å¹¶ç»åè¡è¯å®¡
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Science æ°ç 究æ¾ç¤ºï¼Google DeepMind ç AlphaProof Nexus ç¬ç«è§£å³äº 353 个å¼æ¾ ErdÅs é®é¢ä¸ç 9 个ï¼å ¶ä¸ 2 个æ¬ç½® 56 å¹´ã
æ¨èçç±
è¿æ¡æ¥éæç³»ç»æ¶æååè¡è¯å®¡å®æé½è®²æ¸ äºï¼è¯»è å¯ä»¥æ®æ¤ç解形å¼åè¯æå·¥ä½æµçå¯è¡æ§ä¸éªè¯æ¹å¼ã
æ£æ · AI ç¿»è¯
è¯æå°ä¸å®æ´ï¼å®æ´å 容请åæ¢å°åæã
Google Deepmind's AI solved dozens of open math problems on its own, per a new study in Science . AlphaProof Nexus cracked nine of 353 open ErdÅs problems, two unsolved for 56 years. The team shared those solutions online ahead of the paper.
é¤æ¤ä¹å¤ï¼AlphaProof Nexus è¿è¯æäº OEIS æ´æ°åºåæ°æ®åºä¸ç 44 个çæ³ï¼è§£å³äºä¸ä¸ªä»£æ°å ä½ä¸çæªè§£é®é¢ï¼å¹¶æ¹è¿äº min-max ä¼åä¸çä¸ä¸ªå·²ç¥è¾¹çï¼è¯¥ææ¯ç¨äºè®ç»æäº AI 模åãå®åºäº Gemini 3.1 Pro æ建ï¼åè ç¨å½¢å¼åè¯è¨ Lean èµ·èå修订è¯æãLean å¨æ¯æ¬¡ç¼è¾åæ£æ¥æ¯ä»½è稿ï¼é误信æ¯åæ导ä¸ä¸æ¬¡å°è¯ã对äºæ´é¾çåé®é¢ï¼å®å¯ä»¥è°ç¨ AlphaProof ï¼ä¸ä¸ªä¸é¨çè¯æå·¥å ·ã Google Deepmind æ¥å称 ï¼å³ä½¿æ²¡æ AlphaProofï¼å®ä¹è§£å³äºé£ä¹ä¸ª ErdÅs é®é¢ã
è¿é¡¹ç 究åå¸ä¹é ï¼æ£å¼å ³äº AI æ°å¦çæ¿çäºè®ºãOpenAI æè¿ å°æ°ç¾ä¸ª AI è¯æä¸¢å° GitHub ä¸ ï¼èéæ交ç»æåãç± Terence Tao é¢å¯¼ç Association for Human Mathematics å¼åæµå¶ ãDeepmind åå°å ¶å·¥ä½é交äºåè¡è¯å®¡ã
没æçä½ç AI æ°é»ââç±äººç±»ç²¾é
订é THE DECODERï¼äº«åæ 广åé 读ãæ¯å¨ AI æ°é»é讯ãæ¯å¹´å æç¬å®¶âAI Radarâå沿æ¥åãå®æ´æ¡£æ¡è®¿é®æé以åè¯è®ºåºè®¿é®æéã
æ¥æºï¼ The Decoderï¼AI News · the-decoder.com
Google / Gemini
æ¨çè½å
论æç 究
#
论æ/ç 究
æ¨ç