Person
Levent Alpöge
Appears alongside
Featured in threads
Tracks
- Models & capabilities 3
- Ideas & essays 2
- Benchmarks & progress 2
OpenAI and Anthropic each say AI disproved a central conjecture in computer science
Both posted Lean-checked subexponential 3-SAT algorithms; OpenAI also claimed Kakeya in all dimensions and an unreleased 1,147-page Yang-Mills proof. No completed independent review of any had been reported by 2 November.
Models & capabilities · Ideas & essays
OpenAI says an internal model resolved a Navier–Stokes problem, amid a credit dispute
An unreleased model, run as ~10,000 agents, produced a Lean-verified finite-time blow-up proof for a forced fluid; OpenAI declined the prize amid a credit dispute with NYU and Anthropic.
Models & capabilities · Benchmarks & progress
Anthropic's Fable model produces counterexample to the Jacobian Conjecture
Harvard mathematician Levent Alpöge said Claude Fable 5 found the three-variable counterexample in an evening; it disproves the conjecture from three dimensions upward.
Benchmarks & progress · Models & capabilities · Ideas & essays