New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI reasoning method. AI accelerates discovery, but human verification remains necessary. Researchers at VUB’s Data Analytics Lab report that commercial language models can produce original mathematical proofs. In their study, the team shows that OpenAI’s large language model ChatGPT-5.2 (Thinking) [...]from SciTechDaily https://ift.tt/TQz5twO
