OpenAI 发布 3 项新进展，其中一项声称证明了所有维度的挂谷猜想

OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了，还配了 Lean 验证文件，能不能站得住就看专家审查了。

AIGCLINK@aigclink11 个信源在谈原文

OpenAI 出了个 GPT-6.1 Terra，API 价格砍了一半，专门跑读发票、填表单、剪视频这类活，成本敏感的可以看看。

Tech in Asia@Aiko Gao Ishida11 个信源在谈原文

OpenAI 把 Codex 这些编程工具合成了一个叫 dots 的常驻助理，能后台替你干活，负责人还聊了产品思路。

techcrunch@Tim Fernholz11 个信源在谈原文

有人让 Claude Opus 5.5 把 OpenAI 三篇难啃的研究直接做成视频讲解，看视频比读论文省力多了，可以学这招。

Tanishq Abraham (论文推介)@iScienceLuvr11 个信源在谈原文

Anthropic 上市文件透露七位创始人人均身家超 130 亿美元，还承诺捐八成股权，治理结构也挺特别，可以看看细节。