OpenAI 官方动态·· 13 小时前精选AI 评分76
OpenAI 分享数学前沿研究进展并开源 Lean 形式化证明
Sharing AI progress in mathematics
AI 导读
OpenAI 公布了内部前沿模型在数学公开问题上的最新研究成果。团队已在 GitHub 上开源相关的 Lean 证明形式化代码与具体研究细节。
推荐理由
官方公开了内部前沿模型解决数学难题的成果与形式化证明，为评估大模型在严谨数学推理中的边界提供了可验证样本。
来源：OpenAI 官方动态 · openai.com