姚班校友主导，Claude攻克费马大定理首个完整形式化证明

据量子位报道，由姚班校友主导的研究团队宣布，借助AI助手Claude，成功完成了费马大定理的首个完整形式化证明。这一成果标志着AI在高等数学推理方面取得重要进展。过程中，团队运用了名为Harness的辅助工具，在关键时刻挽救了证明流程，确保了证明的严谨性和完整性。该研究展示了人机协作在解决复杂数学问题上的巨大潜力。