براهين رياضية

OpenAI تنشر نحو 400 نتيجة رياضيات بالذكاء الاصطناعي وتربك الرياضيين حول العالم

OpenAI تنشر دفعة واحدة من قرابة 400 نتيجة رياضية مولدة بالذكاء الاصطناعي موزعة على أكثر من 700 مخطوطة، في إسقاط غير مسبوق يقلق الرياضيين حول مستقبل المهنة ويفتح نافذة لمهارات التحقق والصورنة في Lean.