Tibo@thsottiaux
55AI 编辑部评分,满分 100
2026-08-01 22:13· 17分钟前
跳到正文
AI 摘要

OpenAI 下一代模型 Astra 证明了 10 项重大数学成果,包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程,相关细节已发布于官方博客。

The week was for efficiency. The weekend is for 10 major breakthroughs in science.

There will be signs.

Sebastien Bubeckyes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, com...
Tibo · @thsottiaux · X·2026-08-01 22:13·17分钟前
在 X 看原推· x.com
AI 摘要

OpenAI 下一代模型 Astra 证明了 10 项重大数学成果,包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程,相关细节已发布于官方博客。

The week was for efficiency. The weekend is for 10 major breakthroughs in science.

There will be signs.

Sebastien Bubeckyes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, com...
在 X 查看原推x.com