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))!
显示更多
