OpenAI数学手稿六条命题完成Lean形式化

OpenAI一份模型生成的数学研究手稿中，六条主要命题已在Lean形式化数学系统中完成形式化，证明仅依赖三条标准公理，读者可通过开源工具Comparator验证。 这些命题的表述与相关标准猜想一致，但目前尚无专家公开评估证明的完整性与正确性，其整体有效性仍待学界进一步检验。

AI 根据报道生成 · 55 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。