Uncharted Waters: Thirteen Rules for Not Trusting an AI's Proofs
Seven theorems in fifteen days, one refutation, ~104 cycles of Lean — and the ship's log of why nothing sank
Aug 16, 202618 min read128
Command Palette
Search for a command to run...
#math
Articles tagged with #math
Semantic Geometry of Architecture
The Meaning of Software Forms a Space
Aug 11, 202622 min read111
The SAGA Comparison Theorem Preprint Is Out: Two Rulers, One Reading
TL;DR We have published a paper on Zenodo (DOI: 10.5281/zenodo.21603761, CC BY 4.0) that formalizes the "locally correct, globally broken" phenomenon of software architecture as mathematics, proves i
Jul 27, 202612 min read29