2025-12-15
AI for Science新进展
陶哲轩团队48小时AI破解50年数学难题、微软5美元病理切片生成免疫图谱登上《Cell》、浙大LamNet加速药物自由能计算，表明大模型与领域知识结合正在重塑科研方法论，显著缩短假设-验证周期。
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-08-24
极限数学与AI基础理论
第六位海狸数刷新不可计算性上限，其值大到宇宙原子总数都无法表示；同期诺贝尔物理奖相关数学难题获中科大少年班成员证明。两项成果共同揭示AI与理论数学交叉前沿，提示大模型能力边界仍受基础数学约束。
2025-08-05
AI跨界科学研究新范式
Nature发表首个AI生成基因编辑器，脱靶率更低；浙大阻变存储器图网络高效模拟离子电子作用；字节Seed-Prover在IMO难题上达78%正确率，显示AI正成为生物、化学、数学等基础研究的“自动驾驶仪”，加速科学发现进程。
2025-06-08
AI数学与科研逼近天才
30位顶尖数学家在UC伯克利秘密测试OpenAI o4-mini，集体破防承认AI已接近数学天才水平；同期230页证明实现阿贝尔曲面镜像通道二维破壁，显示AI在纯数学研究中的创造力进入新阶段。
2025-06-01
AI数学协作连破纪录
DeepMind AlphaEvolve与陶哲轩等顶尖数学家一周内两次刷新18年未破的数学极值纪录，并同步开源形式化习题集，验证“AI广度扫描+人类深度优化”的协作模式，预示AI4Science进入加速期。
2025-05-31
AI for Science基础设施升级
智源大会聚焦“自主智能体+科学共生”，DeepMind开源数学证明习题集，三组分微反应数据集规模刷新纪录，科学智能大赛首次设中学生赛道，产学研联动为AI驱动科研提供标准、数据与人才三重底座。
2025-05-24
大模型数学推理突破
强化学习驱动的矩阵乘法新算法刷新世界纪录，40位数学家与o4-mini-medium对垒6队败北，60年未解难题被牛津博士生攻克，显示AI在抽象数学推理与符号证明上的跨越式进展，为科学计算、密码学等底层领域带来范式变革。
2025-05-03
数学与科学推理突破
DeepSeek-Prover-V2在普特南测试一举解答49题，7B小模型竟自学出671B巨模型未掌握的定理技巧；北大PHYBench同时揭示大模型物理推理短板，推动“学思结合”新训练范式。两项进展标志AI正向严谨科学领域深度渗透，为自主发现新知识奠定算法基础。
2025-04-15
AI+科学研究新范式
AI首次完成50年未解的非平凡数学证明，诺奖得主称AI一年可完成“10亿年博士研究”，谷歌Gemini 2.5编程霸榜，显示大模型在数学、代码、蛋白质组学等科研领域成为“加速引擎”，科学发现进入AI协同时代。
2024-11-24
大模型推理与逻辑突破
GPT-o1、DeepSeek R1-Lite、Marco-o1 等新模型将推理阶段计算推向台前，数学证明、开放式问答、逻辑推演等任务精度显著提升，标志 LLM 正从“预训练”转向“推理时计算”新范式，为 AGI 铺路。
2024-10-19
多模态与数学难题突破
Meta、清华等团队用Transformer解决132年三体稳定性判定，提出Symbolic Transformer发现全新李雅普诺夫函数；同时IterComp框架融合Flux、SD等模型优势，推出超越Flux的文生图系统，显示基础模型在数学证明与跨模态生成上的双重跃迁。