Say you have a machine that spits out hundreds of very long solution attempts to the Riemann hypothesis. Each is tedious and hard and then humans start reading it all until they refute most and finally find one that is correct. It’s a gigantic effort for the humans, but now they have a proof.
Did the machine then _solve_ the Riemann hypothesis?
#math
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. 
Dauerkarte 
Searchable on tootfinder.ch
machteburch.social
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. Dauerkarte Searchable on tootfinder.ch
machteburch.social
@tomkalei@machteburch.social
·
Apr 11, 2026
16
5
3
Conversation (5)
Showing 0 of 5 cached locally.
Syncing comments from the remote thread. 5 more replies are still loading.
Loading comments...