الذكاء الاصطناعي في الرياضيات يفتح عصرًا ذهبيًا جديدًا للاكتشاف العلمي
ساعدت نماذج الذكاء الاصطناعي التوليدية في حل فرضية رسم بياني هندسي شهيرة لبول إيردوس حيرت علماء الرياضيات لمدة 80 عامًا. يُستخدم الآن التعلم الآلي لتوليد والتحقق من ملايين السلاسل المنطقية، إلى جانب مُثبتات النظريات التفاعلية مثل Lean لتجنب التخيلات. يمثل هذا تحولًا حيث يُعزز الذكاء الاصطناعي براعة الإنسان في الرياضيات بدلاً من استبدالها.
ترك عالم الرياضيات المجري بول إردوس مئات المسائل غير المحلولة مع جوائز نقدية، وكانت إحداها فرضية المسافات الوحدوية في نظرية الرسوم البيانية الهندسية. تبحث هذه الفرضية بشكل أساسي عن أقصى عدد من الوصلات متساوية الطول بين مجموعة من النقاط، وهو لغز قاوم الحدس البشري لما يقرب من 80 عامًا. اكتشفت خوارزمية توليدية بنىً مكانية غير بديهية أغفلها البشر، مما حل المشكلة جزئيًا. اليوم، يتولى الذكاء الاصطناعي العمل الشاق المتمثل في تعداد ملايين التوليفات ورصد الأنماط المخفية، بينما تتحقق برامج إثبات النظريات التفاعلية مثل لِين أو كُوك من كل خطوة، مما يلغي الهلوسات. ورغم هذه النجاحات، تظل المسائل الأساسية مثل فرضية ريمان أو معادلات نافييه-ستوكس غير محلولة، لأنها تتطلب لغة مفاهيمية جديدة. بالنسبة للمجتمع العلمي الناطق بالروسية، يستفيد هذا التحول الحسابي من تقليد رياضي قوي، مع تطبيقات تتراوح بين تحسين الشبكات العصبية والتشفير المقاوم للحواسيب الكمومية. يعمل الذكاء الاصطناعي كهيكل خارجي رقمي للدماغ البشري، محررًا الباحثين من المهام الروتينية ويتيح لهم التركيز على الأهداف الاستراتيجية والرؤية المفاهيمية.
المصدر: Habr — хаб ИИ —
الأصلي