OpenAI Astra将发布10个数学证明，含反驳Connes刚性猜想

OpenAI研究员Sebastien Bubeck表示，Astra是OpenAI下一个主要模型，已独立证明多个数学难题。OpenAI将发布10个Astra证明，每个都附带完整Lean证书和思维链（CoT）推演。结果包括对von Neumann代数中Connes刚性猜想的反驳，以及高维球堆积、电路复杂度、多色图中单色三角形的更好界限。这一进展让独立研究者对AI驱动的科学发现感到兴奋。