Jonathan Gorard
@getjonwithit
Co-founder and CEO @lanyon_ai, making the universe computable.
Part-time math/physics research @Princeton
Previously @Cambridge_Uni @WolframResearch
加入 November 2012
23 正在关注 47.7K 粉丝
Last night was the first night I genuinely couldn't sleep because I was so excited to get back to reading an AI-generated proof (of the Grothendieck homotopy hypothesis).
Hard not to feel shellshocked, of course, but the feeling of "touching the infinite" is pretty palpable.
显示更多
