搜索
OpenAI 发布数百份 AI 数学证明 数学家需梳理验证相关成果
1 小时前
OpenAI一次性公开了722份涵盖17个数学领域的难题证明手稿，其解题成本显著降低，在数学界引发震动。然而，这些AI生成的证明虽能通过机器验证，但多数难以被人类理解，甚至存在因符号错误导致多篇结论失效的问题。数学家们担忧，随着AI快速生成大量证明，后续的梳理、验证和解读工作将全部由人类承担。此外，当前AI多依赖已有知识组合解题，难以产生数学研究所需的新思想和新工具。长此以往，人类对数学证明的解读动力将减弱，可能形成理解障碍，阻碍文明发展，违背科学探索的本质。
