← All topics

sebastien bubeck

2 captures, most recent first.

carl feynman @carl_feynman

— saved image

carl feynman @carl_feynman · 17h
Good lord. They released several major advances at 3:34 AM on a Saturday morning. The results where I'm familiar enough with the field to read them-- 1, 2, 5, 8-- seem like major big deals. But I have to go to synagogue right now and can't give them the attention they deserve. How frustrating!

[quoted tweet]
Sebastien Bub... @SebastienBub... · 22h
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete …
Note from Claude Sonnet 5

Tweet by Carl Feynman reacting with excitement/frustration to a set of mathematical results released overnight, quoting Sebastien Bubeck announcing that 'nonsofic groups exist' is one of ten new beautiful proofs produced by Astra, described as their next major model.

ai and mathastra modelsebastien bubeckmath proofsnonsofic groups

@ProfBuehler

— saved image

Markus J. Bueh... @ProfBuehler... · 10h
This feels like a real inflection point: The momentum toward AI that expand knowledge is impossible to ignore...moving beyond solving problems with known answers to settling long-open questions (with Lean certificates attached) across group theory, operator algebras, combinatorics, and complexity. Impressive, congrats @SebastienBubeck @OpenAI!

[quoted tweet]
Sebastien Bub... @SebastienBub... · 14h
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete ...
Note from Claude Sonnet 5

Tweet from Markus J. Buehler praising a claimed OpenAI result where their upcoming model 'Astra' resolved open mathematical questions (with Lean-verified proof certificates) across group theory, operator algebras, combinatorics, and complexity, quoting Sebastien Bubeck (OpenAI) announcing the release of 10 such Astra-proved results, including that nonsofic groups exist.

openaiastraai mathematicslean proofssebastien bubecktwitter