OpenAI Codex 5 天解出 6 个 Erdős 开放题
FinanceYF5 · x · 2026-07-26
Shouqiao Wang 用 OpenAI 的 GPT-5.6 Sol 配合 Codex，在 5 天内解出了 6 个开放的 Erdős 问题。
他强调这套工作流并不要求非常深的数学背景，后续线程会展开具体做法、提示词和实验材料。
「编程与Agent」频道最新
- CREAO 7 月 30 日办 AI 落地圆桌，聚焦从 demo 到生产 — thetripathi58 · 2026-07-26
- AI Agent 通关《Slay the Spire 2》Ascension 8 并开源轨迹 — bdsqlsz · 2026-07-26
- MemGym 为 LLM 智能体做长程记忆评测，覆盖编码和网页任务 — dhruv2038 · 2026-07-26
- 开发者称每月 5 美元可跑出 339.8 小时 agent 算力 — aniketmaurya · 2026-07-26
- 这个循环让模型不断自我质疑直到证明无漏洞 — FinanceYF5 · 2026-07-26
- Codex 有些数学题跑了 32 小时才出答案 — FinanceYF5 · 2026-07-26