OpenAI公开722份数学难题证明，涉及17个领域

近日，OpenAI一次性公开722份数学难题证明手稿，成果覆盖17个数学领域。相关证明整体解题成本低于以往，并可通过机器严格验证。 不过，这些由AI生成的证明大多难以转化为人类易于理解的知识，实践中还出现因单个符号错误导致多篇相关结论失效的情况。数学界担忧，随着AI批量产出证明，后续的梳理、验证和解读工作将更多由人类研究者承担。 业内专家认为，现阶段AI主要通过调用已有知识进行逻辑组合，较难形成数学研究所需的新思想和新工具。若这一趋势持续，人类研究者解读相关成果的动力可能减弱，并在人与AI之间形成理解障碍。