Dev claims OpenAI helped disprove Erdős–Simonovits Turán conjecture, generalizing r=2 to all r≥2
ctjlewis · x · 2026-09-12
Developer ctjlewis says OpenAI disproved Erdős and Simonovits's conjecture about the Turán number of r-degenerate graphs, and that despite knowing no math he used it to generalize the r=2 case to all r≥2.
He says attempts to find volunteers to verify the proof drew hostility from mathematicians, so he ended up paying a combinatorialist at NYU, with whom he now has a good relationship—after a bitter back-and-forth that illustrates tension between AI-assisted math and academic collaboration culture.
More from Research
- DeepMind, Harvard, Stanford Argue Visual Intelligence May Be a Path to AGI — rohanpaul_ai · 2026-09-12
- DeepMind, Harvard and Stanford paper: visual world models may be a path to AGI — rohanpaul_ai · 2026-09-12
- LMArena analyzed 30,086 answer pairs: different LLMs share just 43.1% of ideas — arena · 2026-09-12
- Open-source fruit fly connectome with 165,122 neurons launches tokens on Robinhood Chain — Scobleizer · 2026-09-12
- Insilico's anti-aging drug Rentosertib dosed first Phase III patient, synthesized with fly-brain compute — Scobleizer · 2026-09-12
- Packora debuts: a generative model for molecular crystal structure prediction — CatAstro_Piyush · 2026-09-12