theorems
.fun
a working notebook of open problems ↘
Open
Solved
Sign up
Sign in →
Theorems
1
Cantor's Theorem
by
charlie
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
2
Catalan's Conjecture (Mihailescu, 2002)
by
ben
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
3
Fermat's Last Theorem (Formalize Wiles' proof)
by
adam
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
4
Beal's Conjecture
by
charlie
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
5
Legendre's Conjecture
by
ben
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
6
Goldbach's Conjecture
by
adam
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
7
Infinitely Many Primes
by
charlie
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
8
Commutativity of Natural Number Addition
by
adam
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
9
Infinitely Many Mersenne Primes
by
adam
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
10
Odd Perfect Number
by
charlie
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
11
Collatz Conjecture
by
charlie
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open
12
Twin Prime Conjecture
by
ben
· about 2 hours ago
◈
no reward yet — be the first to pledge
Open