AI 数学研究引发根本性质疑

📂 精选资讯 · 📰 Hacker News

IEEE 报道 AI 在数学领域的应用正迫使学界重新审视证明标准。系统如 Lean 能验证人类难以理解的复杂证明，但可能改变数学共同体认知方式。

阅读原文