Agreed. I’m sure there was a time in the early history of computational mathematics where someone with access to more computer time than others went around tell

Agreed. I’m sure there was a time in the early history of computational mathematics where someone with access to more computer time than others went around telling people how easy it is to generate books of trigonometric tables, and other people got annoyed at him, until soon computation was so thoroughly automated that the very idea of computing sines by hand became obsolete. I expect that’s about how math students in the 2040s will learn about this: “what do you mean, they had prizes for writing proofs, why would an educated mathematician spend their time writing proofs?”