متابعة – أمل علوي
حصل باحثو قسم الرياضيات في MIT، ديفيد رو وأندرو ساذرلاند، على منح “الذكاء الاصطناعي للرياضيات” من مؤسسة Renaissance Philanthropy وشركة XTX Markets. يأتي هذا التكريم في إطار دعم المشاريع التي تهدف إلى تطوير أنظمة الذكاء الاصطناعي لتعزيز الاكتشافات والأبحاث الرياضية.
أهداف المنحة ومشاريعها
تُخصص المنحة لدعم 29 مشروعًا فائزًا يدعم علماء الرياضيات والباحثين في الجامعات والمؤسسات. يهدف مشروع رو وساذرلاند، بالتعاون مع كريس بيركبيك من جامعة شرق أنغليا، إلى تعزيز إثبات النظريات الآلية من خلال بناء روابط بين قاعدة بيانات L-functions والمكتبة الرياضية Lean4 (mathlib).
يقول ساذرلاند: “تعتبر أدوات إثبات النظريات الآلية معقدة تقنياً، لكن تطويرها يعاني من نقص الموارد”. ومع التقدم التكنولوجي في الذكاء الاصطناعي، تتراجع الحواجز أمام استخدام هذه الأدوات بشكل متسارع.
تعزيز النظامين الرياضيين
تحتوي مكتبة mathlib على 105 نتائج رياضية، بينما تحتوي قاعدة بيانات LMFDB على أكثر من 10^9 بيان ملموس. يهدف مشروع رو وساذرلاند إلى دمج نتائج LMFDB ضمن mathlib لتصبح متاحة كشهادات لم يتم إثباتها بعد بشكل رسمي، مما يتيح للرياضيين والذكاء الاصطناعي الاستفادة من هذه المعلومات.
التحديات الحالية في الاكتشاف الرياضي
تواجه عملية الأتمتة في الاكتشاف الرياضي عدة تحديات، منها نقص المعرفة الرياضية الرسمية وتكاليف توثيق النتائج المعقدة. ستركز الأبحاث المدعومة بالمنحة على تطوير أدوات للوصول إلى LMFDB من خلال mathlib، مما يسهل الوصول إلى قاعدة بيانات واسعة من المعرفة الرياضية غير الرسمية.
خطوات المستقبل
يخطط الباحثون لبناء فريق عمل والتفاعل مع مجتمعَي LMFDB وmathlib، وبدء توثيق التعريفات المتعلقة بالمنحنيات البيانية، ومجالات الأعداد، والأشكال المودولية في LMFDB. كما يدعون طلاب MIT المهتمين بالمشاركة في المشروع للتواصل معهم.
هذا المحتوى تم باستخدام أدوات الذكاء الاصطناعي.
