CloK / Blog
Selected by CloK.
A reading list from CloK contributors.
What Happens When the World is Run on Code No One Understands?
As AI accelerates mathematical discovery and software production beyond human comprehension, the authors argue that formal verification must become public infrastructure and a national mission.
Letter to Rozumot: Two (or More) Mathematicses
A speculative letter about mathematical truth, understanding, and a future in which AI produces proofs that people can certify but no longer comprehend. With a preface by Jeremy Avigad.
Infrastructure for Mathematics
On formal mathematics as epistemic infrastructure, and the engineering and cultural systems needed to store, discover, govern, and reuse it.