Astra证明十个数学进展

内部版Astra据称以约2000美元API成本产出十项数学和理论计算机科学证明。

推荐理由：关键在于“Lean证书+CoT walkthrough”把模型证明从文本说服推进到可验证产物；若十项结果经同行确认，2000美元级成本会显著压低形式化数学探索门槛。