ذكاء اصطناعي صيني يحل لغزاً رياضياً حيّر العلماء لعقد

نجح فريق من جامعة بكين في تطوير نظام ذكاء اصطناعي متقدم.

تمكن من حل مسألة رياضية معقدة.

ظلّت دون حل منذ عام 2014.

وكان قد طرحها العالم دان أندرسون.

في مجال الجبر التبادلي.

واستطاع النظام تحليل عقود من الأبحاث.

والوصول إلى حل دقيق بشكل شبه مستقل.

مع التحقق من النتائج دون تدخل بشري.

واستغرق نحو 80 ساعة فقط لإتمام المهمة.

ويعتمد على نظامين متكاملين للاستدلال والتحقق.

ما يعزز موثوقية البراهين الرياضية.

ويمهد لأتمتة البحث العلمي مستقبلاً.