His prompt template defined exactly what counts as a real proof
FinanceYF5 · x · 2026-07-26
The second key was prompt design.
He used a prompt inspired by the one OpenAI used for the cycle double cover conjecture, with the main goal of defining exactly what counts as a real solution to the problem.
Related event: Keys to AI Math Breakthroughs: Topic Selection and Prompting(2 posts)→
More from coding & agent
- LLM Zoomcamp demo traces a Pydantic AI agent into DuckDB as 24 tables — Al_Grigor · 2026-07-26
- CREAO schedules a July 30 panel on getting AI from demo to production — thetripathi58 · 2026-07-26
- An AI agent clears Slay the Spire 2 on Ascension 8 and opens its harness and trajectories — bdsqlsz · 2026-07-26
- MemGym benchmarks long-horizon memory for LLM agents across coding and web tasks — dhruv2038 · 2026-07-26
- OpenCode issue proposes adding `opencode-plugin-loop` for scheduled agent tasks — jkrandom-sudo · 2026-07-26
- Developer says $5 a month bought 339.8 hours of agent sandbox compute — aniketmaurya · 2026-07-26