Jonathan Gorard
@getjonwithit
Co-founder and CEO @lanyon_ai, making the universe computable.
Part-time math/physics research @Princeton
Previously @Cambridge_Uni @WolframResearch
23 Following 47.7K Followers
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.
Show more
