في وقت يتركز فيه سباق الذكاء الاصطناعي العالمي على النماذج اللغوية وتوليد النصوص والصور، تظهر شركة ناشئة باسم Axiom Math بطموح مختلف تمامًا: بناء ذكاء اصطناعي قادر على التفكير الرياضي، وإنتاج البراهين، والمساهمة في اكتشافات رياضية جديدة.
الشركة تأسست عام 2025 على يد كارينا هونغ، وهي طالبة دكتوراه سابقة في جامعة ستانفورد، قررت ترك المسار الأكاديمي لتقود مشروعًا يطمح لتطوير ما يمكن وصفه بـ “العقل الرياضي الآلي”.
من هي Axiom Math؟
Axiom Math هي شركة متخصصة في تطوير نماذج ذكاء اصطناعي قائمة على المنطق الرياضي والاستدلال البرهاني، بخلاف النماذج الشائعة التي تعتمد أساسًا على تعلم الأنماط اللغوية.
وبحسب تقارير حديثة، نجحت الشركة في حل مشكلتين معقدتين في نظرية الأعداد، كانتا محل دراسة وبحث بين علماء الرياضيات لسنوات طويلة، وهو إنجاز لافت لشركة حديثة التأسيس.
هذا التقدم جعل Axiom محط أنظار الأوساط الأكاديمية والتقنية، وأعاد طرح سؤال جوهري:
هل مستقبل الذكاء الاصطناعي سيكون قائمًا على اللغة فقط… أم على المنطق والرياضيات؟
فريق بحثي من نخبة العقول في Meta و Google
أحد أبرز عناصر قوة Axiom Math هو فريقها البحثي. فقد تمكنت الشركة من استقطاب باحثين بارزين من:
- فرق الذكاء الاصطناعي المتقدمة في Meta
- باحثين سابقين من Google Brain (الذي أصبح جزءًا من DeepMind)
كما انضم إلى الشركة عالم رياضيات مرموق ترك العمل الأكاديمي، ليكون أول “رياضياتي مؤسس” ضمن الفريق، في خطوة تعكس جدية المشروع وسعيه للجمع بين العمق الأكاديمي والتطبيق الصناعي.
تمويل ضخم يؤكد رهان المستثمرين
في سبتمبر 2025، أعلنت Axiom Math إغلاق جولة تمويل أولية بقيمة 64 مليون دولار، وهو رقم مرتفع نسبيًا لشركة في مرحلة مبكرة، ويعكس قناعة المستثمرين بأن الذكاء الاصطناعي الرياضي قد يشكل موجة جديدة في القطاع.
الشركة تضم حاليًا نحو 17 باحثًا ومتخصصًا، وتعمل على تطوير نماذج مخصصة لمعالجة المسائل الرياضية المعقدة، مع قابلية توسيع الاستخدامات مستقبلًا.
تطبيقات تتجاوز الرياضيات النظرية
لا تقتصر رؤية Axiom Math على الأبحاث النظرية، بل تمتد إلى تطبيقات عملية في مجالات متعددة، من أبرزها:
- التحقق من صحة البرمجيات (Formal Verification)
- التشفير والأمن السيبراني
- الخدمات المالية والنمذجة الكمية
- أنظمة الذكاء الاصطناعي المتقدمة في الروبوتات
وجود نموذج قادر على تقديم استدلال رياضي دقيق يعني تقليل الأخطاء، ورفع موثوقية الأنظمة التقنية التي تعتمد على حسابات معقدة.
رهان محفوف بالتحديات… لكنه قد يغير قواعد اللعبة
رغم الزخم، يبقى بناء ذكاء اصطناعي رياضي تحديًا كبيرًا، إذ يتطلب:
- بيانات عالية الدقة
- نماذج قادرة على البرهان المنطقي لا التخمين
- قدرة حوسبية متقدمة
- دمجًا عميقًا بين علوم الرياضيات وعلوم الحاسوب
لكن في حال نجاح Axiom Math، فإنها قد تفتح بابًا جديدًا في تطور الذكاء الاصطناعي، ينتقل فيه التركيز من “النماذج اللغوية” إلى الذكاء القائم على المنطق والدقة الصارمة.
خلاصة جولة
Axiom Math ليست مجرد شركة ناشئة أخرى في قطاع الذكاء الاصطناعي، بل محاولة جريئة لإعادة تعريف حدود ما يمكن للآلة أن تفهمه وتنتجه.
نجاحها قد يعني ولادة جيل جديد من الذكاء الاصطناعي يعتمد على التفكير الرياضي العميق، بينما فشلها سيكشف بوضوح أين تقف حدود الذكاء الآلي اليوم.
وفي كلا الحالتين، فإن ما تبنيه Axiom يستحق المتابعة.
