博客文章

OpenAI在First Proof数学挑战中提交了10个证明尝试，其中至少5个被专家评估为高概率正确。这一成果展示了AI在科研级推理上的突破，包括长链推理、抽象选择和专家验证能力，为未来公开模型奠定了基础。

bingdada

2026-08-027约 4 分钟阅读