> AI can utilize the full history of mathematics in ways we cannot comprehend because it isn't constrained by peer review, proofs You say that as if it were a

> AI can utilize the full history of mathematics in ways we cannot comprehend because it isn't constrained by peer review, proofs You say that as if it were a good thing.