He used AI to filter Erdős problems by difficulty and conjecture entanglement
FinanceYF5 · x · 2026-07-26
The first key was problem selection.
He focused on questions already being discussed by mathematicians, especially ones Terence Tao was talking about, and used AI to filter out problems that looked extremely hard or too tightly coupled to major open conjectures.
More from coding & agent
- Built 47 Agents With n8n and Claude, Now Sharing 3 Prompts He Says Actually Work — Aiden_Tech_Ai · 2026-07-26
- A Sunday morning workflow: coffee, Codex, voice Jarvis, then build the cancer app — DeryaTR_ · 2026-07-26
- Red-team report says Memanto memory core had race conditions and fail-open bugs — Abject_Egg7543 · 2026-07-26
- Agentic coding turns engineering managers into caretakers of literal-minded LLMs — MarcJSchmidt · 2026-07-26
- opencode fixes local file attachments mislabelled as text/plain — wonderfulremark · 2026-07-26
- ChatGPT Sol helps a solo dev prototype five HTML game ideas for Steam Next Fest — 74BIT · 2026-07-26