北京大学AI4Math团队用自主构建的AI框架解决了交换代数中的开放问题——安德森猜想，并完成了大规模的形式化验证。该成果不仅解决了具体数学问题，更验证了AI与数学融合的新研究范式。...