OpenAI的数学解法尚未达到该领域的标准

TechCrunch报道，OpenAI本周发布了数百个号称解决世界最难数学问题的解法，但未达到精英数学家顾问组AGMAI设定的标准。719份稿件中仅10份包含模型思维链，42%的证明未经形式化处理，也未提供自然语言与形式化产物对应的机器可读元数据。