استخدم عالم رياضيات من جامعة هارفارد الذكاء الاصطناعي لدحض معضلة طويلة الأمد في علم الجبر حاول الخبراء لعقود إثبات صحتها. وأعلن ليفينت ألبوج عن هذا الاكتشاف عبر وسائل التواصل الاجتماعي في 19 يوليو، مقدماً مثالاً مضاداً مختصراً.
نشر ألبوج مثالاً رياضياً مضاداً يتكون من 216 حرفاً على منصة X، مبيناً أن حدسية جاكوبيان غير صحيحة. وكانت هذه الحدسية، التي طرحها أوت-هاينريش كيلر عام 1939، قد وردت أيضاً ضمن قائمة المسائل الكبرى غير المحلولة التي جمعها ستيفن سمال عام 1998.
تضمن العمل استخدام نموذج الذكاء الاصطناعي Claude 3.5 Sonnet من شركة Anthropic. وقد أشاد ألبوج في منشوره بدور هذا النظام في تقديم المساعدة أثناء نهائي كأس العالم.
وصف أبهيشيك ساها من جامعة كوين ماري في لندن هذه النتيجة بأنها أكبر حدسية يتم التعامل معها بمساهمة كبيرة من الذكاء الاصطناعي. وأشار إلى أن المثال المضاد يعمل مع ثلاثة متغيرات، في حين أن نسخة المتغيرين قد تظل صالحة.
ذكر كريس بومان-سكارجيل من جامعة يورك وإيفان فيسينكو من جامعة ويست ليك أن هذا التطور يسلط الضوء على الدور المتنامي للذكاء الاصطناعي في الرياضيات، مع التأكيد على أن البصيرة البشرية تظل ضرورية لبناء نظريات جديدة.