Silicon Reckoner
SubstackA 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.