08:05The Rundown AI@therundownaiOpenAI 在数学领域取得突破,破解了一个困扰学界 80 年的数学猜想,展示了 AI 在基础科学推理上的潜力。Google 的 AI Co-Scientist 系统开始进入实验室实际应用,辅助科学家进行实验设计。此外,Anthropic 推出 Claude 上下文审计功能,帮助用户了解 AI 如何理解自己的工作。Emergence 公司发起五镇 AI 对齐挑战赛,探索多智能体协作中的价值观对齐问题。本周还有 4 款新 AI 工具和社区工作流发布,值得关注。行业OpenAIGoogleAI Co-Scientist数学推理AI对齐10 个信源在谈推荐理由:数学和科学研究者会看到 AI 如何从工具变成合作者——OpenAI 的突破和 Google 的实验室应用都指向同一个方向:AI 正在改变科研范式,做基础研究的团队值得跟进。原文