丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合

清华成立丘成桐数学AI实验室联盟，推动大模型与数学研究结合。OpenAI月初公开722篇数学手稿解决多项难题，给数学界带来冲击。AI辅助数学证明从概念走向实践，但学术界对其可信度和生态影响存在争议。

AI 点评

清华成立丘成桐数学AI实验室联盟，推动大模型与数学研究结合。OpenAI月初公开722篇数学手稿解决多项难题，给数学界带来冲击。AI辅助数学证明从概念走向实践，但学术界对其可信度和生态影响存在争议。