أوبن إيه آي تحقق تقدمًا في حل مسائل رياضية معقدة

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