📌 📄 内容摘要:
@ghj 在 AI以后能解决纯数学的证明难题吗 中发帖
比如说证明哥德巴赫猜想之类的一堆人类顶尖数学家几百年无法证明的问题。
数学就是建立在若干公理上，推导出来所有其他定理，是纯粹依靠逻辑的。这里不是讨论的解决计算问题。
似乎现在经验类的问题只要给它输入进去他就可以比较好的应用已有经验了。那么纯粹的逻辑它水平如何呢？
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/858108/1
─────────────────────────────
📢 来源：LINUX DO
