据AnthropicAI称，Claude以1300万行Lean代码完成首个费马大定理形式化。

据emollick称，Astra发布含Lean与推理链的10项证明，显示跨领域能力提升。

据@emollick称，Astra以Lean与链式推理完成10项数学证明。

据@gdb称，Astra以约2000美元生成10项含Lean证书的新证明。