搜索：自动定理证明

「自动定理证明」共找到 910 篇相关文章

解码提速15.1倍、多任务性能不降：复旦&引望WAM-Diff2打通自动驾驶VLA自回归—扩散转换

视觉-语言-动作（VLA）模型是端到端自动驾驶主流技术，但自回归解码架构有瓶颈。复旦大学与引望智能联合提出WAM-Diff2，实现自回归VLA向离散扩散模型迁移，解码加速15.1倍，多任务性能不降。

近日，L4自动驾驶企业中智行破产清算申请被受理。因其付不起1.5万元工资，且涉多件执行不能案、资不抵债。其创始人王劲影响力大，中智行曾转型车路协同，如今却走向破产。

DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。

多所高校研究团队开发出PrimeNash大语言模型智能体框架，能自动推导纳什均衡闭式解析解并生成证明。它模拟人类科研路径，分三模块求解，经经典博弈验证，还在碳市场博弈展现应用潜力。

红杉资本 Julien Bek 文章探讨 AI 将“服务”转变为“软件”趋势。指出下一个万亿美金公司或为“服务”外衣的软件公司，分析智力与判断力、副驾驶与自动驾驶等，还给出机遇地图及典型公司案例。

50年来，顶尖科学家死磕「旅行商问题」等计算机复杂性难题无果。清华姚班陈立杰等人在《Reverse Mathematics Below the Turing Jump》论文中，采用「逆向数学」方法，发现许多理论底层逻辑等价，颠覆千年思维范式。

CutClaw是面向长视频与音乐的端到端自动剪辑系统，可自动解析素材，按文字指令生成踩点短片，部署简单，有短期和长期目标，也给出运行慢的原因与优化建议。

MIT科学家威廉姆斯偶然发现，证明内存比大家认为的更强大，少量的内存与大量的时间一样有价值。他证明存在数学程序，可将算法转换成占用更少空间的形式，成果获好评。

OpenAI研究人员喂给GPT - 5 Pro一篇凸优化问题论文，它读完给出更精确边界及证明。虽成果被人类论文反超，但思路不同，显示其有独立探索能力，OpenAI总裁称这是“生命迹象”。

今天凌晨，Physical Intelligence发布VLA模型π0.7，首次在机器人领域证明组合泛化。它用多样化prompt处理多样数据，涌现多种能力，还证明数据过滤可能是伪问题，架构基于前作，推动VLA回归。