مصطلح تقني
الاكتشاف الآلي للنظريات
استخدام أنظمة حاسوبية لتوليد حدوس رياضية أو اكتشاف أنماط أو صياغة نظريات مرشحة، غالباً عبر الاستدلال الرمزي أو البحث أو تعلم الآلة أو الأساليب الشكلية. لا يصبح الادعاء المكتشف نظرية مثبتة إلا بعد إنتاج برهان صحيح والتحقق منه.
بالإنجليزية
Automated Theorem Discovery
بالعربية
الاكتشاف الآلي للنظريات
ظهر أول مرة في
الذكاء الاصطناعي يفتح مساراً جديداً لحل مسألة رياضية عمرها 80 عاماً
