AI前沿
数学界深入审视GPT-5.6证明：方法出奇初等，但未过同行评审
曼彻斯特大学数学家Thomas Bloom分析指出，GPT-5.6证明循环双覆盖猜想的方法出奇地初等，但未使用Lean等形式化验证工具，也未经过同行评审。
暂无正文内容。点击上方「原文链接」阅读完整报道。