كشفت شركة OpenAI عن مجموعة ضخمة من النتائج الرياضية الجديدة التي أنتجها نموذج ذكاء اصطناعي داخلي لم يتم طرحه للجمهور حتى الآن، في خطوة تعكس اتجاهًا متزايدًا نحو استخدام الذكاء الاصطناعي ليس فقط لحل المسائل الرياضية، وإنما للمساهمة في اكتشاف نتائج جديدة في مجالات بحثية متقدمة، ونشرت الشركة عبر مستودع على GitHub مجموعة تضم 722 مخطوطة رياضية موزعة على 372 عائلة من النتائج، بعد اختبار النموذج على نحو 4 آلاف مسألة بحثية. وأوضحت OpenAI أن متوسط الحوسبة المستخدمة للوصول إلى كل نتيجة بلغ ما يعادل نحو 3 ساعات من وضع التفكير في ChatGPT Pro.
نتائج في مجالات رياضية معقدة
شملت الأعمال مجالات متعددة، من بينها نظرية الأعداد والجبر والمنطق الرياضي وعلوم الحاسوب النظرية والطوبولوجيا، إلى جانب نتائج تتعلق بمسائل بحثية مفتوحة أو صعبة على مستوى الرياضيات المتقدمة. وتضم القائمة أيضًا نتائج حول موضوعات مثل صيغة ميزارد-باريسي للزجاجات المغزلية المخففة وبعض مسائل نظرية الأعداد.
الذكاء الاصطناعي لا يقدم النتائج وحده
رغم ضخامة الإعلان، فإن OpenAI نفسها أوضحت أن النتائج ليست كلها في مرحلة التحقق نفسها، وأن بعض المخطوطات لا تزال تفتقر إلى صياغة رسمية قابلة للفحص الحاسوبي، بينما جرى تحويل العديد من البراهين إلى Lean، وهي لغة وأداة تسمح بالتحقق الحاسوبي من البراهين الرياضية، وتؤكد الشركة أن بعض النتائج غير الرسمية قد تحتوي على أخطاء، ما يعني أن نشرها لا يساوي تلقائيًا اعتمادها كحقائق رياضية نهائية، خصوصًا أن عددًا من الأعمال لم يخضع بعد لمراجعة الأقران.
سام ألتمان: عصر جديد من الاكتشاف
وجاء الإعلان في وقت تتزايد فيه المنافسة بين شركات الذكاء الاصطناعي حول قدرة النماذج المتقدمة على التعامل مع المسائل العلمية والرياضية التي كانت تتطلب سنوات من العمل البشري، وتقول OpenAI إن هدفها من نشر هذه النتائج هو دفع حدود المعرفة البشرية وإتاحة المجال أمام الباحثين لدراسة ما توصل إليه النموذج والبناء عليه، كما أعلنت عن خطط لتمويل ورش عمل ومؤتمرات وبرامج متخصصة لفهم النتائج العلمية التي تنتجها نماذج الذكاء الاصطناعي.
هل يصبح الذكاء الاصطناعي عالم رياضيات؟
لا تعني هذه النتائج أن الذكاء الاصطناعي أصبح بديلًا عن علماء الرياضيات، لكنها تشير إلى تحول مهم في طبيعة العلاقة بين الإنسان والنماذج الذكية. فالنموذج يستطيع استكشاف عدد هائل من الاحتمالات وإنتاج براهين وأفكار جديدة، بينما يظل التحقق البشري والحاسوبي ضروريًا للتأكد من صحة النتائج وقيمتها العلمية.
وبذلك تتحول المنافسة في الذكاء الاصطناعي من مجرد الإجابة عن الأسئلة إلى محاولة اكتشاف أشياء جديدة لم تكن معروفة من قبل، وهو ما قد يجعل الرياضيات واحدة من أبرز المجالات التي تكشف حدود الجيل المقبل من نماذج الذكاء الاصطناعي.
