🚀 PSI称AI系统给出猜想机器验证证明，Reddit热议多款AI模型发布延迟
⚡ PSI 称其 AI 系统找到 Aaronson-Ambainis 猜想的机器验证证明并通过 Lean 审核，Ai2 开放机器人仿真，Botpress 曝出客户工作区配置被读取，成立仅三个月的 Tenspresso 估值冲上五亿美元，AI 正同时攻向数学证明、机器人、芯片与安全漏洞。
基础模型发布节奏明显放缓，但AI的价值正加速向两端迁移：一端是PSI借助大模型完成数学猜想的机器证明，显示智能深度仍在突破；另一端是Tenspresso等芯片新创以更高估值入场，试图以更长上下文等差异化设计重构算力基础设施。两者放一起看，行业重心正从单纯追逐模型版本号，转向底层硬件创新与上层科学能力的双线竞速。
PSI称AI系统给出猜想机器验证证明，Reddit热议多款AI模型发布延迟
JustSayAI
今日 Top 3 头条
- AI与量子计算
🤖 PSI借助Anthropic模型完成Aaronson-Ambainis猜想机器验证证明
PSI披露，其基于Anthropic模型的AI系统完成了Aaronson-Ambainis猜想的机器验证证明。这对AI辅助数学研究意味着，大语言模型在形式化证明与量子计算基础领域的能力边界正被快速推前。
来源 ↗ - AI行业新闻
🤖 GPT-6.2、Fable 5.5、通义千问4集体延期，Gemini 4与GPT 6.1 Terra在推进
Reddit 热议 GPT-6.2、Fable 5.5、Qwen 4 等多款模型发布延期，同时传出 Gemini 4 与 GPT 6.1 Terra 的进展消息。对开发者意味着选型节奏被打乱，短期应绑定已上线版本并预留迁移方案。
来源 ↗ - 人工智能
🤖 Ai2发布ToyBlocks，开放机器人仿真并追踪学习失败
Ai2推出FoundationWorlds框架首个环境ToyBlocks，把开放机器人仿真、生成演示、两个训练模型与评估工具打包在一起。对机器人学习研究者意味着实验更易复现，失败案例也能被系统追踪。
来源 ↗
+5 条头条
- 🤖 成立3个月估值上看5亿美元，前Google团队AI芯片新创Tenspresso募资5000万
- 🛡️ Botpress 披露内部入侵：16 个客户工作区配置被读取
- 🤖 英矽智能开源Longevity Grok：30个AI代理管理长寿健康记录
- 🤖 AI代理奖励问题：强化学习追求奖励却难达设计者意图
- 🤖 AI"共享大脑"切入细胞培养，助多实验室协同提效