OpenAI 数学证明发布未达数学界标准

OpenAI 本周发布了数百个数学难题的证明，但普林斯顿高等研究院托管的 AGMAI 数学与人工智能顾问组指出其未完全遵循建议：719 篇稿件中仅 10 篇公开了模型的思维链，42% 的证明未经形式化处理，也未提供关联自然语言与形式化产物的机器可读元数据。