يدعم تاو مقاطعة أوبن إيه آي وتصاعد الخلاف الرياضي

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