UT Austin 数学系主任称 OpenAI 将发布 400 个 AI 证明

2026年10月7日，Hacker News 的 AI 讨论区出现一则说法：UT Austin 数学系主任称 OpenAI 正准备发布 400 个由 AI 生成的数学证明。该说法目前仅来自这一讨论帖，尚无 OpenAI 官方回应，也未披露涉及的模型版本或发布时间。报道未提供更多细节，例如证明的具体领域、验证方式或发布渠道。由于信息源单一且缺乏官方确认，该说法仍待进一步核实。

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

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