Proofs & Reasons @ CMU
Project Leader Simon DeDeo and Board of Advisors Project Start Date: 1 January 2026
Type Theory over the Island of Samos / StrongBad Says Animated Gifs
Made possible by the support of Grant 63750, “Explaining Universal Truths”, from the John Templeton Foundation.
Additional support from research funds of the Laboratory for Social Minds and from the Survival and Flourishing Fund.
proofs and reasons dashboard

Latest inferred peak golden-hour view of the CMU skyline
full size ↗  ·  recent golden hours ↗
Live host monitors
ganesha →   web server and reddit archive: Opterons, five disks, Caddy traffic
akdeniz →   GPU workstation: CPU, GPU, memory, network, cluster queues
wright →   two EPYCs, two Blackwells, fans, power


Top Image: Type Theory over the Island of Samos / cc by-sa/4.0, modified from User:Tomisti. Samos, a nexus of trade between the Greek Aegean and the Near East, was the birthplace of the philosopher Pythagoras, for whom the logical simplicity of mathematical proof was the sense-making principle of the universe. Type theory is the engine beneath modern A.I. systems that can frame, and prove, theorems of human mathematics.
* The opinions expressed in this publication are those of the researchers and do not necessarily reflect the views of the John Templeton Foundation, or any other funder.