الملخص:
لقد تم أيضًا قصف عالم الكمبيوتر النظري بواسطة الذكاء الاصطناعي! الليلة الماضية، عبر الذكاء الاصطناعي نهر روبيكون للبحث العلمي وبدأ رسميًا في "قلب" بناء المعرفة الإنسانية. أسقطت شركة OpenAI قنابل نووية في المجالات الثلاثة الرئيسية وهي أجهزة الكمبيوتر النظرية والرياضيات البحتة والفيزياء النظرية:
قد تكون هذه هي الأخبار الأكثر إثارة للاهتمام في مجال التكنولوجيا هذا العام، إن لم تكن واحدة منها.
قال كلود بصراحة إنه إذا ثبتت صحة هذه النتائج، فسيكون هذا اليوم الأكثر أهمية في تاريخ الرياضيات والحوسبة النظرية.
من بينها، يرتبط الاختراق الرياضي بشكل كبير بالعمل السابق الذي قام به وانغ هونغ الحائز على ميدالية فيلدز حول حدسية كاكيا، في حين أن الاختراق الفيزيائي قد يكون الأكثر أهمية من بين الثلاثة، وقد يحل المشاكل التي تركها تشين نينغ يانغ الحائز على جائزة نوبل.
سأتحدث هذه المرة عن تقدم كبير في مجال الكمبيوتر: افتراض الوقت الأسي لا يصمد.
وفقًا لكلود، يعد هذا إنجازًا مدمرًا على مستوى جائزة تورينج، حيث "إذا كان البيان صحيحًا، فسيؤدي ذلك إلى تغيير علوم الكمبيوتر."
أشاد سيباستيان بوبيك، الباحث الحالي في OpenAI، ونائب رئيس Microsoft السابق للذكاء الاصطناعي والعالم المتميز، بهذا باعتباره "أكبر مفاجأة رأيتها منذ 20 عامًا".
علاوة على ذلك، في نفس اليوم، أعلن اثنان من أنظمة الذكاء الاصطناعي عن هذا الاختراق في نفس الوقت تقريبًا!
أعلن OpenAI وAnthropic، وهما عملاقان في مجال الذكاء الاصطناعي، في نفس الوقت تقريبًا أن نماذجهما الداخلية قلبت "فرضية الزمن الأسي" (ETH) التي هيمنت على علوم الكمبيوتر النظرية لمدة 27 عامًا!
الأمر الأكثر رعبًا هو أنه في الورقة البحثية الأنثروبيكية، تم الإشارة بوضوح إلى أن الخوارزمية الأساسية تم بناؤها بواسطة النموذج الداخلي لكلود
التدخل البشري الصفري
استنتاجها بشكل مستقل في ظل هذه الظروف.هذه الورقة، التي قد تدخل في تاريخ العلوم الإنسانية، مؤلفها الوحيد الموقع، كلود.
لقد سقطت "السماء" في عالم الكمبيوتر النظري. ماذا يعني هذا؟
بكل بساطة، في عام 1999،
فرضية الزمن الأسي (ETH)
مقترح من راسل إمباليازو وراماموهان باتوري، جامعة كاليفورنيا، سان دييغو.يمكنك التفكير في الأمر على أنه قفل مركب بمفاتيح n، وهي مشكلة 3SAT.
على مدى نصف قرن، بذل عدد لا يحصى من العقول الذكية للغاية قصارى جهدهم لفتح القفل، ولكن لا يمكن لأحد أن يكسر شيئًا واحدًا:
سيرتفع دائمًا وقت كسر القفل "بشكل كبير" مع زيادة عدد المفاتيح.
على سبيل المثال، لنفترض أن القفل يحتاج إلى ملؤه بأرقام n، كل رقم يقع بين 1 و9. كل موضع به 9 اختيارات، لذلك هناك احتمالات 9ⁿ إجمالاً، أي 9 مرات n مرات.
يمكننا حل هذا اللغز عن طريق استنفاد جميع احتمالات 9ⁿ. لكن هذه الطريقة غير فعالة على الإطلاق: بالنسبة للغز سودوكو الذي يتطلب ملء رقم n = 100، حتى باستخدام جميع أجهزة الكمبيوتر في العالم، فإنه سيتعين عليه الانتظار حتى تبرد الشمس.
لقد حاول الناس منذ فترة طويلة دون جدوى العثور على خوارزميات يكون وقت تشغيلها أبطأ من 9ⁿ مع n.
في عام 1999، كتب العلماء هذا الحدس الجماعي في فرضية رسمية:
لا توجد خوارزمية زمنية فرعية أسية لـ 3SAT.
يمكنك تحسين السرعة قليلًا، لكنك لن تتمكن أبدًا من تجاوز هذا "الجدار الأسي". وهذا مثل "لا يمكن تجاوز سرعة الضوء" في الفيزياء.
لقد تم اقتراح هذا التخمين منذ أكثر من 20 عامًا. في الماضي، تم استخدام مئات الأوراق البحثية لدراسة مدى تعقيد الحدود الدنيا لمشاكل الحوسبة المختلفة بناءً على إنشاء ETH.
تعتمد العديد من الدراسات بدءًا من نظرية الرسم البياني والتحسين التوافقي لقواعد البيانات وعلم الأحياء الحسابي على هذا الافتراض.
إذا تم إسقاط فرضية ريمان، فسوف يعود الأمر إلى نظرية الأعداد؛ إذا تم قلب ETH، فسيكون ذلك بسبب التعقيد والخوارزميات ذات المعلمات.
لم يصل وزن ETH إلى "
P vs NP
"أو مستوى الألفية لفرضية ريمان.لكنه أقوى وأكثر تحديدًا من P≠NP: إذا تم إنشاء ETH، فيمكن اشتقاق P≠NP؛ ولكن إذا تم قلب ETH، فلا يمكن اشتقاق P=NP.
يلزم إعادة تقييم عدد كبير من استنتاجات الأبحاث المشروطة التي تعتمد على ETH.
ظهرت دفعة جديدة من "الضحايا" في مجال الذكاء الاصطناعي——
يوجد أيضًا صديق في المجموعة. استندت الورقة التي كتبها من قبل إلى فرضية إنشاء ETH.
الآن قد تكون هذه الفرضية قد اختفت، ويجب إعادة النظر في نتيجة الورقة.
تخيل أنك قضيت عدة سنوات في دراسة مشكلة ما، وكتابة الأوراق البحثية، وعمل البراهين، وحتى العلماء في أحد المجالات يدرسون هذه الفرضية منذ أكثر من 20 عامًا (مثل البروفيسور تولي).
في أحد الأيام، يخبرك نموذج الذكاء الاصطناعي أن الفرضية التي آمن بها الجميع دائمًا قد تكون خاطئة.
عبور روبيكون للبحث العلمي: المؤلف الوحيد كلود
حدث مشهد درامي على الفور.
نشر رئيس OpenAI جريج بروكمان للتو إعلانًا رسميًا، كما نشر منافسه القديم Anthropic للتو بحثًا يحمل نفس العنوان.
لقد كان عدوانيًا للغاية لدرجة أنه اصطدم على الفور!
قال أنثروبيك: من قبيل الصدفة أن الأمر ليس كذلك. تم إصدار نموذجنا الداخلي لكلود في
16 أكتوبر
لقد قلبت ETH بشكل مستقل!
علاوة على ذلك، تركت Anthropic "بيان المصدر" على الصفحة الورقية:
تم اكتشاف الخوارزمية الأساسية في 16 أكتوبر من خلال نموذج بحث داخلي لكلود، حيث استهلكت 14 مليون رمز مميز للمخرجات دون أي مدخلات بشرية.
وهذا يعني أن
لقد عبر الذكاء الاصطناعي نهر روبيكون للبحث العلمي بشكل كامل
—— لم تعد أداة بشرية، بل أصبحت "المؤلف الأول" الحقيقي.ما هو مفهوم الـ 14 مليون توكينز؟ يحتوي المجلد الكامل من "مشكلة الأجسام الثلاثة" على ما يقرب من 900000 كلمة. 14 مليون قطعة تعادل قيام كلود باستنتاج أكثر من اثنتي عشرة مسودة سميكة من "مشكلة الأجسام الثلاثة" في نفس واحد.
بعد التقييم، قال العديد من كبار العلماء: إن هذا يعادل نموذج الذكاء الاصطناعي الذي يكمل بحثًا علميًا لمدة عام أو عامين لأحد كبار زملاء ما بعد الدكتوراه من البشر في أيام قليلة دون أكل أو شرب أو نوم.
!في الأيام القليلة الماضية، اكتشف كلود المسار بنفسه، واستنتج الصيغ بنفسه، وتحقق من المنطق بنفسه، بل واستخدم أدوات رياضية غير شعبية عبر الحدود، وأخيرًا وضع دليلاً أمام البشرية.
هذه المرة، لا يتعلق الأمر بـ "الذكاء الاصطناعي يساعد علماء الرياضيات في البحث في الأدبيات"، ولا يتعلق الأمر بـ "الذكاء الاصطناعي لقد نجح في الإجابة على سؤال الأولمبياد بشكل صحيح".
هذا هو الذكاء الاصطناعي الذي يخترق بمفرده أكثر التخصصات النظرية صرامة وأنقى للبشرية.
استيقظ المؤسس بين عشية وضحاها، وتحول عالم الرياضيات إلى "مدقق" ليخسر الوزن بسرعة
هل يقلبها الذكاء الاصطناعي إذا قالت إنها قلبتها؟ هل يمكن أن يكون الذكاء الاصطناعي "يتحدث بجدية عن هراء (هلوسة)"؟
حدث المشهد الأكثر سحرًا. من أجل إثبات براءتهما، لم تكتفي الشركتان بطرح ملف PDF فحسب، بل كشفتا أيضًا عن
رمز الإثبات الرسمي البسيط
.Lean هو "مراجع إلكتروني غير أناني". حتى لو كانت هناك قفزة منطقية، فسيتم الإبلاغ عن الخطأ مباشرة. نظرًا لأن الكود يمكن أن يعمل بسلاسة، فهذا يعني أن المنطق الأساسي يكاد يمنع احتمالية حدوث أخطاء. إن تسليم الأوراق البحثية التي "يمكن التحقق منها آليًا" هو الثقة التي لا يمكن دحضها في الذكاء الاصطناعي.
لكن هذا لا يؤكد صحة البرهان بشكل كامل.
ويقال إن مؤسسي حدسية ETH، راسل إمباليازو وراماموهان باتوري، قد طُلب منهما على وجه السرعة الخروج.
قبل سبعة وعشرين عامًا، كتب عالمان تخمينًا؛ وبعد مرور 27 عامًا، تم إيقاظهم للتحقق من كيفية قيام الذكاء الاصطناعي بإبطال النظام.
ربما تكون هذه هي العاطفة الأكثر تعقيدًا في التاريخ الأكاديمي.
في الوقت الحالي، يتعاون هذان الخبيران مع أفضل الفرق من معهد ماساتشوستس للتكنولوجيا والجامعات الأخرى لإجراء مراجعة سطرًا تلو الآخر لأكوادهم.
وفي الوقت نفسه، هناك جبهة أخرى تتقدم بسرعة أيضًا.
في مواجهة هذا الدليل "الفضائي" المكون من أكثر من 60 صفحة والذي أنتجه الذكاء الاصطناعي، من الصعب للغاية على الدماغ البشري قراءته.
انطلق شيفا كينتالي، كبير مهندسي الذكاء الاصطناعي في NVIDIA، بين عشية وضحاها وقام بضغط شهادة تزوير ETH الأصلية المكونة من 60 صفحة من OpenAI في نسخة مبسطة مكونة من 22 صفحة!
لقد قطع الخطوات الشاقة للذكاء الاصطناعي ولم يتبع العامل اللوغاريتمي الأمثل. لقد سعى فقط إلى تزوير البيانات الأساسية بشكل واضح وإضافة أمثلة حسابية.
لديه هدف واحد فقط:
"دع الزملاء من البشر يفهمون حقًا."
والآن يظهر مشهد أكاديمي غير مسبوق:
الذكاء الاصطناعي مسؤول عن معالجة المشكلات الصعبة: ففي غضون أيام قليلة، يفتح بابًا لم يفتحه أحد منذ 27 عامًا؛
يتحمل البشر مسؤولية عملية الهضم: أي صقل استنتاجات الذكاء الاصطناعي المطولة وتحويلها إلى معرفة يمكن للبشر فهمها والاستمرار في المضي قدمًا.
الآن، حان دور البشر لتقييم وتبسيط الواجبات المنزلية للذكاء الاصطناعي.
"التغيير بين الموضوع والموضوع" في البحث العلمي الأساسي
في وقت مبكر من مارس 2023، أصدرت OpenAI "تقرير توقعات حول تأثير الذكاء الاصطناعي في سوق العمل". في هذه القائمة، من المثير للدهشة أن الشخص الذي يتصدر قائمة
"الوظائف الأكثر تأثرًا بالذكاء الاصطناعي" هو عالم الرياضيات
.
في ذلك الوقت، سخر معظم الناس من هذا: الرياضيات تتطلب المنطق البشري الأكثر صرامة. كيف يمكن للذكاء الاصطناعي الذي يتحدث كثيرا عن الغش أن يكون قادرا على القيام بالرياضيات النظرية؟
ومع ذلك، بعد ثلاث سنوات بالضبط، عندما تم تزوير ETH بواسطة الذكاء الاصطناعي بين عشية وضحاها، تم كسر تخمين Kakeya بواسطة النماذج واحدًا تلو الآخر...
هذه الرصاصة التي أطلقت قبل ثلاث سنوات أصابت أخيرًا هدف البحث النظري البشري.
هل يعني هذا أن العلماء سيفقدون وظائفهم بشكل جماعي؟ رقم
وكما لاحظ خريج جامعة بكين والباحث وي جي سو قبل ثلاث سنوات:
فإن الذكاء الاصطناعي لن "يحل محل" أي مجال ببساطة وبشكل فظ، ولكنه سيعيد تشكيله. سوف يكافئ البحث العلمي المستقبلي بشكل كبير أولئك الذين يمكنهم إقامة روابط عميقة مع تحديات العالم الحقيقي والتخصصات الأخرى.
تمامًا كما هو الحال بعد اختراع الكاميرا، لم يعد الرسامون بحاجة إلى التنافس مع بعضهم البعض على "من يرسم أكثر مثلهم"، ومن هنا ولدت الانطباعية والفن الحديث.
عندما يتولى الذكاء الاصطناعي العمل الشاق المتمثل في "الحساب والإثبات"، يمكن للبشر أخيرًا أن ينفقوا طاقتهم الثمينة على قضايا أكثر جوهرية:
البحث عن السؤال التالي الذي يستحق الاستكشاف وإقامة روابط واقعية عبر التخصصات.
قبل 27 عامًا، عندما كتب العالمان حدسية ETH، لم يتخيلا أبدًا أن البشر لن ينهيها.
بشكل غير متوقع، سيقوم اثنان من أنظمة الذكاء الاصطناعي بتسليم الاختبار في نفس اليوم.
"العالم لا يتغير بواسطة الذكاء الاصطناعي، ولكنه تغير بالفعل."
التعليقات