أكبر تحول في تاريخ الرياضيات
تشهد الرياضيات ما يسميه العديد من الباحثين بأكبر تحول في تاريخها. أدهشت السرعة التي تكتسب بها أنظمة الذكاء الاصطناعي القدرة الرياضية حتى الملاحظين المتفائلين، والآثار المترتبة على هذا المجال عميقة. لم يعد الذكاء الاصطناعي مجرد أداة لإجراء الحسابات. بدأ يسهم في التفكير الرياضي واكتشاف الإثبات وحتى صياغة تخمينات جديدة.
تسارع هذا التحول بشكل كبير في السنتين الماضيتين، مدفوعاً بالتقدم في نماذج اللغات الكبيرة وأنظمة الذكاء الاصطناعي الرياضية المتخصصة. البرامج التي كانت بالكاد قادرة على التعامل مع الرياضيات على مستوى البكالوريوس قبل سنوات قليلة تعالج الآن المشاكل التي تتحدى علماء الرياضيات المحترفين، ولا تظهر وتيرة التحسن أي علامات على التباطؤ.
ما يمكن للذكاء الاصطناعي القيام به الآن في الرياضيات
أظهرت أنظمة الذكاء الاصطناعي الحديثة قدرات في نطاق واسع بشكل مفاجئ من الأنشطة الرياضية. وتشمل هذه التحقق من الإثبات الرسمي، حيث يتحقق الذكاء الاصطناعي من الصحة المنطقية للحجج الرياضية خطوة بخطوة، وتوليد الإثبات، حيث تقوم الأنظمة بإنشاء إثبات أصلي للبيانات الرياضية.
تشمل الإنجازات الأخيرة:
- أنظمة الذكاء الاصطناعي التي تحل مشاكل الرياضيات على مستوى المنافسة في أو بالقرب من مستوى أفضل المتنافسين البشريين
- الاكتشاف الآلي للعلاقات والأنماط الرياضية الجديدة في مجموعات البيانات الكبيرة
- الإثبات المدعوم من الذكاء الاصطناعي للنتائج التي قاومتها علماء الرياضيات البشريين لسنوات
- تطوير التخمينات الرياضية من خلال التعرف على الأنماط عبر قواعد البيانات الرياضية الواسعة
- التحقق الرسمي من الإثباتات المعقدة جداً أو الطويلة جداً لمراجعة الإنسان
ربما الأكثر لفتاً للنظر هو ظهور أنظمة الذكاء الاصطناعي التي يمكنها الانخراط في نوع التفكير الرياضي الإبداعي الذي اعتُبر منذ فترة طويلة فريداً من نوعه للإنسان. لا تقتصر هذه الأنظمة على تطبيق التقنيات المعروفة بشكل ميكانيكي. أنها تطور نهجاً جديداً، وتقوم بقفزات حدسية، وتستكشف الهياكل الرياضية بطرق تشبه التفكير الرياضي البشري.
كيف يستجيب علماء الرياضيات
المجتمع الرياضي منقسم في استجابته لهذه التطورات. يحتضن بعض الباحثين الذكاء الاصطناعي كمتعاون جديد قوي يمكنه تعزيز القدرات الرياضية البشرية. يشيرون إلى أمثلة حيث اقترح الذكاء الاصطناعي نهجاً لم يكن علماء الرياضيات البشريين قد اعتبروها، مما أدى إلى اختراقات ربما لما كانت ستحدث بخلاف ذلك.
يعرب آخرون عن قلقهم بشأن الآثار المترتبة على المهنة وطبيعة المعرفة الرياضية. إذا كان الذكاء الاصطناعي يمكنه إثبات النظريات بشكل أسرع وأكثر موثوقية من البشر، فما هو دور عالم الرياضيات البشري؟ يشعر البعض بالقلق من أن المجال قد يفقد الفهم العميق الذي يأتي من صراع شخصي مع المشاكل، مما يحل محله علاقة أكثر سطحية بالحقيقة الرياضية.
الأدوات التي تدفع التغيير
تدفع عدة تقنيات رئيسية ثورة الذكاء الاصطناعي في الرياضيات. طورت نماذج اللغات الكبيرة المدربة على النصوص الرياضية ومكتبات الإثبات الرسمية قدرات رياضية مفاجئة كخاصية ناشئة من التدريب الخاص بها. دفعت الأنظمة المتخصصة مثل AlphaProof من Google DeepMind وأدوات التفكير الرسمي من Meta حدود ما يمكن للذكاء الاصطناعي تحقيقه في المجالات الرياضية المحددة.
تلعب مساعدات الإثبات الرسمية مثل Lean و Coq و Isabelle دوراً حاسماً أيضاً. توفر هذه الأنظمة إطاراً صارماً يمكن فيه التعبير عن الإثباتات الرياضية والتحقق منها بواسطة الكمبيوتر. تنتج أنظمة الذكاء الاصطناعي التي يمكنها توليد الإثباتات بهذه اللغات الرسمية نتائج يُضمن أن تكون صحيحة، مما يلغي احتمال الأخطاء والهلوسة التي تؤثر على الذكاء الاصطناعي في مجالات أخرى.
يخلق الجمع بين التفكير الإبداعي من نماذج اللغات والتحقق الصارم من أنظمة الإثبات الرسمية سير عمل قوي ينتج بالفعل عن نتائج رياضية كبيرة.
الآثار المترتبة خارج الرياضيات
لتحول الذكاء الاصطناعي في الرياضيات آثار تتجاوز المجال نفسه. تدعم الرياضيات عملياً كل العلوم والهندسة، وقد تؤدي التحسينات في القدرة الرياضية إلى تسريع التقدم عبر التخصصات. يمكن لأنظمة الذكاء الاصطناعي التي يمكنها التفكير بشكل رياضي أيضاً تحسين مهام مثل التحقق من البرامج والتشفير والنمذجة العلمية.
تثير التطورات أيضاً أسئلة أساسية حول طبيعة الذكاء والإبداع. اعتبرت الرياضيات منذ فترة طويلة من أعلى تعبيرات القدرة الفكرية البشرية. إذا كان الذكاء الاصطناعي يمكنه مطابقة أو تجاوز القدرة الرياضية البشرية، فإنه يطعن في الافتراضات حول ما يجعل الإدراك البشري خاصاً ويفرض إعادة النظر في العلاقة بين الحساب والفهم.
ما يأتي بعد ذلك
يشير وتيرة التقدم إلى أن القدرات الرياضية للذكاء الاصطناعي ستستمر في التوسع بسرعة. في غضون بضع سنوات، قد تكون أنظمة الذكاء الاصطناعي قادرة على معالجة بعض المشاكل المفتوحة الرئيسية في الرياضيات، بما في ذلك المشاكل من قائمة جائزة الألفية لمعهد Clay للرياضيات. ما إذا كان سيتم الاحتفال بهذه الإنجازات أو الأسف عليها قد يعتمد على وجهة نظر المرء، لكن على أي حال، يبدو أن تحول الرياضيات بواسطة الذكاء الاصطناعي لا رجعة فيه وأنه يتسارع.
تستند هذه المقالة إلى تقارير من New Scientist. اقرأ المقالة الأصلية.
