「自动化定理证明」共找到 812 篇相关文章
刚刚，DeepMind通用科学智能体AlphaEvolve突破数学极限，陶哲轩合作参与
DeepMind发布革命性进化编码智能体AlphaEvolve，由LLMs驱动，可演化代码库、发现和优化算法。它结合LLM创造力与自动化评估，减少幻觉，在多领域应用前景大，还与陶哲轩合作探索数学应用。
王炸！微软AI Agent支持A2A、MCP协议，智能体黄金时代降临
今天凌晨微软官网宣布Azure AI Foundry和Microsoft Copilot Studio支持Agent开发协议A2A，还会与谷歌合作扩大该协议。此前微软已支持MCP，两协议能打破智能体诸多壁垒，提升开发、自动化效率。
实测updream预演台：一张图，换来一整个3D片场！
作者实测updream预演台，它可传图自动重建3D白模场景，可摆人物、调机位等，再配合Seedance 2.5渲染成片。作者还做了对照实验，证明白模能锁定拍摄意图，并给出使用建议。
百年黎曼猜想被Claude破了新纪录！是个未公开新模型
A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。
LLM助力突破尘封60年数学猜想！北大王立威团队大幅刷新斯坦纳比下界
北大王立威团队构建基于 LLM 的框架，聚焦 Gilbert - Pollak 猜想，将二维平面斯坦纳比从 0.824 改进到 0.8559。该进展被陶哲轩收录，工作已被 ICML 2026 接收，代码和证明均已开源。
永别了，背公式时代！波兰物理学家用一个算子统一数学
2026年4月，波兰雅盖隆大学物理学家安杰伊·奥德尔齐沃莱克发表论文，提出算子eml(x,y) = eˣ − ln(y)，证明不断嵌套此算子可推导出科学计算器上每个按键对应的函数，引发数学界震动。
Agent接管EDA工作流，不只写脚本！浙大打通真实芯片设计闭环
大模型正以Agent形态进入真实EDA工具链。浙大卓成团队构建OpenClaw + FluxEDA联合架构，打通关键链路，解决模型操作真实EDA工具的难题，在多任务中完成连续分析与优化闭环，推动EDA工作流范式转变。
卡奥斯奔赴港交所，工业AI开启新征途｜甲子光年
中国工业互联网迎来智能化加速阶段，卡奥斯递表港交所，为观察工业智能走向产业基础设施提供了样本。它脱胎于海尔，已实现产业规模化落地并盈利，在中国基于平台的工业数据智能解决方案市场位居第一。
ICLR 2026 | 当视频难以被表征：UCSD、HKUST等机构联合提出FlowRVS，用生成式流匹配重构视觉感知范式
计算机视觉领域传统表征方法在视频处理上力不从心，SGIT AI Lab等机构团队提出FlowRVS，跳出传统桎梏，用生成式流匹配重构视觉感知范式，实现SOTA提升，还展现诸多优势，证明Flow Matching理论普适性。
13 vs 3，国产安全AI悄悄完成了对Claude的超越
Anthropic官方披露Claude Code Security定位3个典型0day漏洞，而安恒信息旗下恒脑安全智能体100%复现这3个漏洞，还额外挖出10个全新0day漏洞，展现出强大的AI自主发现能力。