نموذج استدلال من OpenAI يقدم برهاناً أصلياً لمسألة هندسية لإيردوس عمرها 80 عاماً

أعلنت OpenAI يوم الأربعاء أن أحد نماذجها المخصصة للاستنتاج المنطقي توصل إلى برهان أصيل يحل مسألة هندسية معقدة تعود لثمانين عاماً، كان قد طرحها عالم الرياضيات Paul Erdős لأول مرة في عام 1946. هذا الادعاء، في حال تأكيده بشكل نهائي، بيمثل قفزة نوعية ومهمة للذكاء الاصطناعي في عالم الرياضيات. وبحسب TechCrunch، الشركة أكدت أن النموذج لم يكتفِ باسترجاع حلول معروفة أو الاعتماد على نظام رياضي متخصص، بل ابتكر بشكل مستقل "عائلة جديدة من الإنشاءات" تفوقت على أفضل المنهجيات التي كان العلماء يعتقدون بصحتها لعقود.