2025-09-15
AI科研与数学推理突破
AI高斯Agent三周完成人类18个月才能形式化的素数定理，TiM训练范式兼顾速度与质量，NeuralGCM为3800万农民提供气候预测，显示AI在数学、气候、生物等硬核科研领域正成为“第一作者”。
2025-09-14
科研与数学AI加速
DeepMind AI探测引力波登Science、AI高斯三周解决陶哲轩18个月难题，显示AI在基础科研与数学证明中已从辅助走向主导，加速科学发现周期。
2025-06-08
AI数学与科研逼近天才
30位顶尖数学家在UC伯克利秘密测试OpenAI o4-mini，集体破防承认AI已接近数学天才水平；同期230页证明实现阿贝尔曲面镜像通道二维破壁，显示AI在纯数学研究中的创造力进入新阶段。
2024-12-22
数学与基础理论发现
中外数学家合作发现素数计数新方法，证明特定形式素数无限，引发 AI 辅助数学研究的新讨论；同时霍普夫分岔理论回顾凸显非线性动力学在复杂系统中的持续价值。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。
2024-05-24
AI数学与猜想生成
AI在椭圆曲线复杂度预测上超越人类并自动生成新猜想，克雷研究所百万美元难题或迎AI挑战，数学研究范式从证明走向“猜想-验证”协同。
2024-04-23
AI for Math与数学推理数据
陶哲轩发布AI数学资源清单，汇总OpenWebMath、Proof-Pile-2等高质量数据集，为训练专用数学大模型提供燃料，有望加速自动定理证明、科学计算与下一代科学大模型突破。
2024-04-09
AI颠覆数学研究范式
菲尔兹奖得主陶哲轩等领衔的《美国数学学会通报》特刊集中发表11篇论文，系统展示大模型在猜想生成、证明辅助与形式化验证中的突破性应用，预示AI将重塑数学发现与验证流程。