OpenAI to publish 100+ solved open math problems; developer shares partial Erdős #993 result with Codex
ChrisGPT · x · 2026-09-23
A developer says OpenAI is about to publish 100+ solved open math problems, and is timestamping his month-long partial results on Erdős #993 (is the independent-set sequence of every tree/forest unimodal?) worked out alongside Codex (GPT-6).
- The conjecture remains open, but they proved: for any finite graph, once the total number of attached leaves passes an explicit threshold (L ≥ 32768(h+1)² for an h-vertex core), the independence sequence is unimodal with the peak pinned to a known position
- He cites lack of compute and publicly calls on OpenAI or Anthropic to allocate a few more GPUs
- A notable case of human + frontier-model collaborative math research
More from AGI Musings
- Researcher: vibe-science won't cut it — discipline and rigor matter more than ever — divy93t · 2026-09-23
- Carnegie China launches longitudinal study tracking the global AI talent race — kevinsxu · 2026-09-23
- Stanford releases 'AI in 2026' soup-to-nuts overview of the field — CCgong · 2026-09-23
- AI Is a Compression of Millions of Years of Brain Evolution, Not an Industrial Revolution — sudoraohacker · 2026-09-23
- DeepMind Co-founder Shane Legg: My 2008 PhD Thesis Was Well Ahead of Its Time — ShaneLegg · 2026-09-23
- Vals AI RSI Index: Opus 5.5 Beats Human Baseline on One of Five Tasks, Pulling RSI Estimate to July 2027 — ResultBackground2450 · 2026-09-23