يثبت طباعة مسبقة جديدة لـ Wang & Wu من جامعة هونان نظرية هادويجر الكروية، المفتوحة منذ 1974، بمساعدة Open AI Codex. يكشف المؤلفون أن الذكاء الاصطناعي ساعد في تطوير تفاصيل البرهان، وتحديد الثغرات، وتنظيم المخطوطة، وتحرير الإنجليزية، مع تحملهم المسؤولية الكاملة. يتبع ذلك formalization لنظرية فيرما الأخيرة من قبل Claude في Lean في نفس الأسبوع.

يلاحظ المؤلف، الذي حاول هذا البرهان خلال دراسته العليا، أن تقرير GPT-4 من OpenAI قدر أن 100% من عمل الرياضيين معرض لنماذج اللغة الكبيرة — أكثر من الكتّاب أو الفنانين. قد يكون تأخير تأثير الذكاء الاصطناعي ناتجًا عن انخفاض القيمة الاقتصادية للرياضيات وبيانات التدريب.

هذا يطرح سؤالًا عما إذا كانت الرياضيات النقية ستتبع الموسيقى الكلاسيكية إلى نموذج "المحافظة" — مُؤسَّسة في الأوساط الأكاديمية مع أدوار مهنية محدودة خارج الجامعات. يمكن لمحافظة رياضية أن تحافظ على المجال حتى عندما يصبح إنتاج النتائج سهلًا، لكن فهم أهميتها يظل صعبًا. الرياضيات النقية موجودة بالفعل في هذه المحافظة (الأكاديمية)، حيث يُفهم النتائج من قبل عدد قليل.

الكيانات الرئيسية: الشركات: Open AI, جامعة هونان | الأشخاص: Wang, Wu, Claude Fable | المواقع: جامعة هونان