Marco David (Mar 12 2026 at 04:18): Marco David (Mar 12 2026 at 04:18):New Formalization Challenge: Top 100 Quantum Theorems
Given the excitement and healthy competition that Freek's list of the top 100 mathematical theorems has sparked, we are excited to share a new list (equally arbitrary, of course) offering our selection of 100 important theorems for quantum physics and quantum computing.
The invention of quantum mechanics is generally dated to July 1925 when Werner Heisenberg took a retreat to the German island of Helgoland and wrote the first paper on "matrix mechanics," i.e. modern quantum theory. The first seed for this list started at the centenary celebration of quantum mechanics, in summer 2025 on that same island. The idea was later materialized in discussions with Jens Palsberg (UCLA). We are grateful to everyone who has contributed their favorite theorems over the last few months.
Please feel free to send your thoughts, your feedback, and of course your completed formalization projects our way! With the first submissions trickling in, we will be sure to keep a leaderboard by proof assistant on the same page, too.
Last updated: Apr 01 2026 at 05:56 UTC