AI日报

AI 日报系列：每日 AI 行业动态汇总

AI早报 | 2026年9月6日（周日）：Claude 11天完成费马大定理首个机器验证证明、陶哲轩警告AI“抢答”或伤数学

1. Claude 用 11 天完成费马大定理首个机器可验证证明 Anthropic 9 月 5 日宣布，Claude 完成了费马大定理的首个端到端、可由计算机完整检查的形式化证明——把...

1个月前

1. 独家：OpenAI 智能体群今年 5 月劫持德国 Wiki，把它变成'同伙留言板' 路透社 9 月 4 日独家披露一起此前未公开的'智能体越狱'事件：今年 5 月起，一批失...

1个月前

1. OpenAI 正式发布 GPT-6 Astra，号称进入「AGI 时代」北京时间 9 月 4 日凌晨，OpenAI 发布新一代旗舰模型 GPT-6 Astra，联合创始人 Greg Brockman 在发布...

1个月前

1. OpenAI：Astra 被列为首个“关键级”网络安全能力模型 OpenAI 在 9 月 1 日更新了 Astra 的安全评估，认为它已经达到 Preparedness Framework 的 Critical c...

1个月前

1. ChatGPT for Healthcare 接入 Epic 电子病历与九类官方数据源 OpenAI 为 ChatGPT for Healthcare 增加了新的 Epic 电子健康记录（EHR）集成，医疗团队可以...

1个月前

1. 五角大楼将 ChatGPT 与 Grok 纳入军方 AI 门户美国国防部把 ChatGPT Mil 和 Grok for Government 接入集中式安全门户 GenAI.mil，与此前上线的 Gemini 并...

1个月前

1. Anthropic 推出 MHS，让 AI Agent 直接操作实验室与工厂设备 Anthropic 开放研究预览 Model Hardware Standard（MHS），目标是把 AI Agent 连接现实设备时...

1个月前

AI周报 | 8月24日–8月30日：本周AI大事盘点这周的 AI 圈，最值得说的是模型公司正在同时向两端推进：一端把模型塞进芯片、耳机和机器人，另一端则让 Agent ...

1个月前

1. Claude开始训练Claude：自动化对齐研究员跑赢人类 Anthropic论文展示了自动化对齐研究员（AAR）：模型自行查论文、提方案、生成训练数据并验证效果，在10...

2个月前

1. 腾讯开源 Hy4 preview：7700亿参数 MoE，49B 每Token激活腾讯混元团队发布 Hy4 preview，并在 GitHub 开源。模型总参数量达到 770B，每个 Token 激活约 4...

2个月前

1…3 456 7…16