日期: 2025 年 6 月 5 日

清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路

作者

清华大学AIM团队推出AI Mathematician（AIM）框架，能够求解前沿理论研究并证明完成度高。通过探索、验证和修正模块，成功解决量子算法问题、吸收边界条件等问题。未来将通过改进机制提升能力。

陶哲轩转发！华人数学博士后反超DeepMind AI，停滞18年数学问题1个月内3次突破

作者

数学家陶哲轩评价AlphaEvolve成果后，人类通过改进和分析方法进一步提升了集合和差问题的下界。Fan Zheng博士引入大偏差估计理论，将θ提升至1.173077；匈牙利数学家Robert Gerbicz则通过添加坐标约束参数，得到超大规模集合，并计算出最优θ值1.1584。陶哲轩认为AI和人类方法可以互补，共同促进数学进步。

产学研深度融合样本：高校教授携手昇腾，共筑AI算力生态基石｜

作者

算力平台崛起承载国家自主可控战略使命。华南理工大学计算机科学与工程学院教授陆璐团队深耕软件体系架构、可靠性保障及AI算力平台性能优化，并在昇腾平台合作中取得显著进展，提升了平台性能并推动了生态繁荣。他强调夯实基础算子库、高效建设算子模板库以及优化AI编译器的重要性，同时指出人才是关键所在。