OpenAI 的数学解答尚未达到数学界的标准

OpenAI 本周公布的数学难题解答尚未充分遵循 AGMAI 的建议，主要缺口涉及人类理解、推理过程披露及证明材料的对应关系。719 篇稿件中仅 10 篇公开了模型的 CoT，42% 的证明未经形式化处理，也未提供关联自然语言证明与形式化材料的机器可读元数据。