يُعَدّ الباحث هنري كڤينج وفريقه في مختبر Pacific Northwest National Laboratory (PNNL) رواداً في مجال يدمج بين الرياضيات المتقدمة وتقنيات الذكاء الاصطناعي، بهدف فتح آفاق جديدة للاكتشاف العلمي. يركز العمل على استخدام التوافقيات كنقطة دخول مثالية، نظراً لطبيعتها الملموسة وغناها بالبيانات، لتمكين النماذج اللغوية الكبيرة من استيعاب المفاهيم الرياضية المعقدة وفهم آليات تفكيرها الداخلية. تمكّن الفريق من إنشاء خريطة شاملة للرياضيات عبر تحويل عبارات من مكتبة Mathlib إلى تمثيلات نصية تُظهر التشابه بين المفاهيم الرياضية عبر المسافات بين النقاط. إلى جانب ذلك، يدرس الباحثون مفهوم النماذج الرياضية للعالم داخل النماذج اللغوية الكبيرة، لمقارنة طريقة معالجة النماذج للأرقام والمعادلات مع الإطارات المعرفية البشرية. وكشف التحليل أن النماذج تحاكي أحياناً التفكير الرياضي البشري، لكنها قد تلتزم حرفياً بالطلبات متجاهلةً روح المشكلة، مما يؤكد على ضرورة استمرار مشاركة الرياضيين في هذه العملية. لدعم هذا المسار، طور الفريق منصة OpenConjecture، وهي قاعدة بيانات حية تضم آلاف الافتراضات الرياضية غير المثبتة للباحثين، كما أسس مجتمع TAG-DS المخصص لربط التخصصات الجبرية والطوبولوجية بعلم البيانات. أقيمت الجولة الأولى من مؤتمرات المجتمع في الأول من ديسمبر 2025 بجامعة كاليفورنيا سان دييغو، متزامنةً مع مؤتمر NeurIPS، بينما يُزمع عقد النسخة القادمة في أغسطس 2026 بجامعة نورثويسترن. وفي إطار البرنامج العلمي SciDAC التابع لوزارة الطاقة الأمريكية، يعمل الفريق حالياً على تطوير مكتبة TAGTorch المبنية على PyTorch لتسهيل تطبيق الأساليب المستوحاة من الرياضيات على مشاكل الذكاء الاصطناعي. يجسّد هذا العمل النهج التوجيهي للمختبر الذي يؤكد على أن أدوات الذكاء الاصطناعي يجب ألا تكتفي بتقديم الإجابات، بل تزوّد الباحثين برؤى جديدة تفتح مسارات بحثية لم تكن في الحسبان. وينسجم هذا المسعى مع مبادرة Genesis الوطنية لبناء أقوى المنصات العلمية، ويعكس دور الذكاء الاصطناعي المتزايد كوسيط فعال بين التنبؤ الحاسوبي والاستدلال الرياضي البحت، مما يعزز وتيرة الاكتشاف في شتى المجالات العلمية والتقنية.