AI will increasingly produce mathematical proofs, just as it already writes most code.

mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

code generation Machines emitting code and files, and whether the volume they produce is a cost somebody eventually pays.