Astra发布10个形式化数学证明

Astra展示10项带Lean证书和推理 walkthrough 的数学证明成果。

推荐理由：关键不在“AI做数学”口号，而是给出Lean证书与完整推理链，覆盖算子代数、球堆积和电路复杂性，若可复验，说明模型正进入可审计科研产出阶段。