2026-01-12
国产大模型编程突围
DeepSeek-V4 春节前后发布，主打长代码生成与理解，内部评测已超 Claude、GPT；叠加清华系数学证明模型 AxiomProver 在普特南竞赛 12 题满分，标志国产大模型在垂直专业领域首次实现全球领先，有望重塑开发者生态与科研范式。
2025-12-26
国产大模型开源与性能突破
通义千问、混元、Seed等国产大模型密集开源或升级：Qwen-Image-Edit解决图像漂移，混元T1-Vis上线，Seed Prover 1.5 IMO夺金，2.6B小参数LFM2在边缘端比肩百亿模型，显示国产模型正快速缩小与国际差距并探索差异化优势。
2025-12-15
AI for Science新进展
陶哲轩团队48小时AI破解50年数学难题、微软5美元病理切片生成免疫图谱登上《Cell》、浙大LamNet加速药物自由能计算，表明大模型与领域知识结合正在重塑科研方法论，显著缩短假设-验证周期。
2025-12-02
AI基础研究与数学突破
AI 6小时破解30年Erdős难题、AlphaFold五年解析2亿蛋白、清华持续学习超网络入选顶会，表明大模型在数学、生物、认知理论等基础科学领域开始产出原创成果，反哺算法创新。
2025-11-29
开源数学大模型突破
DeepSeek连发两篇论文并开源DeepSeekMath-V2，成为首个在IMO 2025夺金的开源模型，打破谷歌OpenAI闭源垄断，验证强化学习+自验证路径，提振开源社区冲击高阶推理。
2025-11-28
国产多模态与数学大模型爆发
DeepSeek-Math-V2 首次以开源身份夺 IMO 金牌，快手 Keye-VL-671B、阿里 Z-Image、智谱清影 2.0 等国产多模态密集发布，性能对标 GPT-4o，标志中国在数学推理与视频/图像生成进入第一梯队。
2025-11-25
AI4S与数学推理突破
GPT-5早期科研版帮助数学家破解Erdős难题、将生物实验推理压缩至分钟级；陶哲轩借助Gemini十分钟攻克连续整数结构难题；吴恩达推出ICLR级论文自动评审Agent。AI正从“聊天工具”升级为“硅基科研员”，显著加速跨学科研究进程，推动科研范式转变。
2025-11-10
中国模型性能登顶
阿里Qwen3-Max-Thinking全球数学竞赛夺魁，月之暗面Kimi K2仅用460万美元训练费刷新“人类终极考试”榜首，文心大模型5.0文本能力LMArena第一，国产大模型进入性价比与性能双领先阶段。
2025-10-29
AI+垂直科学探索
谷歌DeepMind发起“AI for Math”全球联盟，MIT斯坦福GeoEvolve让AI自我迭代做地理科研，北大联合提出PALQO加速量子算法，AI正从辅助工具升级为科学发现合伙人。
2025-10-19
AI数学科研范式革命
GPT-5周末内破解10道埃尔德什百年难题，印证陶哲轩“AI将接管文献与验证”预言，标志数学研究从人脑猜想步入人机共创新范式，基础科学发现速度或指数级提升。
2025-10-12
AI数学与科研范式突破
GPT-5 Pro在11分钟内完成陶哲轩三年未解的微分几何证明，华盛顿大学LLMc以LLM语义理解实现超越ZIP的无损压缩，斯坦福ACE框架用上下文自我进化替代微调，显示大模型在数学、压缩、自适应等科研核心环节的范式级能力跃迁。
2025-10-11
AI科研与数学证明突破
陶哲轩借助GPT-5 Pro在11分钟内完成3年未解的微分几何证明，西湖大学DeepScientist、MIT生成式机器人训练工具等显示大模型正成为科学家标配，推动科研范式从“人脑驱动”迈向“人机共创”。
2025-10-07
AI for Science新范式
AlphaFold病毒结构数据库揭示跨物种保守折叠，AI“学不会”意外成为量子纠缠探针，陶哲轩用GPT-5一小时零代码攻克数学难题，显示大模型已深度介入病毒学、量子物理与数学研究，AI失效模式与交互式推理正成为科学发现的新引擎，推动“AI科学家”走向现实。
2025-10-06
AI+科学计算突破
顶尖数学家陶哲轩借助GPT-5仅用29行Python代码解决长期难题，AI辅助蛋白设计登上Nature Biotechnology，显示大模型在数学推理与生物计算领域开始产出可验证的原创成果，科学发现进入“AI直觉”时代。
2025-09-26
GPT-5与下一代模型突破
OpenAI官宣GPT-5通过“哥德尔测试”并破解数学猜想，同时推出个性化日报功能Pulse；基准显示其在多行业逼近人类专家，预示大模型正从“对话”走向“自主科研与推理”。
2025-09-15
AI科研与数学推理突破
AI高斯Agent三周完成人类18个月才能形式化的素数定理，TiM训练范式兼顾速度与质量，NeuralGCM为3800万农民提供气候预测，显示AI在数学、气候、生物等硬核科研领域正成为“第一作者”。
2025-09-14
科研与数学AI加速
DeepMind AI探测引力波登Science、AI高斯三周解决陶哲轩18个月难题，显示AI在基础科研与数学证明中已从辅助走向主导，加速科学发现周期。
2025-09-04
顶级模型与科研突破
OpenAI、谷歌、DeepSeek等相继释放下一代大模型信号：GPT-5带动Codex用量暴涨10倍并助数学家解决难题，Gemini for Home新形态将登陆Nest，DeepSeek年底拟推“超强AI代理”。IMO金牌被AI两年内攻克、Hinton诺奖演讲再议玻尔兹曼机，均显示基础模型与科学智能正进入加速拐点，为行业树立新性能标尺。
2025-08-24
极限数学与AI基础理论
第六位海狸数刷新不可计算性上限，其值大到宇宙原子总数都无法表示；同期诺贝尔物理奖相关数学难题获中科大少年班成员证明。两项成果共同揭示AI与理论数学交叉前沿，提示大模型能力边界仍受基础数学约束。