OpenAI发布372个AI生成的数学证明

OpenAI在GitHub上发布了372个由内部前沿模型生成的数学结果，包括对主要计算机算法的改进和与黎曼猜想相关的进展。这些结果大多来自单个AI代理的单次提示，平均每个结果消耗约三小时的ChatGPT Pro Thinking计算量。OpenAI采用形式验证而非传统期刊评审，并计划资助相关研讨会和会议。