研究者用GPT-5.6在Codex解决六个Erdős问题
wtf is happening: A researcher says he used GPT-5.6 Sol Ultra in Codex to produc…
这是AI在数学难题上的重大突破,六个Erdős问题的解决展示了模型推理能力的跃迁,数学和AI从业者必看,建议仔细研究其研究轨迹和方法论。
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.
更进一步:量化金融体系
看懂新闻只是起点——沿量化金融路径,把它变成能交付的工程能力