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.
더 보기
