عمل بمساعدة الذكاء الاصطناعي يقترح خوارزميات عدّ متعددة الحدود للزجاجيات المغزلية
تعرض ورقة أولية جديدة خوارزميات للعدّ التقريبي في عدة نماذج من الزجاجيات المغزلية، مع وصف مفصل على نحو غير معتاد لمساهمة النماذج ومشروع Lean مرافق.
مسار بمساعدة الذكاء الاصطناعي لعدّ نظام فيزيائي صعب
تعرض ورقة أولية أُرسلت في 27 أكتوبر خوارزميات لتقريب دالة التقسيم لنموذج الزجاج المغزلي شيرينغتون–كيركباتريك (SK) ولنماذج Ising مختلطة من الرتبة p. وتلخص دوال التقسيم عدداً هائلاً من الحالات الممكنة في نموذج فيزيائي؛ وحسابها بدقة تحدٍّ رياضي وخوارزمي أساسي.
النتيجة المعلنة
تبحث الورقة نظاماً محدداً عند درجة حرارة عالية، أدنى من عتبة تعرفها المخطوطة، ومع حقول خارجية متجانسة وضعيفة. وتقرب خوارزميتها لوغاريتم دالة التقسيم إلى خطأ إضافي مطلوب، وتقدم حداً متعدد الحدود في حجم النظام ومعكوس الدقة ومعكوس هامش الفشل. وفي الخلطات الأعلى رتبة يكون الإجراء المقترح حتمياً، أما في حالة SK فيستخدم الترميز اللوني العشوائي. ويتضمن الضمان المعلن أيضاً حداً لذيل الاضطراب، ويعد عمليات الحساب الدقيقة بدلاً من تعقيد البتات أو كلفة الفاصلة العائمة.
هذه ادعاءات في ورقة أولية غير محكمة. وهي تنطبق فقط ضمن الافتراضات المعلنة، ولم تتحقق MathsAI بصورة مستقلة من البراهين أو التنفيذ أو الجدة أو المقارنة مع الأعمال المتزامنة.
إفصاح محدد على نحو غير معتاد عن الذكاء الاصطناعي
سبب صلة هذا الخبر بالذكاء الاصطناعي الرياضي هو إفصاح المؤلف. تقول الورقة إن اتجاه التوسع العنقودي الأولي جاء من المؤلف، بينما اقترح GPT-5.6 Pro خوارزمية متعددة الحدود للحالة الأعلى رتبة. وتفيد بأن العمل اللاحق مع GPT-6 Pro ساعد في تطوير مخططات القطع لحالة SK ومنهج الترميز اللوني وحجة التحكم بالطرف الأدنى؛ كما استُخدم Codex في البحث في الأدبيات وتوليد الأشكال وصياغة Lean رسمية مرافقة. ويكتب المؤلف أنه فحص البراهين وراجع المخطوطة ويتحمل مسؤولية ادعاءاتها الرياضية.
يوضح مستودع Lean المرتبط حدود ذلك الوصف. فهو يقول إن التطوير الصوري يغطي التنفيذ والمقدرات وضمانات الدقة المعلنة وحدود العمليات للخوارزميات الثابتة، لكنه لا يصوغ مبرهنة فرط الانكماش العكسي العامة بالكامل؛ بل يصوغ الحالة المتخصصة التي تستخدمها المخطوطة. وقد يكون فحص Lean دليلاً قوياً على العبارة المرمزة واعتمادياتها، لكنه ليس حكماً مستقلاً تلقائياً على أن النموذج أو الافتراضات أو الادعاء غير الصوري يلتقط كل المقصود.
لماذا يهم السجل؟
ليست هذه الورقة مجرد نتيجة لها إقرار بمساعدة الذكاء الاصطناعي. إنها تسجل تقسيم العمل: إنسان قدم اتجاهاً ومراجعة، ونماذج اقترحت وطورت أجزاءً من حجة خوارزمية، وأثر صوري يحدد ما الذي فُحص. وتجعل هذه الدرجة من تتبع المصدر الادعاء التقني أسهل للفحص من قِبل رياضيين آخرين، حتى مع بقاء التحكيم العلمي وإعادة الإنتاج المستقلة ضروريين.