「可验证计算」共找到 5250 篇相关文章
基于风雷软件的NF3数字风洞
在第四届智能流体力学产业联合体大会发布的数字孪生风洞「风神NF3」相关技术在《太阳能学报》发表。基于风雷软件构建西北工业大学NF - 3数字风洞，可自动生成网格、高效计算，实现飞行器翼型数值模拟自动化和业务化运行。
AI泡沫后只剩这两类公司杀出重围！昆仑万维CEO方汉：明年唯一技术赛点在Agent
昆仑万维CEO方汉认为，AI泡沫是必经阶段，产品价值落地成主线，生态是系统工程。今年两类公司突围，四类公司落后。2026年技术赛点是Agent自动化‘可验证过程’。
对科技圈，小红书是个「新绿洲」
作者认为小红书正成为科技圈的「新绿洲」，这里有独特的「人间视角」。科技内容消费模式似「人间夜市」，博主和开发者圈点翻译技术概念。创业者可低成本验证想法，与用户形成「养成系」共生关系。
秘塔AI放大招！「边想边搜边做」，内置20+智能体，想法一键实现
在AI浪潮下，搜索正经历重构。秘塔AI推出「Agentic Search」模式，「边想边搜边做」，可自主完成多步工具调用，内置20余种工具。通过5个场景展示升级，从读懂用户到美化结果、精准计算、打通工作流等，让搜索进化为「帮达成」。
Kimi新架构让马斯克叹服！17岁高中生作者一战成名
17岁高中生陈广宇作为共同一作的论文提出Attention Residuals技术，将注意力机制“旋转90度”。该技术可让模型“回头看”，经Kimi Linear 48B大模型验证，训练效率提升25%，推理延迟增加不到2%。
无需奖励函数！我们意外构建了自我进化的AI系统
牛津大学发现LLM可通过“部署 - 验证 - 再训练”循环自我进化，绕开人工奖励函数设计瓶颈。在三个经典规划领域实验效果惊人，还在理论上证明其与强化学习的数学等价关系，有优势也有隐患。
Meta「透视」AI思维链：CRV推理诊断，准确率达 92%！
Meta FAIR团队在论文中提出CRV方法，可实时观察AI思维过程。它通过改造模型大脑结构，让推理可见。在算术推理实验中，检测精度提升到92.47%，还能让模型修正错误。不过该技术落地尚面临诸多挑战。
谷歌AlphaEvolve太香了，陶哲轩甚至发了篇论文，启发数学新构造
著名数学家陶哲轩与 Google DeepMind 研究人员发表论文，展示谷歌 AlphaEvolve 作为工具可自主发现新数学构造，该系统结合 LLM 与进化计算，在多领域问题上表现出色，还能与其他 AI 工具结合。
碾压超算13000倍！1个月内，谷歌量子AI连斩诺奖+Nature封面
谷歌宣布人类首次在真实硬件上，让量子计算机成功运行可验证算法，性能超全球最快传统超算13000倍，成果登上Nature封面。此突破让实用量子计算机更近一步，不过也有学者对此表示怀疑。
一张GPU跑10万原子！分子之心用AI把化学反应“拍”成了电影
分子之心推出反应性机器学习力场QuantaMind，仅用单张GPU即可实现十万原子级化学反应高精度模拟，突破了分子模拟领域精度、时间、规模不可能三角，大幅降低计算门槛，可应用于酶工程、抗体设计等研发领域。