Astra模型证明多个数学难题，发布10个Lean证明

RT @SebastienBubeck：是的，非同余群存在：这一陈述是Astra（我们的下一代主要模型）证明的许多新优美结果之一。我们正在发布10个这样的Astra证明，每个都附带完整的Lean证书和CoT演练。这些结果范围广泛，从冯·诺依曼代数（否证Connes刚性猜想）到高维球堆积的更好界限、电路复杂性、多色图中的单色三角形等等。更多想法见：https://t.co/8SjXONeh38