#AI辅助证明

AI 辅助数学证明的里程碑案例，做代数几何或组合学的学者值得关注——Co-Mathematician 系统展示了如何与人类协作攻克长期猜想。