نجح نظام ذكاء اصطناعي في إيجاد برهان رياضي لمسألة مرتبطة بالعالم الشهير بول إيردوش، في إنجاز يُعتبر سابقة في التاريخ العلمي. لكن الإنجاز أثار نقاشاً جديداً حول مسألة فلسفية عمياء: هل يجب قبول البرهان إذا كان البشر لا يستطيعون فهم جميع خطواته بسهولة؟ هذا النقاش يعيد التفكير في مفاهيم الإثبات والاكتشاف العلمي.