OpenAI称内部模型已解决100多个开放数学问题 9 月 22 日,OpenAI 宣布其内部模型已解决超过 100 个长期悬而未决的数学问题,涉及多个数学领域。据悉,这款内部新模型于 8 月 28 日才开始训练,在短短不到一个月时间内攻克了 100 多道世界级数学难题,其中包括此前困扰数学界多年的纳维 - 斯托克斯千禧年难题。
OpenAI 同时宣布与独立数学顾问组合作,成员包括爱德华・威滕、蒂莫西・高尔斯等顶尖学者,将对这些成果进行验证。此前,曾有数学家在公开信中质疑,把解决开放难题作为 AI 能力指标可能对数学研究带来负面影响。
今年 5 月,OpenAI 一款模型曾破解有 80 年历史的单位距离问题;8 月,其原型模型 Astra 推导出 10 道长期悬而未决数学难题的解答。