الذكاء الاصطناعي في الرياضيات: يعمل لصالح البشر، وعلى البشر

في مايو 2026، نشرت OpenAI مثالًا مضادًا لـ"حدسية مسافة الوحدة"، مما أدى إلى دحض حدسية من نظرية الرسوم البيانية الهندسية كانت مفتوحة منذ عام 1946. جاء هذا بعد حلول أخرى بمساعدة الذكاء الاصطناعي لمسائل طويلة الأمد، مما يشكل نقطة تحول. علماء الرياضيات مثل Abhishek Saha يستخدمون الآن نماذج الذكاء الاصطناعي للتعامل مع العمل الروتيني، ويصفون دورهم بأنه قائد الأوركسترا وليس الأوركسترا بأكملها. البعض، مثل Trefor Bazett، يرون إمكانية لعصر ذهبي جديد، مشيرين إلى ورقة بحثية من جامعة كارنيجي ميلون حلت مشكلة في نظرية رامزي باستخدام حلالات SAT، ورمز مولّد بواسطة نماذج لغوية كبيرة، والتحقق الرسمي من البراهين. Timothy Gowers، الذي توقع هذا العصر في عام 2000، لديه مشاعر متضاربة، بعد أن شهد حل الذكاء الاصطناعي لمسائل بحثه الخاصة. يخشى تدمير الثقافة الرياضية إذا توقف البشر عن بناء الخبرة. إعلان ليدن حول الذكاء الاصطناعي والرياضيات، الذي وقعه أكثر من 3000 عالم رياضيات، يسعى إلى وضع مبادئ توجيهية. أبلغت Epoch AI عن تقدم لكنها لاحظت أن أصعب فئات المعايير لا تزال دون حل. يقارن Terence Tao الوضع بأزمة الأسس في أوائل القرن العشرين، ويرى أنها فرصة لتقوية الرياضيات، بينما تقدم مقالة Kirwin Hampshire بعنوان "الليلة المظلمة للرياضيات" وجهة نظر أكثر تشاؤمًا، مما يشير إلى أن العزاءات هي خداع للذات.