رياضيون استشاريون يشككون في أحدث حلول أوبن إيه آي الرياضية

أصدرت أوبن إيه آي هذا الأسبوع مئات الحلول المزعومة لمسائل رياضية صعبة، وتساءلت مجموعة استشارية من نخبة الرياضيين عما إذا كانت إرشاداتها قد اتُّبعت.

• أصدرت أوبن إيه آي مئات الحلول المزعومة لمسائل مفتوحة، بما في ذلك حلول مشتقة من معادلات نافير-ستوكس، باستخدام نموذج غير متاح للجمهور.
• قالت المجموعة الاستشارية للرياضيات والذكاء الاصطناعي التي تستضيفها جامعة برينستون إن تقييم ما إذا كانت أوبن إيه آي قد اتبعت توصياتها يقع على عاتق المجتمع العلمي.
• طلبت أولى إرشادات المجموعة من المختبرات التوقف عن اختبار المسائل المتقدمة على النماذج الاحتكارية؛ وتقول أوبن إيه آي إنها تختبر نماذجها الاحتكارية على مسائل بحثية مفتوحة.
• وثّق رياضيون من جامعة كامبريدج وكلية كينغز تباينات بين البرهان باللغة الطبيعية وكود لين لحل أوبن إيه آي لمعادلات نافير-ستوكس.