AI日报 | 2026年7月14日
AI日报 | 2026年7月14日 GPT-5.6"数学证明"遭学界审视：方法初等但缺同行评审 OpenAI宣称GPT-5.6 Sol Ultra证明循环双覆盖猜想后，曼彻斯特大学数学家Thomas Bloom分析称其方法"出奇地初等"，仅是巧妙组合现有图论技巧。数学界一致态度为谨慎乐观，核心争议在于证明未经同行评审、未使用Lean形式化验证、仅以PDF上传公司CDN而非发表在学术期刊。 ...
AI日报 | 2026年7月14日 GPT-5.6"数学证明"遭学界审视：方法初等但缺同行评审 OpenAI宣称GPT-5.6 Sol Ultra证明循环双覆盖猜想后，曼彻斯特大学数学家Thomas Bloom分析称其方法"出奇地初等"，仅是巧妙组合现有图论技巧。数学界一致态度为谨慎乐观，核心争议在于证明未经同行评审、未使用Lean形式化验证、仅以PDF上传公司CDN而非发表在学术期刊。 ...