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