新浪财经7x24·· 3 小时前AI 评分34
OpenAI 在 GitHub 开源数学研究成果，公开 Lean 形式化证明代码与过程细节
OpenAI： 本次我们将成果发布在 GitHub 代码仓库中，并配套论文修订与引用规范。对于未来的成果发布，我们承诺进一步优化论文质量，完善文献引用、数学表述与成果呈现形式，便于学界理解。 仓库内提供了大量基于 Lean 语言完成的证明形式化代码。为保障科研透明开放，仓库还公开了本次研究的更多过程细节：包含 10 份模型推理摘要、以 ChatGPT Pro 算力为基准的计算资源消耗估算，以及模型尝试求解问题的统计数据。平均每项成果消耗的算力，大致相当于 ChatGPT Pro 三小时深度思考所需算力。
AI 导读
OpenAI 将内部前沿模型得出的一系列全新数学研究成果发布在 GitHub 代码仓库，并配套论文修订与引用规范，发布方式参考了普林斯顿高等研究院数学与人工智能独立顾问组的意见。
来源：新浪财经7x24 · finance.sina.com.cn