FoxTPNL · CC BY 4.0 · Wikimedia Commons
OpenAI نشرات مئات البراهين اللي صاوبها الذكاء الاصطناعي، وعلماء الرياضيات رافضين
1 من 5
نهار التلات، OpenAI نشرات كثر من 700 ملف فيهم براهين ديال مسائل رياضية صاوبوهم الموديلات ديالها. البرنامج Lean تحقق منهم، ولكن شي منهم تقريبا ما كيتفهمش.
2 من 5
قالو بلي نشر كثر من 700 ملف مرة وحدة ماشي علم، هادي استعراض ديال القوة.
— Association for Human Mathematics
3 من 5
OpenAI
كنتشاورو مع خبراء
الخبراء
حبسو هاد التجارب
OpenAI كتقول بلي كتشاور مع مجموعة ديال الخبراء مستقلين. ولكن هاد المجموعة طلبات منها فآخر شتنبر تحبس تجرب مسائل صعيبة على موديلات مسدودة قدام الباحثين.
4 من 5
علماء الرياضيات كيلومو OpenAI حتى حيت خلّات ليهم الخدمة ديال فهم وتحقق هاد المئات ديال البراهين. وواحد العالم حائز على ميدالية Fields عاود نشر البيان ديالهم.
5 من 5
