🚀 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"共享大腦"切入細胞培養，助多實驗室協同提效