# 研究者用GPT-5.6 Sol Ultra在Codex中解决6个Erdős问题

- 来源：Chubby♨️ (@kimmonismus)
- 发布时间：2026-07-23 23:58
- AIHOT 分数：60
- AIHOT 链接：https://aihot.virxact.com/items/cmrxq193s01e6roxpocnaml61
- 原文链接：https://x.com/kimmonismus/status/2080321539820732776

## AI 摘要

一位研究者声称使用GPT-5.6 Sol Ultra在Codex中提出了六个Erdős问题的解决方案，并公开了完整研究过程。其提示词明确排除特殊情况、循环归约和无支持的引理，保留多个不兼容方法，并用独立智能体攻击每个候选证明。Codex随后自动执行“尝试→失败→诊断→新方法→证明草稿→对抗审计→修复”的循环，无需进一步交互。

## 正文

wtf is happening： A researcher says he used GPT-5.6 Sol Ultra in Codex to produce proposed solutions to six （！） Erdős problems， and published the full research trail.

He says GPT-5.6 Sol Ultra in Codex produced proposed proofs for six Erdős problems.

His prompts explicitly reject special cases， circular reductions and unsupported lemmas. They preserve multiple incompatible approaches and use independent agents to attack every candidate proof.

Codex then continues without further interaction：

"attempt -> failure -> diagnosis -> new approach -> proof draft -> adversarial audit -> repair."

science is accelerating at unprecedented speed.

### 引用推文

> Shouqiao Wang：I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. I have a math background, but the Codex workflow I used does not require deep mathematical ...