OpenAI 官方动态·2026-10-06 20:00· 7 天前AI 评分29

OpenAI 分享 AI 在数学开放问题上的新进展

Sharing AI progress in mathematics

AI 导读

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并公开 Lean 证明形式化及研究细节，相关材料已在 GitHub 上共享。

来源：OpenAI 官方动态 · openai.com

#行业趋势 #AI产业 #AI应用