标签
一篇评论文章，讨论了数学家们对 OpenAI 发布的 AI 生成数学证明的强烈反对，认为真正的问题不在于人类没有获得应有的认可，而在于这些证明缺乏可理解性——模型只是封闭了证明，却没有传递推动数学发展所需要的理解。