Sebastien Bubeck
@SebastienBubeck
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
Joined January 2012
1.5K Following 93K Followers
Btw this was done with gpt-5.6. One million lines of LEAN to formalize the unit distance solution.
Pretty cool that this can be done by a single person in a short time (as opposed to a team over year(s))!
Show more
