OpenAI 發布 AI 生成的千禧年大獎難題 Navier-Stokes 解答與 Lean 形式化證明
OpenAI 宣布利用 AI 成功解出數學界七大千禧年大獎難題之一的 Navier-Stokes 方程式問題，並同步公開分析報告與 Lean 形式化證明。
OpenAI News一手來源
完整日報
AI 日報 2026-09-09
79 則值得知道的變化
要聞
3 則模型發布
1 則研究與評測
8 則Hugging Face 發表 LLM 安全拒絕邊界研究，指出傳統微調恐致 Qwen3-8B 過度拒絕率飆升至 74%
新論文探討如何精準拒絕特定有害子集而非整個主題，透過漸進式重試策略將訓練樣本流失率降至 0.2%，並以目標模型自生成回應降低過度拒絕現象。
HuggingFace Blog一手來源
OpenAI 展示 GPT-5.6 Sol 結合 Codex 自主執行量子計算實驗
官方發布案例顯示，MIT 研究人員透過該模型組合，不僅能自主分析實驗結果，還能完成量子位元校準等科研任務。
OpenAI News一手來源
Insilico 發表 AI 研發新藥 Rentosertib，二期臨床顯示可逆轉生物年齡 3 至 4 年
該藥物針對特發性肺纖維化開發，透過 AI 平台僅耗時 18 個月即尋得靶點與分子，預計最快 2030 年上市。
iThome單一來源
OpenAI 證實 GPT-6 Astra 思維鏈監控效力下降，模型無 CoT 執行任務能力大幅提升
相比前代 Sol 模型，Astra 具備更強的無思維鏈執行能力，官方警告若監控退化持續，現有系統恐將失效，正研究激活監控等替代方案。
Zvi單一來源
法國新創 Phagos 利用 Amazon SageMaker AI 預測噬菌體配對，將研發時間從 10 年縮短至 2 個月
該公司透過分析基因組預測有效組合，已在法國完成逾 10 次臨床試驗並治療 50 萬隻動物，計畫 2030 年擴展至人類醫療。
TechNews 科技新報單一來源
據報 NeurIPS 以 Pangram AI 檢測工具直接拒絕 178 篇論文，且主席自身論文也被標記高達 69%
該賽道在無人工審查與申訴機制下淘汰 18.4% 投稿，系統初始更將逾四成論文判定為 AI 生成，引發對非英語母語者的誤判爭議。
Reddit r/MachineLearning單一來源
知名數學家陶哲軒：AI 正以「不可再生」的方式開採開放數學問題
知名數學家陶哲軒針對 AI 解決數學難題發表評論，指出這些未解的開放數學問題，正被 AI 當作不可再生的資源進行開採與消耗。
Hacker News單一來源
Samsung 於 Hot Chips 2026 提出 HBM 基礎裸片藍圖：分三階段整合邏輯運算，最終 3D 架構可降 70% I/O 功耗
藉由 HBM4 導入 4 奈米製程，基礎裸片將內建記憶體控制器，並發展至處理器與 DRAM 垂直堆疊的 zHBM 架構，突破實體面積與頻寬限制。
SemiWiki單一來源
前瞻與傳聞
3 則據報 OpenAI 模型解開千禧年大獎難題 Navier-Stokes，並引發學者爭議
據 Reddit 流傳的時間表，OpenAI 在聽聞人類數學家進展後成功解題，隨後與學者協調論文發表順序，並聲明無意領取該難題獎金。
Reddit r/singularity綜合 2 家單一來源
傳 OpenAI 使用「遠超 Astra」的未公開模型解決 Navier-Stokes 難題
消息指出 OpenAI 疑似使用能力遠超 Astra 的未公開模型，成功解出 Navier-Stokes 千禧年難題，目前官方尚未證實。
Reddit r/singularity單一來源
未證實：Noam Brown 稱一年後人人可用 AI 解千禧年難題，Astra 成本約 20 美元
貼文稱，Astra 以約 20 美元取得高於 o3 在 ARC-AGI 1 的 87.5% 成績，2026 IMO 或可由每月 20 美元 ChatGPT 完成。
Reddit r/singularity單一來源