AxiomProver自主证明数学猜想并验证

1/ AxiomProver 已解决了数值半群的 syzygies 上的 Fel 开放猜想，自主生成 Lean 中的形式化证明，无需任何人类指导。

这是 AI 系统首次解决理论构建数学中未解决的研究问题并自我验证。