7x24小时全球实时财经新闻直播

你永远在大事现场

2026-10-07 06:28:30
OpenAI: 本次我们将成果发布在 GitHub 代码仓库中,并配套论文修订与引用规范。对于未来的成果发布,我们承诺进一步优化论文质量,完善文献引用、数学表述与成果呈现形式,便于学界理解。 仓库内提供了大量基于 Lean 语言完成的证明形式化代码。为保障科研透明开放,仓库还公开了本次研究的更多过程细节:包含 10 份模型推理摘要、以 ChatGPT Pro 算力为基准的计算资源消耗估算,以及模型尝试求解问题的统计数据。平均每项成果消耗的算力,大致相当于 ChatGPT Pro 三小时深度思考所需算力。