OpenAI 称用 1 万个 AI 智能体在 88 小时内攻破千禧年大奖难题，学术界掀起数学证明与伦理争议
10,000 个推理智能体协同推导声称给出纳维-斯托克斯方程完整证明并开源 Lean 代码；纽约大学数学家与菲尔兹奖得主陶哲轩表达审慎与争议。
OpenAI 正式发布 ChatGPT Images 2.5：图像生成延迟砍半，新增草图生图与精准文字排版
生图等待时间缩短最多 50%，支持直接上传手绘草图作为结构参考，并彻底解决中英文字符错乱与拼写漂移顽疾。
本期栏目：头条 3 · 研究动态 2 · 工具与产品 3 · 社区热议 2 · GitHub 趋势 2
阅读本期全文 →朱红为有刊日期，点击直达当期；方框为今天。