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