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