Math作为基础学科,正在与人工智能技术深度融合,成为AI能力突破的重要领域。近期,OpenAI发布了722篇由内部前沿模型产出的新数学成果,解决了数百个开放问题。
math
general · First seen 2026-05-22 · Last seen 2026-10-22 · 238 mentions
Overview
Coverage
10 on file- Perplexity 与 NVIDIA 发布 JOLT:师生一体的后训练强化学习方法marktechpost
- Axiom Math 让 AI 用机器可验证的代码写数学证明CoreWeave
- 研究:GEPA 与 SkillOpt 在 DeepSeek V4 Flash 和 Qwen3.8-27B 本地部署上的效果差异arXiv: DeepSeek
- GraphEvoResearcher:图结构自反思推理,多跳问答准确率最高达 98%arXiv: DeepSeek
- Reasoning From Scratch 第 8 讲:用蒸馏替代强化学习训练推理模型Sebastian Raschka
- SAIR 推出 Open Math OS,为数学社区打造专用 AI 基础设施Thomas Wolf
- 模型做研究数学的方式:写脚本搜索大空间,靠 ICL 配 oracle 验证Teortaxes
- 从 OpenAI 发布的 722 篇 AI 数学稿中挖掘新数学工具arXiv: OpenAI
- Sebastian Raschka 第二讲:手把手用 GRPO 从零训练推理模型Sebastian Raschka
- OpenAI 在 GitHub 开源 math 仓库AI Will