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