近日，OpenAI一次性公开722份数学难题证明手稿，横跨17个数学领域，整体解题成本远低于以往，刷新外界对AI数学能力的认知，并引发数学界震动。从技术与应用看，这些AI证明虽能通过机器严格验证，却在实际转化中暴露痛点：绝大多数难以转化为人类易于理解的知识，甚至面临应用障碍。
