2026-10-07

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

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

GPT-5数学与科研突破

OpenAI GPT-5 Pro被曝独立证明新数学定理,读论文后给出更精确边界,总裁称出现“生命迹象”;同时GPT-5在SWE-bench Verified以74.9%得分宣称代码能力全球第一,虽被质疑“跳过难题”,仍预示模型向科研与推理密集型场景渗透,可能重塑学术与工业研发流程。
2024-10-13

AI数学推理突破

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