📖 AI 总结

OpenAI发布了一批由其内部前沿模型生成的数学成果，并与普林斯顿高等研究院的数学与人工智能咨询委员会合作，制定了成果发布的最佳实践。此次成果以GitHub仓库形式公开，附带论文修订与引用协议，并提供了大量Lean形式化证明以便计算机验证。为提升透明度，OpenAI还披露了模型推理摘要、算力消耗估算及尝试问题数量等细节，其中平均每项结果约消耗相当于ChatGPT Pro三小时思考的算力。OpenAI表示将持续改进论文质量与呈现方式，并资助相关研讨会和项目，以推动AI在数学领域的进展，同时承诺负责任地发布模型并接受社区反馈。