OpenAI 內部 Astra 解決十項長期未解數學與理論計算機科學問題，並以 Lean 證書形式化
OpenAI 表示，內部版本的下一代模型 Astra 已為十項至少十年未有主要進展的數學與理論計算機科學問題提出新結果，涵蓋高維幾何、編碼理論、群論、算術電路複雜度、量子複雜度、格密碼學與極值組合學。OpenAI 估算，模型尋找這些解答所需的總 token 量，按 Sol API 費率計算約值 2,000 美元。
OpenAI News
完整日報
AI 日報 2026-08-01
57 則值得知道的變化
要聞
3 則密西根州立大學研究警告 AI 可能高信心誤判外星生命：虛擬生物測試準確率 99.97% 仍被假樣本誤導
密西根州立大學（MSU）研究團隊以 Avida 電腦程式建立虛擬生物模型，先訓練 AI 分辨可自我複製與不可自我複製的數位生物，初步準確率達 99.97%。但研究人員持續微調非生命程式碼、製造更逼真的假樣本後，AI 最終幾乎百分之百將這些從未展現複製特徵的樣本判定為生命，顯示模型可能只是在套用訓練資料中的模式，而非理解生命本質。
科技新報 AI
SIGGRAPH 2026時間檢驗獎據報頒給 Taku Komura 團隊，2016年深度學習動作生成研究影響物理 AI
量子位報導，2026年7月召開的計算機圖形學會議 SIGGRAPH 公布時間檢驗獎（Test-of-Time Award），香港大學計算機科學系教授 Taku Komura 與團隊於2016年發表的《A Deep Learning Framework for Character Motion Synthesis and Editing》獲獎；官方資訊未見於本文佐證來源，消息目前仍屬報導性質。
量子位據報導
研究與評測
4 則Andrej Karpathy 提出 LLM Wiki：以攝入時編譯降低高頻查詢成本，但無法取代傳統 RAG
據《AI 科技評論》報導，Andrej Karpathy 於 2026 年 4 月 4 日在 GitHub 發布 llm-wiki 技術 Gist，提出將原始文件預先編譯成結構化 Markdown 維基的架構。
AI 科技評論據報導
研究稱生成式 AI 聊天機器人建立詐騙信任勝過人類：近半受試者接受後續要求
據 Ars Technica AI 報導，印度 Amrita Vishwa Vidyapeetham、義大利 Foscari University of Venice、澳洲 University of Melbourne 與以色列 Ben Gurion University of the Negev 的研究人員，研究生成式 AI 聊天機器人是否能自主完成「殺豬盤」（pig butchering）詐騙中長期建立信任的階段。
Ars Technica AI據報導
文章質疑大型推理模型的思維鏈：推理能力確實提升，但生成文字未必忠實
一篇發表於 Quanta Magazine、由 Hacker News 收錄的文章指出，大型推理模型（LRM）在推理任務上的準確率確實優於一般大型語言模型，但模型生成的思維鏈（chain of thought）未必忠實反映內部運作，也不一定是模型得出答案所必需的資訊。
Hacker News未證實
Reddit 預註冊實驗：同一 4B 模型因 agent harness 設計不同，分類準確率從 60% 到 82%
據 Reddit r/LocalLLaMA 貼文（未經驗證），一項針對「Kubernetes issue → SIG triage」分類任務的預註冊消融實驗，使用同一個 4B 模型、相同的 250 筆標註資料集與評分器，僅改變 agent harness 設計，準確率便在 60% 至 82% 間波動，差距達 22 個百分點；實驗在配備 6GB GPU 的筆記型電腦上執行。
Reddit r/LocalLLaMA未證實