كشفت دراسة حديثة أن نموذج الذكاء الاصطناعي ChatGPT-5.2 قادر على توليد إثباتات رياضية أصلية، مقدمًا بذلك أسلوبًا جديدًا للتفكير بالذكاء الاصطناعي يُعرف بـ"vibe-proving" أي "الإثبات بالذكاء الاصطناعي"، حيث يسرع الذكاء الاصطناعي عملية الاكتشاف، لكن التحقق البشري يظل ضروريًا.