「AI自主迭代」共找到 10061 篇相关文章
刚刚，Anthropic开源Claude挑战黎曼猜想的4篇论文
Anthropic开源未公开版本Claude挑战黎曼猜想的4篇论文。Claude虽未证出猜想，但将零点在临界线上的比例下界从41.6%推到67.2%。整个过程由多智能体自主完成，还建立严格验证体系。
重建安全，Kai种子轮拿了1.25亿美元，有点象龙虾
大模型用于网络攻击，传统安全跟不上节奏。初创公司Kai首笔融资1.25亿美元，它从根本上重建安全，用单一智能体AI平台自主完成安全工作，愿景是整合网络安全和IT功能。
比思维链准43%！逻辑脑+大模型直觉，推理可靠性大幅提升
中德研究团队发布成果，给大模型外挂「逻辑脑」，结合答案集编程与LLM，构建神经 - 符号框架，提升空间推理准确率，让AI能说清逻辑、跨任务迁移，迈向更可靠的通用推理。
748GB内存、20P算力，英伟达把数据中心塞进了桌子底下，第一台已经送到Karpathy家里
英伟达DGX Station GB300首批系统交付开发者，首台给了Andrej Karpathy。它有748GB内存、20P算力，用GB300芯片架构。背后是长时运行自主智能体开发需本地算力，英伟达从软硬层面推进。
养虾时代终结？免部署、7×24小时在线、自进化的“赛博骡子”来了！
全球首个自进化个人AI——MuleRun（骡子快跑）正式发布，免部署、7×24小时在线、可自主进化。它适配个体需求、实现群体智慧共享，能完成多类任务，还保障安全、提供售后。
独家丨智驾老将佟显乔再创业，聚焦机器人数据方向
AI科技评论独家获悉，前卡睿智行创始人佟显乔2025年5月创立深圳极数迭代科技有限公司，聚焦机器人数据。该公司另一股东关联港中深，这是佟显乔与港中深在该领域的深度合作。
OpenClaw爆火，暴露12类致命隐患！MCP协议安全基准发布 | ICLR
OpenClaw等开源AI Agent项目爆火，MCP协议拓宽其能力也增大攻击面。北京邮电大学团队推出MSB安全基准，揭示MCP各阶段攻击有效，性能强的模型更易受攻击，还提出NRP指标平衡安全与实用性。
SafeHarness：告别防御盲区，为智能体Harness穿上「全生命周期安全护甲」
在自主AI智能体生态中，Harness是核心组件却易成攻击目标。中国科学院信息工程研究所等推出SafeHarness框架，将防御机制融入智能体Harness运行生命周期，解决现有安全工具缺陷，实现系统级协同防御。
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
The Batch: 921 | 美国战争部弃用 Anthropic，转而拥抱 OpenAI
OpenAI与美国战争部达成协议，为其提供能处理机密信息的AI系统，取代Anthropic Claude。此前Anthropic因限制技术用于军事监控和自主武器，与白宫对峙，被列为供应链风险，Anthropic将起诉政府。