للتو وصلت: التحليل يكشف أن بوتنام أسهل بأربع مرات / يتطلب تفكيرا أقل بكثير من رأيي. كان متوسط طول إثبات أرسطو لين 4 لمسائل بوتنام العشرة المحلولة ~250 سطرا، مقارنة ب~1000 لمن نظر المرجع، أي انخفاض بنسبة 75٪. نحن نستكشف تطبيق الحوسبة الموسعة على الاثنين الآخرين (A5 و B4)، لتحديد الصعوبة النسبية بدقة أكبر. بعض التحفظات: هناك تحسينات في النماذج والخوارزميات منذ نتيجة أرسطو التي حصلت على الميدالية الذهبية في رأيي، لكن أيضا النسخة الاستهلاكية المتاحة للجمهور أضعف بكثير مما كان يستخدم داخليا لحل مسائل IMO. وبصفتنا نحن من محبي بوتنام، يجب أن نعترف حتى بنا — برأيي لا يزال هو الملك. 👑