الذكاء الاصطناعي بات قادراً على إنتاج علم أصيل. تكلفة الاكتشافات انخفضت للتو.

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

جاءت المسائل من أعماق الرياضيات: كيف تُرصّ الكرات بأكبر كثافة ممكنة في ألف بُعد؟ كيف تُجعل أنواع معينة من رموز التشفير أكثر كفاءة؟ حلّ Astra جميعها بتكلفة حوسبة تبلغ نحو $2,000 — تقريباً ما تدفعه شركة صغيرة شهرياً مقابل اشتراكات البرمجيات. كل حل منشور في وثيقة مكوّنة من 249 صفحة على GitHub، مع التحقق الآلي من كل خطوة في البرهان باستخدام أداة تدعى Lean 4. فحص الحاسوب كل سطر بعينه.

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

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