لماذا لا تكفي العقلانية الصرفة؟ الطبيعة كمصدر للابتكار الرياضي

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

لتوضيح هذا الطرح، نستعرض تاريخ تحويل فورييه والرياضيات ذات الصلة، بدءًا من الجدل حول الأوتار المهتزة وصولًا إلى معادلة هير وأدوات جديدة تتصدر المشهد الرياضي. في كل منعطف رئيسي، أجبرت مشكلة فيزيائيةacceptance any creation of bring new mathematical tool that pure formal reasoning failed to anticipate.

نستعرض أيضًا تعقيدات المنطق، من الصعوبات الخارجة عن المنطق اللغوي (NP-hard propositional satisfiability) إلى الإجراءات غير البسيطة المخصصة للنظريات ذات العرض الثاني. توضح هذه الأدلة أن حتى عندما يكون المنطق قابلاً للتحديد، فإن الموارد المطلوبة للاستدلال في أسوأ الحالات لا حصر لها وعادة ما تكون مكلفة للغاية.

وفي ختام التحليل، نرى أن الاستلهام من الفزياء في مطابقة الأنماط لم يعد حادثًا تاريخيًا، بل ضرورة عقلانية. بالنسبة للذكاء الاصطناعي، إذا كانت العقلانية الصرفة غير كافية، فإن أي نظام يهدف إلى تحقيق مستوى من الإبداع الرياضي البشري يجب أن يتضمن مخزونًا هائلًا من الأنماط المتقاطعة بدلاً من الاعتماد على الاستدلال فقط. هذا يبرر الحجم الهائل لنماذج اللغات الضخمة (Large Language Models) الحديثة.