ذكاء اصطناعي من Math Inc يحل برهاناً رياضياً أعجز البشر
شركة Math Inc تكشف عن نظام “غاوس” الذي تمكن من حل برهان رياضي معقد خلال ثلاثة أسابيع فقط، بينما استغرق كبار العلماء 18 شهراً دون إنجاز كامل.
تفاصيل الخبر
الذكاء الاصطناعي “غاوس” أثبت نفسه كأداة ثورية في مجال الرياضيات، حيث تمكن من حل مبرهنة الأعداد الأولية القوية (Strong Prime Number Theorem) التي طرحت كتحدٍ عالمي عام 2024.
- التحدي أطلقه الرياضيان الشهيرين تيرينس تاو وأليكس كونتورفيتش.
- مجتمع الخبراء تمكن فقط من إنجاز نسخة “متوسطة” من البرهان بعد 18 شهراً.
- “غاوس” أنجز البرهان خلال ثلاثة أسابيع من العمل المستقل.
- أنتج ما يزيد عن 25,000 سطر من الكود الرياضي الموثق.
- العمل احتوى على أكثر من 1000 برهان وتعريف مترابط.
- النظام عمل بشكل ذاتي لساعات طويلة دون تدخل بشري مباشر.
- Math Inc تخطط لتوسيع قاعدة الأكواد الرياضية بمقدار 100 إلى 1000 ضعف خلال عام واحد.
- الهدف المستقبلي هو إنشاء بيانات تدريب لأنظمة “الذكاء الفائق الموثق”.
هذا الإنجاز يعكس تسارع دور الذكاء الاصطناعي في إنتاج معرفة جديدة، إذ لم يعد يكتفي بالتقليد أو المساعدة، بل أصبح قادراً على تجاوز حدود البشر في مجالات معقدة كالرياضيات النظرية.
الأهداف المستقبلية
قبل تقييم المخاطر والتحديات، من المهم إبراز الأهداف التي تسعى Math Inc لتحقيقها:
- تسريع حل المسائل الرياضية المعقدة عالمياً.
- توفير قاعدة بيانات ضخمة لتدريب أنظمة ذكاء اصطناعي متقدمة.
- تمهيد الطريق لظهور “علماء رياضيات آليين” أو “متعددي المعارف”.
- دعم البحث العلمي في الفيزياء والهندسة والاقتصاد من خلال تطبيق هذه النماذج.
- الإسهام في تطوير “ذكاء فائق موثق” يمكن الاعتماد عليه في اكتشافات جديدة.
إنجاز “غاوس” يمثل لحظة فارقة في علاقة الذكاء الاصطناعي بالرياضيات. وبين التفاؤل بالابتكارات والمخاوف من الاعتماد الكلي، يظل السؤال: هل نشهد بداية عصر “العلماء الآليين”؟
