كشفت OpenAI عن كنز علمي جديد: 372 نتيجة رياضية مبتكرة تم اكتشافها بواسطة نموذج ذكاء اصطناعي داخلي. هذا الإنجاز لا يقتصر على حل المسائل المعقدة، بل يمثل خطوة جريئة نحو استخدام الذكاء الاصطناعي في توليد اكتشافات بحثية جديدة في مجالات رياضية متقدمة.

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

تنوعت النتائج المكتشفة لتشمل مجالات رياضية دقيقة مثل نظرية الأعداد، الجبر، المنطق الرياضي، علوم الحاسوب النظرية، والطوبولوجيا. كما تضمنت حلولاً لمسائل بحثية مفتوحة أو صعبة في الرياضيات المتقدمة، بالإضافة إلى نتائج خاصة بموضوعات معقدة مثل صيغة ميزارد-باريسي وبعض مسائل نظرية الأعداد.

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

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

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