2026-01-12
国产大模型编程突围
DeepSeek-V4 春节前后发布,主打长代码生成与理解,内部评测已超 Claude、GPT;叠加清华系数学证明模型 AxiomProver 在普特南竞赛 12 题满分,标志国产大模型在垂直专业领域首次实现全球领先,有望重塑开发者生态与科研范式。
2025-12-15
AI for Science新进展
陶哲轩团队48小时AI破解50年数学难题、微软5美元病理切片生成免疫图谱登上《Cell》、浙大LamNet加速药物自由能计算,表明大模型与领域知识结合正在重塑科研方法论,显著缩短假设-验证周期。
2025-11-28
美国 AI 曼哈顿计划与科研范式变革
白宫启动“US Genesis”计划,举全国之力让 AI 自主提出假设、设计实验并分析数据,意图复制曼哈顿工程速度;AlphaFold 五年破 2 亿蛋白结构,AI 审稿已占 NeurIPS 1.5 万份意见,科研全流程被重塑。
2025-11-25
AI4S与数学推理突破
GPT-5早期科研版帮助数学家破解Erdős难题、将生物实验推理压缩至分钟级;陶哲轩借助Gemini十分钟攻克连续整数结构难题;吴恩达推出ICLR级论文自动评审Agent。AI正从“聊天工具”升级为“硅基科研员”,显著加速跨学科研究进程,推动科研范式转变。
2025-11-18
AI科研自动化突破
Sakana AI“AI科学家”可自主提出假设、做实验并撰写论文,12小时完成半年科研任务,准确率79.4%;Transformer作者创业团队揭示RLVR稀疏更新机制。AI正从科研辅助转向“共同作者”,加速科学发现范式变革。
2025-10-26
AI算法自我进化
伯克利ADRS系统让AI 5小时自研MoE训练算法,速度提升5倍、成本降26%,标志算法发现进入“无人区”,科研范式从人类设计转向机器自主迭代,将重塑算力与模型经济。
2025-10-21
AI for Science工具化
MIT CRESt、哈佛ToolUniverse、Anthropic Claude for Life Sciences等把大模型变成“AI科学家”,90天完成3500次电化学实验,操作600+工具,催化、天文、蛋白降解数据库全面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-09-15
AI科研与数学推理突破
AI高斯Agent三周完成人类18个月才能形式化的素数定理,TiM训练范式兼顾速度与质量,NeuralGCM为3800万农民提供气候预测,显示AI在数学、气候、生物等硬核科研领域正成为“第一作者”。
2025-09-12
AI for Science与科研新范式
AI共同科学家平台成功预测噬菌体跨菌种传播机制;清华MIT提出AI+规划师新范式,城市规划效果超越90%人类专家;Thinking Machines Lab首发长文攻克LLM推理不确定性,显示AI正从辅助工具升级为科研合作者。
2025-08-18
AI+科学新发现
AI开始反哺基础科学:斯坦福&DeepMind解析大模型推理机制;AI纠正等离子体理论多年错误假设;虚拟细胞模拟将药物研发效率提升数倍;谷歌Genie 3实时生成可交互4D世界模型。科学计算与数据驱动的“AI科学家”模式正在成形,预示科研范式升级。
2025-08-16
AI for Science突破
AI预测核聚变点火成功率超70%,潘建伟团队用AI在60毫秒排布2024个原子,GeneAgent自验证助力基因集分析,显示AI正成为基础科研不可替代的新生产工具。
2025-08-05
AI跨界科学研究新范式
Nature发表首个AI生成基因编辑器,脱靶率更低;浙大阻变存储器图网络高效模拟离子电子作用;字节Seed-Prover在IMO难题上达78%正确率,显示AI正成为生物、化学、数学等基础研究的“自动驾驶仪”,加速科学发现进程。
2025-07-14
AI for Science再迎里程碑
谷歌AlphaEvolve 30天攻克18年数学难题,Chai-2把抗体设计成功率从0.1%提到16%,MIT/剑桥/Meta推出统一扩散框架ADiT实现任意原子系统生成。AI正从“辅助”走向“主导”科研,重塑数学、生物医药与材料发现的方法论。
2025-07-07
AI for Science 应用爆发
ChatGPT破解十年基因突变谜团、AI发现隐藏心脏病风险、机器人生物学家自主设计实验,显示大模型在医疗、生物、材料等科研领域开始产生超越专家的准确率,加速科学发现范式转变。
2025-04-14
AI深入科研与教育场景
英伟达14B模型斩获AI奥数冠军,清华推出AI辅修学位,北大发布基因挖掘大模型SYMPLEX,AI与蛋白质、酶动力学、材料发现结合取得新进展。AI正成为科研“标配工具”,推动科研范式从“假设驱动”走向“数据驱动+AI猜想”。
2025-03-01
AI for Science热潮
清华孙茂松院士等专家疾呼抓住AI4S时间窗口,李国杰院士七问DeepSeek,探讨大模型在科研中的算法创新、数据治理与跨学科合作,预示科研范式变革临界点。