korrents

korrents · piece

Book Review: The Proof in the Code

Patrick Honner · 24 May 2026

Read the piece on mrhonner.com ↗

1 korrent from this piece ↓

Patrick Honner did not write this page.

Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.

  1. Anyone interested in math should be paying attention to the unfolding story of AI-assisted mathematics, and this is especially true for math teachers, whose current students will enter a world where “doing math” is likely to mean something dramatically different than it does today.

Keep reading