数学家利用AI辅助校验已发表论文

发生了什么

据Proofs and Prompts报道，数学家Alonso Castillo-Ramirez通过使用ChatGPT 5.6 Sol对数十篇已发表论文进行校验，成功检出五处真实错误。该研究指出，AI在识别数学论文错误方面具有潜力，能显著缩短人工核查时间，但其局限在于无法提供类似Lean形式化验证的确定性。作者建议期刊在论文提交阶段引入AI校验，并建立公开的错误记录机制以完善数学文献的校验流程。