حلّ الذكاء الاصطناعي حدسية ريمان المعمّمة خلال 3 ساعات فقط من وقت الحوسبة! وقد أتاحت OpenAI مؤخرًا 722 مخطوطة رياضية متقدمة مفتوحة المصدر، مستبعدةً دفعة واحدة أصفار لانداو-سيغل التي حيّرت علماء نظرية الأعداد قرابة قرن، كما أُرفق 63% من النتائج ببراهين آلية صورية بلغة Lean. ومنحت مؤسسة سيمونز على نحو عاجل 5 ملايين دولار لمساعدة الباحثين على فك شفرة استدلالات الذكاء الاصطناعي. وهذا يعني أن الذكاء الاصطناعي تجاوز تمامًا عنق الزجاجة المتمثل في هلوسات التخمين الاحتمالي، ودخل عصر الاستدلال القابل للتحقق والخالي من الثغرات عبر مبدأ «البرهان هو البرنامج» (تماثل كاري-هاوارد). وبالنسبة إلى Web3، فإن التحقق الصوري بلغة Lean هو الكأس المقدسة للجيل القادم من براهين المعرفة الصفرية (zkVM) والتدقيق الآلي للعقود الذكية — فإذا استطاع الذكاء الاصطناعي إثبات مسألة في نظرية الأعداد حيّرت العلماء قرنًا خلال 3 ساعات، فستتمكن الرياضيات الآلية من القضاء نهائيًا على ثغرات الاختراق في بروتوكولات الأموال على السلسلة التي تبلغ قيمتها عشرات المليارات، كما أن الحوسبة القابلة للتحقق والتمويل الأصلي للآلات يقتربان من نقطة التفرد الحقيقية! هل تعتقد أن البراهين الصورية التي ينتجها الذكاء الاصطناعي ستجعل مخترقي العقود الذكية عاطلين عن العمل تمامًا؟ $BTC $BNB $ETH #BTC #Crypto #AI #Web3