@tao@mathstodon.xyz I think that the downstream effect that is similar to this might be that 10yrs from now when publishes a proof, people say “oh, cool. So what?” Ie, be it human or ai, proofs are polite, but impact is what matters. Manuals/Textbooks and systems/approaches/problems might be where the action belongs.