elvis@omarsar0
53AI 编辑部评分,满分 100
2026-08-02 00:41· 2小时前
跳到正文
AI 摘要

OpenAI 下一代模型 Astra 证明了非 sofic 群存在等多项新数学结果,并发布 10 项完整证明,每项均附带 Lean 证书和 CoT 逐步推演。成果涵盖 von Neumann 代数(推翻 Connes 刚性猜想)、高维球堆积、电路复杂度和多色图单色三角形等方向。

do you all feel that liftoff? being an independent researcher make me feel extremely excited for the future of ai-powered scientific discovery

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...
elvis · @omarsar0 · X·2026-08-02 00:41·2小时前
在 X 看原推· x.com
AI 摘要

OpenAI 下一代模型 Astra 证明了非 sofic 群存在等多项新数学结果,并发布 10 项完整证明,每项均附带 Lean 证书和 CoT 逐步推演。成果涵盖 von Neumann 代数(推翻 Connes 刚性猜想)、高维球堆积、电路复杂度和多色图单色三角形等方向。

do you all feel that liftoff? being an independent researcher make me feel extremely excited for the future of ai-powered scientific discovery

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