Sebastien Bubeck
@SebastienBubeck
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
参加 January 2012
1.5K フォロー中 93K ファン
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))!
もっと見る
