清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明 清华大学科研团队利用自主研发的AI数学家系统（AIM），通过人机协作成功解决了一项均匀化理论研究问题，完成了约17页的数学证明。这一成果验证了AI从“解题工具”升级为“科研伙伴”的可行性，为复杂数学问题的突破提供了新路径。 近年来，A...