OpenAI宣称模型取得数学、计算机科学与物理成果，核验范围待明

OpenAI称模型在三领域取得成果，提及Lean形式化、外部团队核验，以及指数时间假设和杨–米尔斯理论。现阶段仍属公司主张，应跟踪开放材料、形式化覆盖范围、独立审查和科学界评议；新版Model Spec也是行为目标而非已验证的模型改进。