New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...