Humans are becoming the bottleneck of verification for AI. And now the question is, where does that leave us? Is this the end of the road for reliable mathematical discovery? Are we resigned to drowning in a sea of unverified claims where we can't really tell truth from fiction?
1w ago
Underscored — save the words that stop you in your tracks.
