ChatGPT-5.2 Demonstrates Original Geometry Proof via 'Vibe-Proving'
A study from VUB reports that ChatGPT-5.2 can autonomously generate an original mathematical proof, solving a 2024 geometry conjecture. The proof emerged through seven chat sessions and four evolving argument drafts, with human researchers verifying final steps. The work introduces the term vibe-proving as a new AI reasoning approach and suggests AI can accelerate theoretical discovery while maintaining essential human oversight.