ThursdAI explores whether Codex and multi-agent math can solve Erdős problems
thursdai_pod · x · 2026-08-04
On ThursdAI, @yampeleg and @LDJconfirmed from Nous Research discussed whether AI can now “vibe solve” Erdős problems.
The conversation focused on what is actually happening behind the scenes with Codex and multi-agent math setups, suggesting that the bar for AI math breakthroughs has become so high that even strong progress can feel routine.
More from coding & agent
- Stanford’s CS239A course on self-improving AI agents is now on YouTube — mariofilhoml · 2026-08-04
- Cline says open-weight models work better when the harness lets them verify more — cpaik · 2026-08-04
- WorkOS schedules Agent Night in San Francisco with context-graph talks and live demos — davidcrawshaw · 2026-08-04
- A curated reading list for DeltaNet, FlashKDA, vLLM serving and MoE — austinvhuang · 2026-08-04
- Developer builds browser FM synth editor with DeepSeek 4 Flash for $1.10 — keunwoochoi · 2026-08-04
- Yann LeCun says strong code-generation systems go beyond plain autoregressive LLMs — ylecun · 2026-08-04