AI发布722份数学难题证明 人类学者陷入验证焦虑

OpenAI一次性公开722份跨17个数学领域的AI生成难题证明，整体解题成本远低于过往同类方案，所有产出均能通过机器严格验证。技术上当前这套AI本质是对已有数学知识做逻辑组合，暂时还没法独立产出全新的数学思想与工具，也很难推动底层范式突破。

这批成果落地转化的痛点十分突出，单个符号错误就可能导致多篇关联结论全部失效。这背后直接把验证、梳理、解读的全部压力甩给了人类数学研究者，不少学者已经陷入验证焦虑。