AI-generated proofs

Mathematicians Warn AI Could Distort Math

Sixteen experts warn that AI-generated proofs could weaken math’s standards as OpenAI’s latest stunt draws fresh scrutiny.