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))!
더 보기
