A fully automatic math-solving machine has been a dream since the birth of the word "artificial intelligence," but it has stayed at the level of arithmetic for a long, long time.
מכונה אוטומטית לגמרי לפתרון בעיות מתמטיות היתה בגדר חלום מאז הולדת המונח "תבונה מלאכותית", אבל במשך זמן רב מאד זה נותר ברמת החשבון הפשוט.