علماء رياضيات: النماذج اللغوية حاسبات قوية لكنها تفتقر للإبداع
يرى عالما الرياضيات تيموثي غوورز وبيتر سارناك أن النماذج اللغوية قوية في الرياضيات، لكنها تفتقر إلى الحدس اللازم لابتكار أفكار جديدة. ويقول غوورز إن هذه النماذج تجيد جمع الأساليب المعروفة وتجربة مسارات بحث كثيرة، لكنها لا تعرف كيف تختار المسارات القليلة المثمرة وسط فضاء واسع من الاحتمالات. ويتفق سارناك على أنها تستخرج نتائج من نظريات قائمة، لكنها تعجز عن بناء التجريدات التي تقوم عليها البراهين الكبرى انطلاقًا من سؤال بسيط. ويعزو الباحث توم زهافي العائق إلى ما سمّاه «الاستدلال الاختراقي التلاعبي»، أي ابتكار افتراضات تأسيسية جديدة بلا سابقة لغوية، مع طرح «نماذج العالم» كمسار محتمل للتقدم.
الحقائق الأساسية
يعتقد غوورز أن النماذج الحالية تستطيع دمج الأساليب المعروفة وتجربة طرق بحث متعددة، لكنها تفتقر إلى الحدس الذي يحدد المسارات الواعدة.
«Gowers argues current models are good at combining known methods and trying many search paths but lack the intuition to pick the few productive routes in a vast search space.»
عرض المصدر ←يرى سارناك أن الذكاء الاصطناعي يستخرج نتائج من النظرية القائمة، لكنه لا يطوّر التجريدات اللازمة للبراهين الكبرى عند البدء من سؤال أولي.
«Sarnak agrees: AI can derive results from existing theory but fails to develop the abstractions that underpin major proofs when starting from an elementary question.»
عرض المصدر ←سمّى توم زهافي عنق الزجاجة «الاستدلال الاختراقي التلاعبي»، وهو ابتكار افتراضات تأسيسية جديدة لا سابقة لغوية لها.
«In his paper "LLMs Can't Jump," he pins the bottleneck on "manipulative abduction," the ability to invent new foundational assumptions with no linguistic precedent.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر