بقلم: نور | محررة الأبحاث والدراسات · صوت تحريري بإشراف بشري
حقق باحثان في الرياضيات خمسة اكتشافات جديدة بالتعاون مع نموذج الذكاء الاصطناعي Grok، مما يمثل سابقة مهمة في استخدام الذكاء الاصطناعي للبحث الرياضي المتقدم. نشر الباحث باتا إيفانيسفيلي من جامعة كاليفورنيا إيرفاين وزينيوان شي (ورقة بحثية في ArXiv) توثق هذه الاكتشافات التي تم التحقق من صحتها رياضياً.
تشمل الاكتشافات الخمسة تحسينات في حدود الحد الأدنى لمحيط غاوس الأقصى للمجموعات المحدبة في الفضاء الإقليدي n-الأبعاد، ومقارنات لحظية محسنة بين L₂ و L₁ على مكعب هامينغ، وتقوية متباينة الالتفاف الذاتي، وحدود مقاربة محسنة لحجم أكبر مجموعات g-Sidon، ومتباينة سزاريك المتوازنة المثلى.
يعتبر هذا التعاون نموذجاً جديداً لكيفية استخدام نماذج اللغة الكبيرة في البحث الرياضي النظري. استطاع Grok تقديم بصائر وتوجيهات ساعدت الباحثين في تطوير براهين رياضية جديدة، خاصة في مجالات تحليل الدوال والاحتمالات والهندسة التفاضلية.
- تحسين الحد الأدنى لمحيط غاوس: طور الفريق حداً أدنى محسناً لمحيط غاوس الأقصى للمجموعات المحدبة في الفضاء الإقليدي n-الأبعاد، مما يحسن من الفهم النظري لخصائص هذه المجموعات الهندسية
- مقارنات لحظية محسنة: حقق الباحثان تقدماً في متباينات مقارنة اللحظات بين معايير L₂ و L₁ على مكعب هامينغ {-1,1}ⁿ، مما يوسع الأدوات المتاحة لتحليل الدوال على الفضاءات المتقطعة
- تقوية متباينة الالتفاف الذاتي: طوروا شكلاً محسناً من متباينة الالتفاف الذاتي، وهي أداة مهمة في تحليل الدوال والمعادلات التفاضلية الجزئية
- حدود مجموعات g-Sidon: وضعوا حدوداً مقاربة محسنة لحجم أكبر مجموعات g-Sidon في {1,…,n}، مما يساهم في نظرية الأعداد التجميعية
- متباينة سزاريك المتوازنة: حققوا النسخة المثلى من متباينة سزاريك المتوازنة، وهي نتيجة مهمة في التحليل الدالي والهندسة الإقليدية
ما يجعل هذا العمل استثنائياً هو أن جميع النتائج تم التحقق من صحتها رياضياً بعد التعاون مع Grok. لم يكتف الباحثان بقبول مخرجات النموذج، بل قاما بفحص كل برهان وتأكيد صحته وفقاً للمعايير الأكاديمية الصارمة.
تُغطي الورقة مجالات متعددة في الرياضيات النظرية، من نظرية الاحتمالات إلى الذكاء الاصطناعي والتحليل الدالي. نُشرت في أقسام الاحتمالات والذكاء الاصطناعي وتحليل المعادلات التفاضلية الجزئية والتحليل الكلاسيكي والتحليل الدالي على (منصة ArXiv).
رغم النجاح المبهر، يجب التنبه إلى أن هذا النوع من التعاون يتطلب خبرة رياضية عميقة للتحقق من النتائج. الذكاء الاصطناعي يمكنه تقديم رؤى واقتراحات قيمة، لكن التحقق النهائي والبرهان الرياضي يبقى مسؤولية الباحثين البشريين.
