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