AI与数学家全新协作范式：既能独立完成原创猜想证明，也可把人类复杂论文自动翻译成Lean可核验格式，完成动力系统、代数几何经典论文形式化转化。团队免费开源Lean配套工具Axo，降低全球研究者形式化验证门槛。未来研发方向聚焦猜想库自主学习、AI数学文献检索、正反例自动生成，打通完整数学发现工作流。 #一分钟精选视频扶持计划# #科技先锋官# http://t.cn/AXSDaZjb