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.
もっと見る
