清华大学成立丘成桐数学与人工智能实验室联盟，推动数学与AI融合
清华大学成立数学与人工智能实验室联盟，重点推进数学科学专用大模型、AI辅助形式化证明与猜想发现，以及可解释人工智能等研究。在一项关于七维同伦球面的研究中，AI被用于探索证明策略、简化计算，计算代数系统则负责核验结果；数学论证和证明仍由研究人员完成。据介绍，联盟已汇集来自多家机构的1000余位数学家和科研工作者。
本文来源：IT之家，仅供学习参考，版权归原作者所有。