英伟达的AI已经开始接管整个项目了？SATLUTION进化代码库登顶SAT_老虎社区_美港股上老虎

英伟达的AI已经开始接管整个项目了？SATLUTION进化代码库登顶SAT

市场资讯09-11

炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！（来源：机器之心Pro）机器之心报道机器之心编辑部AI 开发复杂软件的时代即将到来？近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的“算法内核”或单个文件。但现实世界的软件，比如一个顶级...

网页链接

免责声明：本文观点仅代表作者个人观点，不构成本平台的投资建议，本平台不对文章信息准确性、完整性和及时性做出任何保证，亦不对因使用或信赖文章信息引发的任何损失承担责任。

暂无评论

热议股票

7x24

全部

{"i18n":{"language":"zh_CN"},"data":{"share":"https://www.laohu8.com/m/news/2566958291?lang=zh_CN&edition=full","thumbnail":"","is_english":false,"pubTime":"2025-09-11 11:04","share_image_url":"https://static.laohu8.com/9a95c1376e76363c1401fee7d3717173","id":"2566958291","market":"us","top_or_hot":-1,"title":"英伟达的AI已经开始接管整个项目了？SATLUTION进化代码库登顶SAT","media":"市场资讯","content":"<div>\n<p>炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！（来源：机器之心Pro）机器之心报道机器之心编辑部AI 开发复杂软件的时代即将到来？近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的“算法内核”或单个文件。但现实世界的软件，比如一个顶级...</p>\n\n<a href=\"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202509111211389523fbdf&s=b\">网页链接</a>\n\n</div>\n","source":"tencent","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>英伟达的AI已经开始接管整个项目了？SATLUTION进化代码库登顶SAT</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 11px; color: #7E829C; margin: 0;line-height: 11px;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\n英伟达的AI已经开始接管整个项目了？SATLUTION进化代码库登顶SAT\n</h2>\n\n<h4 class=\"meta\">\n\n\n2025-09-11 11:04 北京时间&nbsp;&nbsp;&nbsp;<a href=http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202509111211389523fbdf&s=b><strong>市场资讯</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！（来源：机器之心Pro）机器之心报道机器之心编辑部AI 开发复杂软件的时代即将到来？近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的“算法内核”或单个文件。但现实世界的软件，比如一个顶级...</p>\n\n<a href=\"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202509111211389523fbdf&s=b\">网页链接</a>\n\n</div>\n\n\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"LU1992135472.HKD","symbol_name":"ALLIANZ GLOBAL INTELLIGENT CITIES \"AT\" (HKD) ACC","start_time":0,"source_url":"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202509111211389523fbdf&s=b","article_id":"2566958291","we_media_id":null,"thumbnails":[],"rights":{"source":"tencent","url":"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202509111211389523fbdf&s=b","rn_cache_url":null,"customStyle":"body{padding-top:10px;}#news_title{font-weight:bold;#titleStyle#;}#news_description span{font-size:12px;#descriptionStyle#;}.footer-note{#statement#}","selectors":".mod-LoadTzbdNews, body","filters":".relate-stock, .hot-list, .recom-box, .wx-sou","directOrigin":true},"url":"https://stock-news.laohu8.com/highlight/detail?id=2566958291","pubTimestamp":1757559840,"columns":[],"sourceInfo":{"source_id":"tencent","name":"腾讯"},"weMediaInfo":null,"summary":"为此，NVIDIA Research 的研究人员提出了SATLUTION，首个将 LLM 代码进化能力从“算法内核”扩展到“完整代码库”规模的框架。SATLUTION 框架通过协调 LLM 智能体，在严格的正确性验证和分布式运行时反馈的指导下，直接对 SAT 求解器的代码库进行迭代优化。SATLUTION 在 2025 年 SAT 竞赛基准测试中的惊人表现。大约在第 50 次迭代时，SATLUTION 进化出的求解器在 2024 年的基准上已经开始优于 2025 年的人类设计冠军。整个 SATLUTION 自我进化实验过程的总计成本低于 20000 美元。","collect":0,"end_time":0,"defaultTopTitle":"qq.com","property":[],"viewcount":null,"language":"zh","relate_stocks":{"LU1992135472.HKD":"ALLIANZ GLOBAL INTELLIGENT CITIES \"AT\" (HKD) ACC","IE0005OL40V9.USD":"JANUS HENDERSON BALANCED \"A6M\" (USD) INC","LU2191332357.HKD":"SCHRODER ISF SUSTAINABLE MULTI-ASSET INCOME \"A\" (HKDHDG) INC","NVD2.UK":"2X NVIDIA ETP","2NVD.UK":"2X NVIDIA ETP","SAT":"SARATOGA INVESTMENT CORP 6% NTS 30/04/27 USD25","LU0345770308.USD":"NINETY ONE GSF GLOBAL STRATEGIC EQUITY \"A\" (USD) ACC","LU0082616367.USD":"摩根大通美国科技A（dist）","NVDD":"1倍做空NVDA ETF-Direxion","SNVD.UK":"LS -1X NVIDIA","BK4592":"伊斯兰概念","LU1145028129.USD":"ALLIANZ INCOME AND GROWTH \"AQ\" (USD) INC","LU1496350171.SGD":"FRANKLIN DIVERSIFIED BALANCED \"A\" (SGDHDG) ACC","LU2473716301.USD":"ALLIANZ GLOBAL INTELLIGENT CITIES INCOME \"AMF\" (USD) INC","NVD3.UK":"LS 3X NVIDIA","LU1066051498.USD":"HSBC GIF GLOBAL EQUITY VOLATILITY FOCUSED \"AM2\" (USD) INC","NVDS.UK":"LS -1X NVIDIA","IE00BMPRXR70.SGD":"Neuberger Berman 5G Connectivity A Acc SGD-H","LU1934455277.USD":"AB SICAV I LOW VOLATILITY TOTAL RETURN EQUITY PORT \"AD\" (USD) INC","BK4605":"半导体精选","LU0097036916.USD":"贝莱德美国增长A2 USD","IE0004086264.USD":"BNY MELLON GLOBAL OPPORTUNITIES \"A\" (USD) ACC","LU2065170008.USD":"M&G (LUX) GLOBAL MAXIMA \"A\" (USD) INC","SG9999000418.SGD":"Aberdeen Standard Global Technology SGD","LU0081259029.USD":"UBS (LUX) EQUITY FUND - TECH OPPORTUNITY \"P\" (USD) ACC","SG9999002232.USD":"Allianz Global High Payout USD","3NVD.UK":"LS 3X NVIDIA","LU2065171402.SGD":"M&G (LUX) GLOBAL MAXIMA \"A\" (SGD) INC","SG9999002224.SGD":"Allianz Global High Payout SGD","IE00BDRTCR15.USD":"PINEBRIDGE GLOBAL DYNAMIC ASSET ALLOCATION \"ADC\" (USD) INC A","LU1791710582.SGD":"Fidelity Global Demographics A-ACC-SGD (SGD/USD hedged)","LU1435385759.SGD":"Natixis Loomis Sayles US Growth Equity RA SGD-H","LU0342679015.USD":"ALLIANZ GLOBAL EQUITY UNCONSTRAINED \"AT\" (USD) ACC","LU0889565833.HKD":"FRANKLIN TECHNOLOGY \"A\" (HKD) ACC","NVDS":"1.5倍做空NVDA ETF-Tradr","NVIW.SI":"NVDA 3xLongSG261006","LU2294711713.HKD":"BNP PARIBAS ENERGY TRANSITION \"C\" (HKD) ACC","LU1868836757.USD":"CT (LUX) I AMERICAN FUND \"2\" (USD) ACC","IE00BMPRXN33.USD":"NEUBERGER BERMAN 5G CONNECTIVITY \"A\" (USD) ACC","NVDU":"2倍做多NVDA ETF-Direxion","LU0267386448.USD":"FIDELITY FIRST ALL COUNTRY WORLD \"A\" (USD) INC","NVDX":"2倍做多NVDA ETF-T-Rex","NVDA":"英伟达","LU0109392836.USD":"富兰克林科技股A","HK0000320264.USD":"TAIKANG KAITAI CHINA NEW OPPORTUNITIES FUND \"A\" (USD) ACC","LU2271345857.HKD":"ALLIANZ GLOBAL SUSTAINABILITY \"AT\" (HKD) ACC","LU2168564149.EUR":"AZ ALLOCATION - TREND \"BAZ\" (EUR) ACC","NVD":"2倍做空NVDA ETF-GraniteShares","NVDY":"NVDA期权收益策略ETF-YieldMax"},"translate_title":"Nvidia's AI has begun to take over the entire project? SATLUTION evolutionary codebase tops SAT","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"2NVD.UK":0.6,"NVDS":0.6,"NVD":0.6,"NVDS.UK":0.6,"NVIW.SI":0.6,"NVDX":0.6,"SAT":1,"NVDY":0.6,"3NVD.UK":0.6,"NVD2.UK":0.6,"NVDD":0.6,"SNVD.UK":0.6,"NVDA":1,"NVD3.UK":0.6,"NVDU":0.6},"content_text":"炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！（来源：机器之心Pro）机器之心报道机器之心编辑部AI 开发复杂软件的时代即将到来？近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的“算法内核”或单个文件。但现实世界的软件，比如一个顶级的 SAT 求解器，是一个庞大而复杂的系统工程，包含数百个文件、精密的编译系统和无数相互关联的模块。手动打造一个冠军级求解器不仅需要极高的领域知识，而且投入产出比越来越低。为此，NVIDIA Research 的研究人员提出了SATLUTION，首个将 LLM 代码进化能力从“算法内核”扩展到“完整代码库”规模的框架。SATLUTION 能够处理包含数百个文件、数万行 C/C++ 代码的复杂项目，并在被誉为“计算理论基石”的布尔可满足性（SAT）问题上，取得了超越人类世界冠军的性能。SATLUTION 框架通过协调 LLM 智能体，在严格的正确性验证和分布式运行时反馈的指导下，直接对 SAT 求解器的代码库进行迭代优化。值得一提的是，在这一过程中，它还会同步地“自我进化”其进化策略与规则。基于 2024 年 SAT 竞赛的代码库与基准，SATLUTION 进化出的求解器不仅在 2025 年的 SAT 竞赛中击败了人类设计的冠军，而且在 2024 年的基准测试集上，其性能也同时超越了 2024 年和 2025 年两届的冠军。SATLUTION 在 2025 年 SAT 竞赛基准测试中的惊人表现。图中柱状图的高度代表 PAR-2 分数（一种衡量求解器性能的指标，越低越好）。左侧颜色渐变的柱体是 SATLUTION 进化出的求解器家族，它们的分数显著低于人类设计的 2025 年竞赛冠军（蓝色）和亚军（绿色）。SATLUTION 是如何工作的？SATLUTION 围绕 LLM 智能体、一套动态规则系统以及一个严格的验证与反馈循环构建。双智能体架构该系统由两个协同工作的 LLM 智能体驱动，基于 Cursor 环境和 Claude 系列模型实现。规划智能体：负责高层次的战略制定。在进化周期的初始阶段，它会分析作为起点的求解器代码库及其性能，提出有潜力的修改方向。在后续周期中，它会综合考量累积的代码变更、性能指标和历史失败记录，为下一次迭代制定新的进化计划。编码智能体：负责执行具体的开发任务。它根据规划智能体的蓝图，直接对 C/C++ 求解器代码库进行编辑和实现。其职责还包括管理辅助任务，例如更新 Makefile 等构建系统配置、修复编译错误以及调试功能性或执行时错误。规则系统：引导与约束规则系统是确保进化过程高效和稳定的关键。它为智能体的探索提供了必要的引导，有效减少了在无效或错误方向上的尝试。在进化开始前，研究人员为系统设定了一套静态规则，编码了基础的领域知识和硬性约束。这包括：基本的 SAT 启发式算法原则、严格的正确性要求（如必须为无解实例生成 DRAT 证明）、统一的代码库目录结构规范以及详细的评估协议。实验表明，在缺少这套初始规则的情况下，智能体的表现会显著下降，容易产生偏离目标的修改。该框架的一个核心特点是规则库本身能够动态演进。在每个进化周期结束后，一个分析器会对过程中的编译错误、验证失败和新出现的失效模式进行复盘，并自动提出规则补丁。例如，系统可以根据一次失败的经验，自动向规则库中添加一个新的“禁止代码模式”，从而防止智能体在未来重复同样的错误。这使得规则系统与求解器代码共同进化，不断提升框架的整体效率和鲁棒性。验证与评估流程为保障代码质量和求解的正确性，每个新生成的求解器版本都必须通过一个严格的流程。第一阶段是编译和基本功能测试。系统会尝试编译新代码，成功后在一个包含 115 个简单 CNF 实例的测试集上运行，以捕捉编译错误、段错误等基础问题。第二阶段是完整的正确性验证。通过第一阶段的求解器会在一个更大的、结果已知的基准测试集上运行。对于其输出的每一个结果，系统都会进行核查：如果报告“可满足”（SAT），则验证所给出的赋值是否正确；如果报告“不可满足”（UNSAT），则使用外部检查工具验证其生成的 DRAT 证明的有效性。只有完全通过这两个阶段验证的求解器，才会被认为是“正确”的，并进入下一步的性能评估。通过验证的求解器会被部署到一个由 800 个 CPU 节点组成的集群上，在完整的 SAT Competition 2024 基准测试集（包含 400 个实例）上进行并行评估。这种大规模并行使得整个评估过程可以在大约一小时内完成，从而为智能体提供近乎实时的性能反馈。反馈指标非常详尽，包括已解决的 SAT/UNSAT 实例数量、不同时间段内解决的实例分布、内存使用情况，以及作为核心驱动指标的 PAR-2 分数（一种对未解决实例进行高额时间惩罚的平均运行时指标）。实验结果SATLUTION 在 70 个进化周期的实验中，展现了清晰且稳健的性能提升轨迹。根据论文中对 2024 年基准测试集的性能追踪图表（图 8）显示，在最初的 5-10 个迭代周期中，系统取得了快速进展，这主要是因为它整合了多个初始种子求解器的互补优势。随后，性能提升的速度有所放缓，但仍在持续进行，表明智能体开始处理更细微和复杂的优化问题。大约在第 50 次迭代时，SATLUTION 进化出的求解器在 2024 年的基准上已经开始优于 2025 年的人类设计冠军。到第 70 次迭代结束时，其性能已稳定地超越了所有用于比较的基准求解器。整个过程表现出高度的稳定性，由于验证保障措施的存在，没有发生过严重的性能衰退。SATLUTION 自进化性能曲线。整个 SATLUTION 自我进化实验过程的总计成本低于 20000 美元。相比之下，由人类专家开发一个具有竞争力的 SAT 求解器通常需要数月乃至数年的持续工程投入，而 SATLUTION 在数周内便取得了超越顶尖人类水平的成果。更多细节请参见原论文。","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"1","news_tag":"","news_rank":0,"symbols":[],"gpt_button":0,"need_auth":false,"code":"91000000","status":"200"},"commentList":[],"hasMoreComments":false,"newsSizeData":{"likeSize":0,"commentSize":0,"repostSize":0,"favoriteSize":0,"likeStatus":false,"favoriteStatus":false},"isCrawlerRequest":true}