Lean

条目：6

2026年二月 4 篇

类型	阅读	条目
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究 02-16 自主研究数学 AI
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究 02-15 自主研究数学 AI
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究 02-15 自主研究数学 AI科学家
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究：AI 探索自动化定理证明 02-15 自动化定理证明 AI for Math 形式化验证

2026年一月 2 篇

类型	阅读	条目
[自动] [HACKER_NEWS]	3min	newspaper 🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26 AI 数学证明形式化验证
[自动] [ARXIV]	7min	school 高效定理证明新突破！结构化提示实现少样本学习 🚀 01-25 定理证明 Lean DeepSeek-Prover