2025-12-02
AI基础研究与数学突破
AI 6小时破解30年Erdős难题、AlphaFold五年解析2亿蛋白、清华持续学习超网络入选顶会，表明大模型在数学、生物、认知理论等基础科学领域开始产出原创成果，反哺算法创新。
2025-06-07
数学与科学AI新工具
腾讯AI Lab与上海交大推出12.1万高难度数学题数据集，训练7B模型定理证明性能媲美Claude3.7；ICML 2025入选的CGFlow实现分子与合成路径协同设计，为AI驱动数学研究与新药发现提供强力工具。
2024-07-21
数学AI与竞赛生态
中国队IMO五连冠被美终结，陶哲轩为AI数学挑战团队颁奖并倡议打造“数学ImageNet”，预示AI在定理证明、自动解题等方向将复制ImageNet式突破，数学或成AI下一个竞技与数据高地。