📁 يقول تيرينس تاو، الفائز بميدالية فيلدز، إن الذكاء الاصطناعي يمكنه بالفعل توليد العديد من البراهين الرياضية. العقبة الحقيقية هي التحقق. ابتكار الأفكار أصبح رخيصا. معرفة أيها صحيح حقا لا يزال عملا بشريا.