Person
Sébastien Bubeck
Appears alongside
Featured in threads
Tracks
- Models & capabilities 2
- Benchmarks & progress 2
- Ideas & essays 1
OpenAI publishes hundreds of AI-written proofs of open maths problems
722 unreviewed manuscripts in 372 result families, including claimed proofs of the Unique Games Conjecture and a zero-free strip for the zeta function; 235 families come with Lean checks.
Models & capabilities · Ideas & essays · Benchmarks & progress
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