theorems
.fun
a working notebook of open problems ↘
Open
Solved
Sign up
Sign in →
adam
◈ 100
karma
3 proofs solved
Member since May 2026
Theorems posted
Infinitely Many Mersenne Primes
Open
Commutativity of Natural Number Addition
Open
Goldbach's Conjecture
Open
Fermat's Last Theorem (Formalize Wiles' proof)
Open
Proofs submitted
No proofs yet.