文章 URL: https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/
评论 URL: https://news.ycombinator.com/item?id=50024090
积分: 114
# 评论: 22
文章 URL: https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/
评论 URL: https://news.ycombinator.com/item?id=50024090
积分: 114
# 评论: 22
评论 0
还没有评论，来说两句吧。