Axiom تجمع 200 مليون لدعم الذكاء الاصطناعي الموثَّق والرياضيات
أعلنت شركة Axiom الناشئة المتخصصة في الذكاء الاصطناعي المبني على الرياضيات الرسمية عن إغلاق جولة تمويل Series A بقيمة 200 مليون دولار، مع تقييم يتجاوز 1.6 مليار دولار بقيادة Menlo Ventures.
تفاصيل تمويل Axiom وأهدافها
أُطلقت الشركة قبل ستة أشهر بهدف استخدام الرياضيات كأساس لبناء أنظمة ذكاء اصطناعي قادرة على الاستدلال والتحقق بدقة.
أبرز نقاط التطوير والإنجازات:
- التمويل الجديد: 200 مليون دولار في Series A بقيادة Menlo Ventures.
- إنجازات رياضية: AxiomProver حقق درجة كاملة في اختبار Putnam، وهو إنجاز لم يحدث سوى خمس مرات في القرن الماضي.
- حلول بحثية مفتوحة: الشركة أثبتت صحة عدة مسائل بحثية مفتوحة في فبراير.
- البنية التحتية AXLE: أُطلقت لتوفير بيئة Lean proving على نطاق واسع لدعم اكتشافات رياضية سريعة.
- Verified AI: تسعى الشركة إلى توسيع مفهوم التحقق في الذكاء الاصطناعي بحيث يمكن تنفيذ أي تعريف وإثبات أي محددات، سواء في الرياضيات أو البرمجيات أو الأجهزة.
الأهداف المستقبلية لشركة Axiom
تركز Axiom على تطوير الذكاء الاصطناعي الموثَّق Verified AI لتسريع الاكتشافات العلمية وتحقيق تحول في أنظمة الذكاء.
أبرز الأهداف:
- تقليل الفجوة بين الفرضية الرياضية وإثباتها من سنوات طويلة إلى ساعات قليلة.
- تعميم آليات الاستدلال والتحقق لتشمل البرمجيات، الأجهزة، والنماذج الذكية.
- الوصول إلى عتبة من القدرات التحققية تؤدي إلى تحول جذري في الذكاء الاصطناعي.
- تعزيز سرعة ودقة تطوير الذكاء الاصطناعي المتقدم نحو مستوى Superintelligence.
تمثل جولة التمويل هذه خطوة مهمة لـ Axiom في رحلتها لبناء مستقبل Verified AI، حيث تهدف الشركة إلى الجمع بين الرياضيات الرسمية والتقنيات الذكية لإنشاء أنظمة قادرة على الاستدلال والتحقق بسرعة غير مسبوقة.
