OpenAI下一代Astra攻克十项数学开放难题：2000美元成本、249页论文、Lean4形式化验证

OpenAI披露下一代模型Astra内部版本在高维几何、群论、格密码学等领域取得10项新研究结果，包括构造非sofic群、推翻Connes刚性猜想、解决三个Erdos问题等；全部解法token成本约2000美元，论文249页，证明均用Lean4形式化验证并开源。