真理能否经受住未来的考验？论机械化证明的可能未来
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
一篇题为《真理能否经受住未来的考验？论机械化证明的可能未来》的文章探讨了机械化证明的未来走向。文章发布在 khoury.northeastern.edu，并在 Hacker News 上引发讨论。
来源：khoury.northeastern.edu（经 Hacker News） · khoury.northeastern.edu
本站未展示全文，请前往来源网站阅读。
一篇题为《真理能否经受住未来的考验？论机械化证明的可能未来》的文章探讨了机械化证明的未来走向。文章发布在 khoury.northeastern.edu，并在 Hacker News 上引发讨论。
来源：khoury.northeastern.edu（经 Hacker News） · khoury.northeastern.edu