في عام 2017، أُطلق برنامج TxGraffiti، وهو برنامج حاسوبي يعتمد على البيانات والخوارزميات، ليُحدث ثورة في كيفية توليد الافتراضات الرياضية (Conjectures) على مختلف الأصعدة. يهدف البرنامج إلى تعزيز البحث الرياضي من خلال أتمتة هذه العملية، مقدماً مساهمات ملحوظة في العديد من المنشورات البحثية، خصوصاً في مجال نظرية الرسوم البيانية (Graph Theory).

تستند الخوارزمية الأساسية لـTxGraffiti إلى البرنامج السابق المعروف باسم Graffiti، الذي يُعتبر من أوائل البرامج التي دشنت مفهوم أتمتة الافتراضات الرياضية. من خلال تقنيات مبتكرة وعمليات جمع بيانات دقيقة، يعمل TxGraffiti على توليد افتراضات قابلة للتصديق، ويستخدم تقنيات فريدة مثل خوارزمية Dalmatian لتصفية الافتراضات المكررة أو المتجانسة.

لكن المثير للاهتمام هو أن تأثير TxGraffiti لا يقتصر فقط على نظرية الرسوم البيانية، بل يمتد إلى ميادين أخرى في الرياضيات، مما يجعله أداة مفيدة للباحثين في جميع أنحاء العالم. ومن خلال واجهته الجديدة المتاحة عبر الويب، يمكن للمستخدمين استكشاف الافتراضات بشكل تفاعلي، مما يعزز من فرص التعاون والاكتشاف.

في عالم يتزايد فيه الاعتماد على الذكاء الاصطناعي (Artificial Intelligence)، يُعتبر TxGraffiti مثالاً قوياً على كيف يمكن للتكنولوجيا أن تُحسن وتُسرع من عمليات البحث العلمي، مما يؤدي إلى نتائج أكثر دقة وسرعة. إنه حقاً وقت مثير للابتكار في الرياضيات، فما رأيكم في إمكانيات A.I. في دفع حدود المعرفة الرياضية؟