OpenAI 盘点 AI 在数学与理论计算机的十大进展
milkshakes · hn · 2026-08-01
OpenAI 官方发布长文，系统总结了人工智能在数学和理论计算机科学领域取得的十项重要进展。文章详细阐述了相关 AI 模型如何逐步攻克复杂数学推理与高级定理证明，展示了 AI 在前沿基础科学探索中的潜力与最新技术突破。
「研究」频道最新
- MIT AI 模型解码细胞通信语言，瞄准再生医学 — emmanuelvivier · 2026-10-16
- 视觉预训练模型做触觉预测有多难?机器人研究者激辩跨模态迁移 — KyleMorgenstein · 2026-10-16
- Tsallis 熵正则化最优 transport 统一 Monge 与 Sinkhorn 两大框架 — FrnkNlsn · 2026-10-16
- EPFL/DeepMind 研究者将线上讲解 Simplex Diffusion Models 论文 — ArnaudDoucet1 · 2026-10-16
- 美团 LongCat 团队发布 Data World：合成数据环境训练数据智能体 — meituan-longcat · 2026-10-16
- FDE-Gym 基准曝光 AI 交付最后一英里：前沿模型得分最多 0.56 — DeepLethe · 2026-10-16