2026-10-07

AI for Science与基础科研范式突破

人工智能正重塑数学与物理基础研究范式。OpenAI一次性放出722篇数学成果,涵盖准黎曼猜想等顶级难题,并在纳维-斯托克斯方程上取得突破;xAI联创宣称数学英雄时代终结。青少年AI科学教育计划的兴起,也预示科研人才培养向AI原生转型。
2024-10-13

AI数学推理突破

清华校友团队用LeanAgent系统成功证明162个高阶数学定理,攻克陶哲轩形式化难题;同时o1模型在复杂推理任务上再进化,显示大模型数学与逻辑能力正快速逼近甚至超越人类专家,为科研自动化打开新范式。