热点
"LeanAgent" 相关文章
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
智源社区 2024-10-13T14:54:31.000000Z
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories
MarkTechPost@AI 2024-10-11T21:06:11.000000Z