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