على مرّ التاريخ، توصَّل علماء الرياضيات إلى نظرياتهم من خلال دراسة الأمثلة. فعندما ينظر المرء إلى مكعبٍ أو هرم، مثلًا، لربما أدرك أنَّ عدد الرؤوس في كل شكل متناسب مع عدد حوافه وأوجُهه. وهكذا، يلاحظ عالِم الرياضيات نمطًا كهذا، ويمُد الخط على استقامته، مُطبِّقًا إياه على أشكالٍ أعم، ثم يبدأ التفكير في سبب استمرار وجود هذه العلاقة. وبعض أجزاء هذه العملية يتضمَّن حسابات رياضية، وصحيح أنَّ هذه الحسابات يُستعان فيها ببرامج حاسوبية رياضيّة، تُجريها بنجاح منذ صارت تلك البرامج متاحة للاستخدام للمرة الأولى في ستينيات القرن العشرين، إلا أن الإبداع البشري يُمكِّن علماء الرياضيات من أن يفطنوا إلى المناطق التي ينبغي أن ينظروا فيها، بحثًا عن الأنماط الناشئة. وقد توصَّل الباحث أليكس ديفيز، وزملاؤه، طريقةً لاستخدام تقنيات الذكاء الاصطناعي في مساعدة الباحثين على هذه العملية الإبداعية، التي تمثِّل لُبَّ مجال البحث الرياضي1.
اقرأ المزيد ←