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