← 返回精选动态
精选动态

AI 解决 19 个 Erdős 问题宣称

Przemek Chojecki 公布 用 AI 解决 Erdős 问题(19 个宣称)

更新于 2026年07月16日 14:31 1 条公开来源

发生了什么

Przemek Chojecki 公布 用 AI 解决 Erdős 问题(19 个宣称)

为什么值得关注

该推文具体列出了不同 GPT 版本(5.2, 5.4, 5.5, 5.6)在数学问题上的表现差异,并指出大多数解决方案仅需少量提示,值得关注其实际效果。

信息来源

以下内容来自公开来源,可打开原文继续核验。

01

AI 解决 19 个 Erdős 问题宣称

twitter关注列表 2026年07月15日 15:41

Przemek Chojecki 声称使用 GPT 模型(主要是 GPT-5.5 Pro)在四月最后两周内解决了 19 个 Erdős 问题,其中 3 个新宣称由 GPT-5.6 Sol Ultra 在七月完成,但部分解决方案尚未经过正式验证。

打开原始来源 ↗
← 返回精选动态