爆料：OpenAI 即将公布约 400 个 AI 生成的数学证明

OpenAI 被曝将很快公布约 400 个 AI 生成的数学证明，最早可能明天或本周内发布，该爆料来自 @DrSingularity 且尚未证实。爆料称这批证明中包含大量重大数学突破。若属实，这将是 AI for Math 领域的标志性进展。