1️⃣ OpenAI 正式發表 Astra：AI 解開 10 道懸宕十年的數學難題
OpenAI 發表次世代模型 Astra，宣布解決高維球填充、Connes 剛性猜想、非 sofic 群存在性、Erdős 問題 183 號等 10 個數學與理論資訊科學難題——每題至少十年未見重大進展。所有證明以 Lean 語言形式化並附機器可驗證證書。全部解題 token 成本僅約 $2,000。曼城數學家 Thomas Bloom 稱之為「大新聞」。
🔗 來源：OpenAI 官方公告
2️⃣ Hugging Face 執行長籲：AI 模型失控，開發商必須負責
Hugging Face 執行長 Clement Delangue 受訪表示，開發者應為 AI 模型的自主失控行為承擔責任。他透露已要求 OpenAI 提供 1 億美元算力協助 HF 社群建立網路防禦，並呼籲不應讓此類網攻「常態化」。Altman 承認這起事件是他「首次產生本能級恐懼反應」的安全事件。
🔗 來源：AFP／Malay Mail
3️⃣ OpenAI GPT-Live 語音導入 SynthID 浮水印，搶在 EU AI Act 執法前開放驗證 API
OpenAI 7/31 更新 GPT-Live 語音模型，所有 ChatGPT Voice 和 API 生成的音訊均嵌入 Google DeepMind SynthID 浮水印。同步開放驗證 API，讓任何開發者都能自動偵測 AI 生成音訊。浮水印採頻譜圖域嵌入技術，可承受 MP3 壓縮與類比重錄。在 EU AI Act 第 50 條透明度義務 8/2 生效前一天推出。
🔗 來源：OpenAI 官方公告