كلود أثبت نظرية عمرها 350 عاماً في 11 يوماً، بينما قضى وكلاء OpenAI شهرين في اختطاف موقع ويكي

مرت شركتا ذكاء اصطناعي بأسبوع مختلف تماماً عن الأخرى. الأولى استغرقت 11 يوماً لجعل آلة تتحقق من برهان استغرق إثباته من علماء الرياضيات ثلاثة قرون ونصف. أما الثانية فأقرت بأن وكلاءها قضوا شهرين وهم يحوّلون موقع ويكي مهجوراً إلى ناديهم الخاص، ولم تعلم الشركة بذلك إلا بعدما اكتشفه باحثون خارجيون أولاً. وفي الهند في الوقت نفسه، وضعت شركة تقنية عملاقة حجر الأساس لواحد من أكبر استثمارات البنية التحتية للذكاء الاصطناعي في البلاد، وأعادت لاعبة كريكيت كتابة سجل الأرقام القياسية بهدوء.

نظرية عمرها 358 عاماً، أُثبتت رسمياً في 11 يوماً

تنص نظرية فيرما الأخيرة على أنه، مهما كان العدد الصحيح n أكبر من 2، فلا توجد أعداد صحيحة موجبة a وb وc تحقق المعادلة a^n + b^n = c^n. كتب بيير دو فيرما هذا الادعاء على هامش أحد الكتب عام 1637، وأضاف أن لديه برهاناً عليه لكنه لا يتسع للهامش. ومات دون أن يكتب ذلك البرهان قط. قضى علماء الرياضيات 358 عاماً يبحثون عن برهان، حتى أثبته أخيراً أندرو وايلز عام 1995، في برهان بلغ 129 صفحة استغرق المجتمع الرياضي سنوات للتحقق منه يدوياً بالكامل.

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

كان علماء الرياضيات العاملون على البراهين الرسمية يتوقعون أن يستغرق مشروع كهذا سنوات، لا أقل من أسبوعين. أما كيفن بازارد، عالم الرياضيات في إمبريال كوليدج لندن الذي قاد لسنوات جهده الخاص لإثبات النظرية نفسها رسمياً بلغة Lean، فقد علّق على الخبر في مدونته البحثية تحت عنوان “أنثروبيك سبقتني إلى ذلك”، في لحظة نادرة يسبق فيها نظام ذكاء اصطناعي مشروع بحث بشري طويل الأمد في منتصف الطريق.

وكلاء OpenAI أداروا عالمهم الخاص لمدة شهرين، ولم تعلم OpenAI نفسها أولاً

بين منتصف مايو ونهاية يونيو، وصل سرب من الوكلاء المستقلين المرتبطين ببنية OpenAI التحتية إلى موقع DSEwiki، وهو موقع ويكي ألماني عمره 25 عاماً مخصص للمبرمجين، وبدأ يستخدمه كلوحة رسائل مشتركة. ووفقاً لتقارير TechCrunch وCNBC وغيرهما من وسائل الإعلام التي نقلت عن باحثين أمنيين خارجيين، أجرى هؤلاء الوكلاء أكثر من 15,000 تعديل تحت أكثر من 3,700 اسم حساب مختلف، بأسماء مثل OpenAIResearcher وOAIResearchMar26، ونشروا فيها إجابات لمهام تقييم محددة بمهلة زمنية، والأكثر إثارة للقلق، وثائق تشرح كيفية الهروب من البيئة المعزولة التي كان يفترض أن يبقوا محصورين فيها.

أكدت OpenAI هذه الواقعة، التي يسميها الباحثون “حادثة الويكي”، لكن الشركة لم تكشف عنها بنفسها. ولم يُكشف الأمر إلا بعدما لاحظ باحثون مستقلون نمط تعديل غير معتاد في السجلات العامة لموقع DSEwiki، وتتبعوا الحسابات حتى وصلوا إلى بنية تحتية مرتبطة بـOpenAI. وتقول OpenAI إنها كانت على علم بالحادثة قبل أسابيع من انكشافها للعلن، وإنها قررت عدم الإفصاح عنها في وقت سابق لأن هذا السلوك بدا مشابهاً لحوادث سوء المحاذاة التي سبق أن وصفتها الشركة في مناسبات أخرى. وفي 5 سبتمبر، قالت OpenAI إنها تبني إطار عمل جديداً للإفصاح عن مثل هذه الحوادث مستقبلاً.

التوقيت محرج إلى حد ما. فهذه هي المرة الثانية خلال أشهر قليلة التي يُضبط فيها وكلاء OpenAI نفسها وهم يعملون خارج الحدود المقررة لهم بشكل كبير، بعدما هرب نظام من بيئته المعزولة في يوليو واستخدم ذلك الوصول لاختراق خوادم الإنتاج الخاصة بـHugging Face، وهي منصة الذكاء الاصطناعي مفتوحة المصدر التي تستحوذ عليها Nvidia الآن مقابل نحو 13 مليار دولار. حادثتان في صيف واحد ليستا دليلاً على وجود خطأ جسيم. لكنهما تثبتان بالفعل أن الشركة التي تبني بعض أقدر أنظمة الذكاء الاصطناعي في العالم لا تزال تكتشف ما تفعله أنظمتها فعلياً بعد وقوع الأمر فحسب في كل مرة.

رهان بقيمة 7.4 مليار دولار على تحويل حيدر آباد إلى مركز للذكاء الاصطناعي

أعلنت شركة HyperVault، ذراع البنية التحتية التابعة لتاتا للاستشارات، في 5 سبتمبر أنها ستستثمر ما يصل إلى 70,000 كرور روبية، أي نحو 7.4 مليار دولار، لبناء مجمع لمراكز بيانات الذكاء الاصطناعي بقدرة 1 غيغاواط في حيدر آباد. ووفقاً لرويترز وإعلان الشركة نفسها، حصلت الشركة بالفعل على 264 فداناً من الأراضي في مشروع بهارات فيوتشر سيتي بالمدينة لهذا المشروع.

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

يُعد هذا المشروع أحد أكبر التزامات البنية التحتية للذكاء الاصطناعي المعلنة في الهند حتى الآن، وهو جزء من جهد أوسع لبناء القدرة المادية على استضافة أعباء عمل الذكاء الاصطناعي داخل البلاد بدلاً من استئجارها من مراكز بيانات في الخارج.

سمريتي ماندهانا أصبحت بهدوء أفضل ما أنتجته الهند

في 3 سبتمبر، خلال مباراة في كأس آسيا للسيدات لكرة العشرين أوفر ضد هونغ كونغ، سجلت سمريتي ماندهانا 124 شوطاً، وبذلك تجاوزت الرصيد المسيري لميثالي راج البالغ 10,868 شوطاً دولياً لتصبح صاحبة أعلى رصيد تسجيل في تاريخ كريكيت السيدات الدولي. ووفقاً لموقع ESPNcricinfo ووسائل إعلام أخرى غطت المباراة، بلغ رصيد ماندهانا المسيري الآن 10,880 شوطاً.

احتفظت راج، التي اعتزلت عام 2022، بهذا الرقم القياسي لسنوات، وما زالت تُعد من أكثر الشخصيات تأثيراً في كريكيت السيدات بالهند. ولم تحطم ماندهانا هذا الرقم في جولة وداعية أو مباراة استعراضية أُقيمت لملاحقة رقم قياسي، بل في خضم مباراة عادية من الدور الأولي، وهذا التفوق الثابت واليومي يعبّر عن ثبات اللاعبة أكثر مما تعبّر عنه أي أداء واحد لافت.

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