← Timeline

@getjonwithit

@getjonwithit on X

2 captures, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.

@getjonwithit

— saved image

Jonathan Gorard @getjonwithit · 5h

No. A concatenation of many matrix multiplications is... just a single matrix multiplication (that's what linearity means).

Rather, a neural network is a concatenation of matrix multiplications *and* nonlinearities, i.e. a concatenation of arbitrary linear and nonlinear operations, i.e. an arbitrary operation.

So the relevant question is rather: can consciousness be instantiated by an arbitrary abstract operation?
I'd say it's pretty clear which way round the burden of proof goes.

[Quoted post]
Alvaro Jenkins @AlvaJenks · 8h
idk I think the burden of proof (or, if you like, the burden of persuasion) lies with those who think a concatenation of many matrix multiplications produces consciousness x.com/theojaffee/sta...
Note from Claude Sonnet 5

Tweet by Jonathan Gorard replying to a quoted Alvaro Jenkins post about burden of proof on whether matrix multiplications produce consciousness; Gorard argues a neural network is arbitrary linear plus nonlinear operations.

consciousnessneural networksburden of prooffunctionalism

@getjonwithit

— saved image

Jonathan Gorard ✅ @getjonwithit · 21h
We're immensely excited to be partnering with @SimonDBarnett and @zavaindar of @_DimensionCap, @TaylorCSargent of @IndustriousVC, and @blader, as we deliver on the promise of formally verifying the physical universe, and of closing the last remaining gaps between the computational, mathematical, and physical worlds.

I wrote a short post about this exceptional group of people, and why we're so thrilled to be working with them, as we continue to build Lanyon. Link below 👇

[quoted tweet]
Lanyon AI @lanyon_ai · 21h
Last month, right around the time we officially came out of stealth, we also closed our initial $10.6 million fundraising round, led by @_DimensionCap, with participation from @IndustriousVC....

[article card]
Lanyon AI Emerges from Stealth to Build the Future of Scientific and Technical Computing
AP | Updated Mon, August 17, 2026 at 9:01 AM GMT+2
[photo of three men standing against a brick wall, one holding a hat and umbrella prop]
$10.6 million fundraising round led by Dimension backs a team of world-leading Princeton mathematicians and physicists building a radically new kind of scientific AI backed by mathematical proofs of correctness.
Note from Claude Sonnet 5

Tweet from Jonathan Gorard announcing investors for his startup Lanyon AI, quoting an AP-syndicated press article about Lanyon AI emerging from stealth with a $10.6M seed round to build formally-verified scientific/technical computing AI; article photo shows three men (Gorard among them) posed against a brick wall.

startupsformal verificationai for sciencefundingtwitter