Skip to main content
Floris van Doorn
Will AI solve one of 129 major mathematical conjectures before year X?
39
Ṁ1.5k
Ṁ24k
resolved Jul 27
