Terence Tao on Nostr: I have recently made the point that out of three major components of the mathematical ...

I have recently made the point that out of three major components of the mathematical problem solving process - proof generation, proof verification, and proof digestion - the first two are being automated far more successfully than the third, leading to a new experience of "proof indigestion" in which proofs are being generated and even verified without being digested.

It has been proposed that the solution to this is simply to automate the third component as well - for instance by training AI to write mathematical proofs at a higher level of exposition. This will help to some extent, especially as AI capabilities continue to improve; but blindly optimizing various metrics for "digestibility", such as rubrics for mathematical exposition, can make the final product *worse* when viewed holistically. (1/3)