Quantum Formalism Newsletter
Quantum Formalism is a science newsletter that mostly covers Funding, AI labs and Artificial Intelligence. We've analyzed 2 issues from the past year; the latest was published Oct 5, 2026.
In their own words: Quantum Formalism (QF) is an independent publication on mathematics, AI, quantum computing, and cryptography.
Visit Quantum Formalism ↗Main topics at a glance
Top 8 topics by mentions over the past year
What Quantum Formalism writes about
responsible release of AI-generated mathematics
1 mentionsLean verification
1 mentionsKevin Buzzard
1 mentionsformal proof
1 mentionsbenchmarks
1 mentionsAdvisory Group on Mathematics and Artificial Intelligence
1 mentionsfunding
1 mentionsQuantum Formalism
1 mentionssymbolic reasoning
1 mentionsAI for mathematics
1 mentionscommercial incentives
1 mentionsAI labs
1 mentionsprivate models
1 mentionsOlympiad problems
1 mentionsmathematics
1 mentionsartificial intelligence
1 mentionsproof verification
1 mentionsadvanced maths problems
1 mentionsMath Everest analogy
1 mentionstransparency
1 mentionsAI in Maths Hour
1 mentionsmathematical exercises
1 mentionswider access
1 mentionsRecent issues of Quantum Formalism
Newsletters like Quantum Formalism
See all 5 alternatives →A blog about AI that's actually about people
Analyzing AI as transformative but normal technology, not superintelligence.
"Marcus has become one of our few indispensable public intellectuals. The more people read him, the better our actions in shaping Al will be." - Kim Stanley Robinson, author of Ministry for the Future