我还在……只是不在这里写了
文章链接：https://rachelbythebay.com/w/2026/10/08/idle/ 评论链接：https://news.ycombinator.com/item?id=50024108 点数：21 评论数：3
全部文章
技术文章、教程与实践经验分享
数学家应该了解的 Lean Theorem Prover：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean Theorem Prover：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解 Lean 定理证明器的哪些方面：可靠性与 AI
请提供需要翻译的英文正文内容。当前只给出了 Article URL 和 Comments URL，没有可翻译的文本。
数学家应该了解 Lean Theorem Prover 的哪些方面：可靠性与 AI
文章 URL：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章 URL：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean Theorem Prover：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解关于 Lean 定理证明器的哪些事：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解 Lean Theorem Prover 的哪些方面：可靠性与 AI
文章 URL：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-…