OpenAI 将公布 100+ 已解公开数学难题,程序员晒与 Codex 攻 Erdős 猜想成果
ChrisGPT · x · 2026-09-23
一位开发者称 OpenAI 即将公布 100+ 已解决的公开数学难题，并抢先为自己一个月来与 Codex（GPT-6）协作攻关 Erdős #993（每个树/森林的独立集序列是否单峰）的阶段性成果「占坑」。
- 未完全解决猜想，但证明了一个部分结果：对任意有限图，只要给顶点加叶节点使总数超过显式阈值（h 个顶点的核心需 L ≥ 32768(h+1)²），独立集序列即为单峰，且峰值位置可确定
- 作者表示自己算力不足，希望 OpenAI 或 Anthropic 能多分配几张 GPU，公开呼吁不应继续单打独斗
- 是「人 + 前沿模型协作做数学研究」的典型案例
「漫话AGI」频道最新
- 研究者警告：vibe-science 走不通，学科训练与严谨仍是核心竞争力 — divy93t · 2026-09-23
- 卡内基中国发布全球 AI 人才竞逐报告:中美人才争夺战持续升温 — kevinsxu · 2026-09-23
- 斯坦福《AI in 2026》全景综述上线,从现状到前沿一次讲透 — CCgong · 2026-09-23
- AI 进化压缩数亿年于数十年，作者称比语言革命更根本 — sudoraohacker · 2026-09-23
- DeepMind 联创 Shane Legg 晒 2008 年博士论文：自称超前时代 — ShaneLegg · 2026-09-23
- Vals AI RSI 指数：Opus 5.5 在五项任务中一项超越人类基线，完全 RSI 预测提前至 2027 年 7 月 — ResultBackground2450 · 2026-09-23