Sebastien Bubeck
@SebastienBubeck
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
1.5K Following 83K Followers
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 with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here:
Show more
Congrats to @Jacob_Tsimerman and welcome to the team, it's going to be fuuuun!!!
This is actually crazy, many of us thought about this lower bound for many years ...
@roydanroy What he talks about couldn't have happened before GPT-5.5
