OpenAI Astra 被曝在数学开放问题上取得突破，形式化验证、科研 Agent 与企业应用共同说明，AI 竞争正在从单点能力展示走向可验证的复杂任务系统。

Stripe 投资 5 亿美元成立非营利组织 Intercept，并把 Anthropic、OpenAI 基金会等机构拉到同一张桌上，目标指向一个听起来很大胆、但商业账本又非常现实的问题：用 AI 辅助研发广谱药物和空气...