OpenAI 官方动态·· 28 days agoSelectedAI score76
OpenAI 分享数学前沿研究进展并开源 Lean 形式化证明
Sharing AI progress in mathematics
Not yet translated; shown in Chinese.
AI guide
OpenAI 公布了内部前沿模型在数学公开问题上的最新研究成果。团队已在 GitHub 上开源相关的 Lean 证明形式化代码与具体研究细节。
Why it matters
官方公开了内部前沿模型解决数学难题的成果与形式化证明，为评估大模型在严谨数学推理中的边界提供了可验证样本。
Source:OpenAI 官方动态 · openai.com