2026-09-05

AI驱动基础科学突破

AI在数学和材料科学领域取得重大进展:Claude完成费马大定理首个完整形式化证明,元代理架构AI将黎曼猜想推至理论边界99.55%,同时AI实现原子级自动化构建人造石墨烯,展现AI解决复杂科学问题的巨大潜力。
2026-07-28

AI for Science与科研新范式

GPT-5.6 Sol连续33小时攻关费马大定理,DeepMind、斯坦福等推动AI自主科研Agent进入生物医学与数学领域;厦大团队实现论文自动转可运行代码。科学发现正经历从"辅助工具"到"自主研究者"的关键范式跃迁。
2024-05-03

AI科学计算突破

谷歌SEEDS生成式天气预报登Science子刊,用AI集合预测替代昂贵物理模拟;数学家受陶哲轩启发用AI形式化费马大定理证明,展现生成式方法在气象与形式证明中的跨学科潜力。