@getjonwithit
Co-founder and CEO @lanyon_ai, making the universe computable. Part-time math/physics research @Princeton Previously @Cambridge_Uni @WolframResearch
AI
A user argues computational irreducibility makes mechanistic interpretability infeasible, drawing parallels with fluid mechanics and psychology.
AI
A poster says almost any Stage 4 cancer patient would find human understanding of a working cure's mechanism irrelevant.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A post introducing a conversation with applied mathematician Jonathan Gorard says it explores why AI took off in math and coding, but not physics.
AI
A commenter says the brain is not a von Neumann machine, but whether broader computer models suffice remains an open question.
AI
Organizers welcome solo builders and teams; a sponsor promises all participants early access to Lanyon AI tools and unlimited compute.
AI
One post argues that major physics breakthroughs require insights beyond current AI's reach. Another points to a lack of formal verification in physics and claims Lanyon AI is closing that gap.
AI
One post declares “e/acc is forever” and urges continued movement “up and to the right” on the Kardashev scale.
AI
A user’s one-line AI joke frames a tool call as an alternative to an inference.
AI
Cornell AI researcher posts quote comparing AI to social media as a revealing mirror.
AI
Lanyon AI shares details of its CEO's March 2025 Princeton talk on formal verification.
