搜索：自动定理证明

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

支持5000+ Server，ScaleMCP为大模型Agents动态同步MCP工具

现有工具选择框架未整合MCP服务器，存在重复、不一致和低效问题。普华永道提出ScaleMCP，配备MCP工具检索器，还提出TDWA嵌入策略，通过实验证明其提升了LLM代理性能。

现在制作完整AI短剧流程繁琐，很多团队是小作坊式生产，效率低且难规模化。OpenStory开源项目站在成熟AI服务肩上，将AI短剧制作工业化，能把剧本变成风格统一的视频作品，解决诸多痛点。

IPO敲钟前夜，斯坦福经济学教授Charles I. Jones（Chad Jones）将加入Anthropic研究所。该公司正组建‘政经智囊团’，因民调显示64%美国人恐慌AI夺饭碗，需Chad Jones用经济学模型应对。

Claude Code上线官方安全插件security - guidance，能在写代码时自动识别并修复安全漏洞。它分三层防线，覆盖多种漏洞类型，还支持自定义安全策略，安装方便，但只是辅助工具。

复旦、创智联合推出RSAgent，让多模态大模型通过多轮工具调用生成准确掩码，解决视觉分割难题。该工作入选ICML 2026，实验显示其在多个测试集上表现领先，还展示了从‘看图问答’到‘视觉行动’的路径。

1人AI公司Polsia引发大量质疑，有人认为它是“垃圾产品”，指出其ARR统计、客户流失率等问题。但它刚完成3000万美金融资，估值达2.5亿美金，网站月流量超100万。

理想汽车在成立的十一年里，擅长将复杂技术与家庭出行需求对齐。2026年，理想不再满足于打造更好的家庭车，提出造能感知、思考、行动、反馈的硅基生命体。李想提出具身智能上下半场论，理想重构研发体系，以造人方式造车。

上交大与 vivo 团队提出 C²FG 方法，针对当前 diffusion 模型缺稳定可控生成机制问题，通过 score 差异实现动态引导控制。实验显示，该方法能提升多维度指标，改进生成分布，揭示生成机制新方向。

作者受Karpathy的autoresearch启发，开发了达尔文.skill系统，可自动评估和优化skill。它有五条原则、八维度评分体系，能批量解决skill质量问题，与Anthropic官方工具互补，现已开源。

谷歌推出多智能体协作框架PaperOrchestra，能将非结构化研究素材转化为符合顶会要求的LaTeX投稿论文。它解决了现有自动化研究框架在论文写作环节的问题，实验显示全面超越现有基线。