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