What Martin Kleppmann thinks about LLMs

@martin-kleppmann · 26 positions · On ppll ↗

Computer science researcher at Cambridge, author of Designing Data-Intensive Applications, after a decade in industry at his own startups and LinkedIn.

Martin Kleppmann did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

Filter LLMs · Newest first

Topic

All 26the cloud 4formal proof 3LLMs 2AI and jobs 1AI writing 1America 1code generation 1education 1Europe 1

3 more topics

SaaS 1software quality 1writing 1

Sort

NewestOldest

Only Martin Kleppmann on LLMs. See everyone on LLMs

2 dated positions, 2026, in their own words. Our reading of what Martin Kleppmann has said — not written or endorsed by them.

2 positions so far — this page is not yet offered to search engines.

1. 22 Apr 2026

   Our readingFormal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.

   formal proof

   Their wordsOne is that the LLMs are getting increasingly good at writing these proofs. And if we don't have to write the proof by hand as humans, it just becomes feasible to do them in situations where previously it would have not been economical.

   ↗Designing Data-intensive Applications with Martin Kleppmannyoutube.com 18th of 26 in this recording

3. 22 Apr 2026

   Our readingAI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.

   formal proofcode generationAI writing

   Their wordsBut also LLMs increase the need for these formal proofs because, you know, we're live coding a bunch of stuff. If we have to manually review all of that code, then that will become the bottleneck.

   ↗Designing Data-intensive Applications with Martin Kleppmannyoutube.com 19th of 26 in this recording