2026-09-09 00:19 UTC
@tao@mathstodon.xyz You don't even need the rumor of someone working on a problem (even if that is what happened w/ Navier-Stokes). People who should know better made a system to automate mining the literature for open problems and trying to solve them: https://arxiv.org/abs/2608.16977. How many potential thesis problems, excellent for training budding mathematicians, did this one paper eliminate, just to give credit for those problems to...an automated system?
Replies (1)
-
@massimolauria@mathstodon.xyz 2026-09-09 08:34
@joshuagrochow@mathstodon.xyz @tao@mathstodon.xyz On a more personal level, it baffles me how mathematicians could find interesting to do all that boring engineering. Even installing and keeping lean up to date feels to me a chore. And I am a guy who has fiddled with linux for almost three decades.