传OpenAI拟发布400个AI生成数学证明

2026年10月7日，据Hacker News报道，德克萨斯大学奥斯汀分校（UT Austin）数学系主任透露，OpenAI正准备对外发布400个由人工智能生成的数学证明。该项成果展示了OpenAI在大模型数学推理以及自动化定理证明方向上的最新研究进展与应用探索，相关证明的具体发布安排及详细内容仍有待官方进一步公开。

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

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