「自动化数学证明」共找到 1071 篇相关文章
ACL 2026 | 别轻易给AI发「～」，它可能会删掉你的整个主目录
西安交通大学等校团队揭示大模型表情符号语义混淆安全漏洞，用自动化框架测试主流大模型，平均混淆率38.6%，多数混淆响应会“静默失败”，超半数达高危害级别。
实测丨HeyGen开源HyperFrames，让AI Agent用HTML做视频
复杂视频剪辑工具对非专业人士和AI Agent不友好，HeyGen开源的HyperFrames是视频渲染框架，可让AI Agent用HTML做视频。该项目更新频繁，有HTML原生、为AI设计等特点，文末附项目链接。
10 分钟 CLI 化任何网站，AI全网一键调用！
AI Agent上网难，传统爬虫易遇反爬问题。开源项目`bb-browser`通过模拟真实浏览器登录态操作，支持36个平台、103个命令，能绕过反爬，还可在浏览器内运行JS等，在GitHub获4.5k+ star。
告别直接生成，文生图进入Agent时代：港中文联合伯克利开源Gen-Searcher
过去文生图多是‘直接出图’，遇真实世界知识等易翻车。港中文等团队提出Gen - Searcher，让图像生成模型像Agent一样搜索等，数据、模型和代码均已开源，实验显示它提升了生图准确性和质量。
卡帕西630行代码炸出81个智能体，4天协作跑2333次实验，公布预训练十大发现
Karpathy的Autoresearch项目630行代码让AI自主实验，提升语言模型训练效率。全球开发者让多智能体协作，智能体自发形成同行评审制度。项目发起者公布十大发现，还衍生出表现出色的auto - discovery项目。
完全取代Claude Code？OpenAI反击来了，推出Codex app「限时免费使用」
OpenAI推出macOS版Codex应用，反击Claude Code。它有全新交互界面，助开发者管理多AI Agents，支持并行任务。限时内，ChatGPT部分用户可免费使用，速率限制有调整，还具备多种新特性。
如何科学地“设计”SFT 数据？一次关于 ODA 的完整平台级验证
大模型后训练阶段，SFT数据构建常依赖‘直觉’或‘试错’。上海人工智能实验室OpenDataLab团队发布报告，基于OpenDataArena提出新范式，将数据集构建从‘随机艺术’变为‘确定性工程’，并进行平台级验证。
OpenAI 即将发布 Agent Builder，类似扣子、Dify、n8n
据外网爆料，OpenAI 即将于 10 月 6 日 DevDay 发布 Agent Builder，它是工作流自动化工具，有拖拽式画布，能构建 Agent 工作流。对用 OpenAI API 的开发者等是福音，将延伸其平台能力。
美国知名风投 BVP 年度 AI 报告：Memory 和 Context 将是新的护城河
美国知名风投 BVP 发布《The State of AI 2025》报告，研究 20 家 AI 创业公司，梳理 2025 年 AI 创业现状，认为记忆和上下文是新护城河，还对未来趋势如浏览器竞争、视频生成等进行了预测。
隼瞻科技重磅发布DSA处理器敏捷开发平台ArchitStudio，引领RISC-V专用处理器设计革命
第五届RISC - V中国峰会，隼瞻科技发布DSA处理器敏捷开发平台ArchitStudio。它是全栈式平台，集成深厚技术积累，提供完整支持，能解决传统设计痛点，让开发敏捷高效，推动行业发展。