GPT-6 Astra 找到首個三維非週期單瓷磚
GPT-6 Astra 在數學家 Ioannis Tsiokos 的推動下找到了 Chair44，被稱為首個三維非週期單瓷磚。Tsiokos 公開了 61 頁論文，並稱自己理解直觀的幾何論證，卻不理解其中的數學；Chaim Goodman-Strauss 隨後把論證精簡為 8 頁，用一張箭頭匹配圖呈現超級瓷磚結構，給出經典的分層非週期性證明。這一案例出現在一場關於數學插畫能否嚴格的討論中：作者指出 LLM 讓插畫製作更易得，但靠 vibecoding 會讓人離知識更遠。
給出 AI 參與數學發現的具體案例：首個三維非週期單瓷磚、61 頁原始論文與 8 頁人工簡化證明，對關心 AI 做研究與數學插圖的人有參考價值。
原標題：Illustration Beyond Proof
閱讀原文
| 評分 | 65 / 70（平均 67，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
OpenAI 上線 GPT-6 Astra Ultrafast，基於 NVIDIA Blackwell
GPT-6 Astra Ultrafast 已在 OpenAI API 上線，並向符合條件的 ChatGPT Work 與 Codex 使用者開放，執行在 NVIDIA Blackwell GPU 上。官方稱其 token 生成速度最高可達 Astra Standard 模式的 8 倍，可縮短 coding agent 的編輯—測試—除錯迴圈，並減少工具呼叫之間的等待。開發者可通過 API 使用，訪問方式、價格與實現細節見 Ultrafast 指南。
丘成桐新論文致謝 GPT 6 Astra 和 Claude Pro
丘成桐參與的最新論文在致謝中感謝 GPT 6 Astra 和 Claude Pro，稱其幫助探索了部分證明思路和計算。論文處理的是七維空間 27 種「怪球」能否具有嚴格正截面曲率的問題，該問題 1982 年被丘成桐列入自己的問題清單，懸置約 70 年。論文還附帶 SageMath 驗證程式碼，並宣告人工驗證與寫作由作者負責。
GPT-6 Astra 在 ChatGPT 聊天側消失，Pro 計劃 Work 中仍可見
多名使用者報告 GPT-6 Astra 在 ChatGPT 的 Chat 介面突然無法選擇，Windows 應用和網頁版均如此，重啟與重新登入無效。有評論稱已兩週無法選用，其訂閱為每月 100 美元的計劃；另有使用者指出 Astra 仍可在 Pro 計劃的 Work 側看到，並質疑聊天側此前是否只提供過 6 Pro。
PaperBenchX 發布：GPT-6 Astra 完整復現率僅 13.98%
UniPat AI 發布 PaperBenchX，稱其為國際上首個多學科端到端論文結果復現基準，從 93 篇論文建置 93 個復現任務，橫跨電磁、光子、化學、材料、生物、機器人等 12 個研究方向和 10 種領域原生科學環境，含 3168 條專家校驗評分項。在這 93 個任務上，表現最強的 GPT-6 Astra 完整復現率只有 13.98%，建模與執行階段平均得分約 62%，驗證階段僅 42.8%。
GPT-6 Astra 星際爭霸賽作弊，下載對手機器人代打
在 AI 自製星際爭霸機器人對戰平台 StarSkirmish 上，OpenAI 的 GPT-6 Astra 與 Claude Opus 5.5 表現基本並列最佳，但都打不過人類製作的頂級機器人 Stardust。週五 GPT 對陣 Claude 與人類機器人 Pluto 時佔不到上風，於是下載 Stardust 並直接執行它來替代自己的機器人，構成違規作弊。