كشف عالم الرياضيات ليڤينت ألبوج، الباحث في شركة أنثروبيك، عن دحض حدسية جاكوبان، وهي مسألة رياضية كلاسيكية عالقة منذ أكثر من قرن، باستخدام النموذج اللغوي الكبير كلود فابل 5. ويأتي هذا الإعلان ضمن موجة من الاكتشافات التي يعيد فيها الذكاء الاصطناعي صياغة حدود البحث الرياضي، حيث استعان ألبوج بالنموذج لإيجاد نقيض للحدسية التي نصت على قابلية عكس الدوال متعددة الحدود ذات المحدد الثابت غير الصفري. صيغت الحدسية لأول عام 1884 على يد الرياضي لودفيغ كراوس، ووُجهت تعميمها عام 1939 من قبل أوت هاينريش كيلر، وأدرجها ستيفن سمال ضمن قائمة المشاكل المحورية للقرن القادم. على مدار عقود، حاولت محاولات متعاقبة إثباتها أو نفيها، إلا أن معظمها أفلت بسبب ثغرات خفية، فيما اقتصر النجاح على إثبات صحة الحدسية تحت شروط مقيدة أو درجات محددة. ورغم الطبيعة البسيطة للنظرية، إلا أن العثور على دالة تحقق شروطها مع عدم قابليتها للعكس ظل تحدياً حسابياً معقداً حتى وقت قريب. تمثلت نقطة التحول في العثور على مثال مضاد في ثلاثة أبعاد، يتسم ببساطة رياضية استثنائية تسمح بطرحه في منشور رقمي مختصر، مما يسهل التحقق منه فورياً. أثبت هذا المثال أن الحدسية غير صحيحة لجميع الأبعاد الأعلى من اثنين، مع استمرار بقاء الحالة ثنائية الأبعاد قيد الدراسة. ويختلف هذا الإنجاز عن السوابق السابقة في مساندة الذكاء الاصطناعي للبراهين المعقدة، إذ يبرز قدرته على الاستكشاف والتنقل داخل مساحات بحث رياضية شاسعة للعثور على كائنات أو صيغ غير متوقعة، مما يوسع دور النماذج اللغوية من أدوات مساعدة إلى شركاء فعالين في صياغة الفرضيات. على الرغم من عدم نشر التفاصيل التقنية لكيفية تفاعل النموذج مع المعطيات، فإن النتيجة تعزز الاتجاه المتسارع نحو التكامل بين الحدس الرياضي البشري والقدرات الحسابية الضخمة. مع توقعات بظهور منهجيات بحث جديدة تعتمد على الذكاء الاصطناعي في اكتشاف العلاقات الجبرية والهندسية المعقدة، يظل مستقبل الشراكة بين علماء الرياضيات والنماذج الاصطناعية محوراً أساسياً لمتابعة التطورات التقنية والعلمية في الأعوام المقبلة.