itemize123
Joined 1 year ago
Karma
65
Submissions
127
Member since
Jul 17
Joined 1 year ago
And yes, nobody is that excited about vatsachak's mathematician-ism. it's just a thing he do. And now it's just a thing AI do.
i feel like you are arguing there is -- even in the narrow utility of PROOFS -- there is a goodness in being an ostrich with its head in the sand. If that's true, people can still be that ostrich and pretend the bound is now n^1.9 or something.