الرياضيات هي اللغة التأسيسية للكون، حيث توفر الأدوات اللازمة لوصف كل شيء بدءًا من قوانين الفيزياء وحتى تعقيدات علم الأحياء ومنطق علوم الكمبيوتر. لعدة قرون، تم توسيع حدودها من خلال البراعة البشرية وحدها. في Google DeepMind، نعتقد أن الذكاء الاصطناعي يمكن أن يكون بمثابة أداة قوية للتعاون مع علماء الرياضيات، وزيادة الإبداع وتسريع الاكتشاف.
اليوم، نقدم مبادرة الذكاء الاصطناعي للرياضيات، بدعم من Google DeepMind وGoogle.org. فهو يجمع بين خمس من أرقى المؤسسات البحثية في العالم لريادة استخدام الذكاء الاصطناعي في الأبحاث الرياضية.
المؤسسات الشريكة الافتتاحية هي:
- امبريال كوليدج لندن
- معهد الدراسات المتقدمة
- معهد الدراسات العلمية العليا (IHES)
- معهد سيمونز لنظرية الحوسبة (جامعة كاليفورنيا في بيركلي)
- معهد تاتا للبحوث الأساسية (TIFR)
سيعمل شركاء المبادرة على تحقيق الأهداف المشتركة المتمثلة في تحديد الجيل القادم من المشكلات الرياضية الجاهزة للرؤى المستندة إلى الذكاء الاصطناعي، وبناء البنية التحتية والأدوات اللازمة لدعم هذه التطورات، وفي النهاية، تسريع وتيرة الاكتشاف.
يتضمن دعم Google التمويل من Google.org والوصول إلى أحدث تقنيات Google DeepMind، مثل وضع الاستدلال المحسّن المسمى Gemini Deep Think، ووكيلنا لاكتشاف الخوارزميات، AlphaEvolve، ونظامنا الرسمي لإكمال البرهان، AlphaProof. ستعمل المبادرة على إنشاء حلقة ردود فعل قوية بين الأبحاث الأساسية والذكاء الاصطناعي التطبيقي، مما يفتح الباب أمام شراكات أعمق.
لحظة محورية للذكاء الاصطناعي والرياضيات
تأتي مبادرة الذكاء الاصطناعي للرياضيات في وقت يشهد تقدمًا ملحوظًا في قدرات الذكاء الاصطناعي على التفكير؛ لقد شهد عملنا تقدمًا سريعًا في الأشهر الأخيرة.
في عام 2024، حققت أنظمة AlphaGeometry وAlphaProof لدينا معيار الميدالية الفضية في الأولمبياد الدولي للرياضيات (IMO). وفي الآونة الأخيرة، حقق أحدث طراز من طراز Gemini، المجهز بتقنية Deep Think، أداءً على مستوى الميدالية الذهبية في IMO لهذا العام، حيث نجح في حل خمس من المشكلات الست بشكل مثالي وسجل 35 نقطة.
وقد شهدنا مزيدًا من التقدم مع طريقة أخرى من طرقنا، وهي AlphaEvolve، والتي تم تطبيقها على أكثر من 50 مشكلة مفتوحة في التحليل الرياضي والهندسة والتوافقيات ونظرية الأعداد وتحسين الحلول المعروفة سابقًا في 20% منها. وفي مجال الرياضيات واكتشاف الخوارزميات، اخترعت طريقة جديدة وأكثر كفاءة لضرب المصفوفات – وهي عملية حسابية أساسية في الحوسبة. بالنسبة لمشكلة ضرب المصفوفات 4 × 4، اكتشف AlphaEvolve خوارزمية تستخدم 48 عملية ضرب قياسية فقط، محطمًا الرقم القياسي الذي يبلغ عمره 50 عامًا والذي سجلته خوارزمية ستراسن في عام 1969. وفي علوم الكمبيوتر، ساعد ذلك الباحثين على اكتشاف هياكل رياضية جديدة تُظهر أن بعض المشكلات المعقدة يصعب على أجهزة الكمبيوتر حلها أكثر مما كنا نعرف سابقًا. وهذا يمنحنا فهمًا أكثر وضوحًا ودقة للحدود الحسابية، مما سيساعد في توجيه الأبحاث المستقبلية.
يعد هذا التقدم السريع بمثابة شهادة على القدرات سريعة التطور لنماذج الذكاء الاصطناعي. نأمل أن تتمكن هذه المبادرة الجديدة من استكشاف كيف يمكن للذكاء الاصطناعي تسريع الاكتشافات في الأبحاث الرياضية ومعالجة المشكلات الأكثر صعوبة.
نحن فقط في بداية فهم كل ما يمكن أن يفعله الذكاء الاصطناعي، وكيف يمكن أن يساعدنا في التفكير في أعمق الأسئلة في العلوم. ومن خلال الجمع بين الحدس العميق لعلماء الرياضيات الرائدين على مستوى العالم والقدرات الجديدة للذكاء الاصطناعي، نعتقد أنه يمكن فتح مسارات جديدة للبحث، وتطوير المعرفة الإنسانية والتحرك نحو اختراقات جديدة عبر التخصصات العلمية.
