←返回首页

话题 · Topic

#Lean

共 3 条相关资讯

2026.09.23 · 周三研究论文

Lean Pool：用 AI 智能体维护的形式化数学档案

2026.08.28 · 周五研究论文

FormaTheoria 七个月完成四个关键定理形式化

2026.07.03 · 周五行业动态

OpenAI 模型破解 80 年悬案：AI 重塑数学研究范式