لم يتمكن الذكاء الاصطناعي، رغم تقدمه الهائل، من انتزاع لقب “عالم رياضيات”، بعد أن أخضعه 11 من كبار الرياضيين في العالم لأصعب امتحان من نوعه حتى الآن. وعلى مدى أسبوع، مُنحت النماذج اللغوية الكبرى (LLMs) فرصة لحل 10 مسائل رياضية بحثية أُعلن عن نتائجها في الساعات الأولى من يوم “فالنتاين”، لتكشف عن حقيقة واضحة: لا نموذج ذكاء اصطناعي واحد اقترب من حل جميع المسائل، ولا حتى معظمها.
المسابقة التي حملت اسم “First Proof” صممت لاختبار قدرة الذكاء الاصطناعي على التعامل مع “اللمات” – وهي نتائج رياضية جزئية تمهد لإثباتات أكبر – وهي نوعية مسائل تعطى عادة لطالب دراسات عليا موهوب. ووفق محمد أبوزيد، أستاذ الرياضيات في جامعة ستانفورد وعضو الفريق المنظم، فقد اختيرت مسائل تتطلب لمسة ابتكار، وليس مجرد تطبيق آلي لتقنيات معروفة.
ورغم أن التحدي كشف جانباً من حدود الذكاء الاصطناعي، فإنه أظهر أيضاً مجتمعاً ناشئاً من المتحمسين داخل عالم الرياضيات، من أكاديميين ومبرمجين وطلاب جامعات، الذين انخرطوا في نقاشات ومحاولات مكثفة عبر المنتديات ومواقع التواصل.
