نشرت OpenAI مجموعة من 722 مخطوطة أنتجها نموذج متقدم لم يُطرح بعد، تدعي أنها تقدم حلولاً لمسائل رياضية عالقة ضمن 372 عائلة نتائج. الأوراق البحثية أُتيحت على GitHub وتغطي تخصصات واسعة، فيما تصفه الشركة بأنه أكبر إصدار منفرد لأبحاث رياضية مولّدة بالذكاء الاصطناعي حتى الآن.
يأتي هذا الإصدار امتداداً لسلسلة اكتشافات رياضية من OpenAI أثارت إعجاب جزء من مجتمع الرياضيات وأقلقت جزءاً آخر. بعض الباحثين رحبوا بالنتائج باعتبارها إسهامات حقيقية، بينما أثار آخرون مخاوف حول التحقق من صحة البراهين ودور الذكاء الاصطناعي في حقل بُني على البرهان البشري.
لم تكشف OpenAI بعد عن اسم النموذج المسؤول عن هذه الأوراق، لكن حجم الإصدار ونطاقه يشيران إلى نظام يتمتع بقدرات استدلال كبيرة. تقول الشركة إنها تعمل مع رياضيين خارجيين للتحقق من الادعاءات، رغم أن عملية مراجعة البراهين المولّدة بالذكاء الاصطناعي تبقى سؤالاً مفتوحاً في هذا التخصص. المراجعة الأكاديمية التقليدية صُممت لأعمال بشرية، ومجتمع الرياضيات لا يزال يبحث عن آليات لتقييم ادعاءات آلية بهذا الحجم.
تأتي هذه الدفعة في وقت تواصل فيه صناعة الذكاء الاصطناعي التوسع نحو الاستدلال الرسمي والاكتشاف العلمي، مع استثمارات ضخمة من منافسين مثل DeepMind وAnthropic في القدرات الرياضية والعلمية. السباق لإثبات قدرات الاستدلال للذكاء الاصطناعي اشتد، وكل مختبر حريص على إظهار أن أنظمته تستطيع حل مسائل قاومت الحل لعقود.