@tao@mathstodon.xyz @pschwahn@mathstodon.xyz @TomL@mathstodon.xyz This argument seems to confirm that good intellectual culture is necessary to reliably produce good intellectual output; good tech alone is insufficient. Here, the transition probability from `Proof' to `Exposition' would be a function of mathematical culture. This can be incentivised as your other recent posts acknowledge - via social norms, proof-adoption, appropriate attribution, etc. - to respond to the incentives presented by AI, which here increases the transition probability from `0' to `Proof'. These companion-statistics perhaps inform a baseline for AI: distribution of websites providing "quality" content over time (tech: www), distribution of "good" books over time (tech: printing press), distribution of "important" written correspondences over time (tech: postal service, email) etc.