OpenAI 开源内部模型生成的 722 篇数学手稿

OpenAI通过开源大量数学手稿展示其模型在复杂逻辑推理领域的突破，722篇手稿的规模体现了模型生成能力的规模化应用。部分结果未经形式化验证且被提示可能存在错误，表明AI辅助数学研究仍处于探索阶段，需结合传统验证手段以确保严谨性。此举或加速AI在科研领域的落地，但也引发对AI生成内容可靠性的讨论。