Back

Silicon Reckoner

Substack
siliconreckoner.substack.com· irregular· Published 7 days ago

A mathematician's newsletter examining how AI systems and the companies behind them are changing mathematical research, practice and authority. It covers recent AI-generated proof claims, formal verification with tools like Lean, and critical essays on what these developments mean for mathematicians and the mathematical commons.

ai and mathematicsopenai math claimslean proof checkerlanglands programautomated theorem provingmathematical proofnavier-stokesmathematical research ethicsgamburd essaytheorem economy
Platform
Substack
Frequency
Irregular
Latest issue
Oct 22, 2026
Language
English
Written for
Mathematicians, philosophers of mathematics, and readers following AI's impact on science
Tone
opinion
Tracked since
Oct 29, 2026

Website: https://siliconreckoner.substack.com