فتاة عبقرية في الرياضيات من قوانغتشو تبلغ من العمر 25 عامًا وتحصل على تمويل يزيد عن 1.4 مليار يوان، وتقدر قيمة شركتها بـ 11 مليار يوان

اسأل AI · كيف تُحدث أنظمة الذكاء الاصطناعي لدى Axiom ثورة في مجال التحقق من الأكواد؟

تُخرّجت هونغ ليتونغ، عبقرية الرياضيات الشابة البالغة من العمر 25 عامًا من قوانغتشو، من معهد ماساتشوستس للتكنولوجيا ومن جامعة أكسفورد؛ ثم تركت الدراسة في ستانفورد لتؤسس مشروعًا. قبل أسابيع قليلة فقط، حصلت على تمويل بقيمة 200 مليون دولار، بتقييم يصل إلى 1.6 مليار دولار، أي ما يعادل تقريبًا 11.0 مليار يوان صيني.

وقالت إنها متحمسة لاستخدام الذكاء الاصطناعي في مجال الرياضيات: “كيف تُجنِي الرياضيات المال؟ منذ البداية واجهنا هذا التحدي. والآن، أصبحت الإشارات التجارية أكثر وضوحًا بكثير؛ فالأطوال الرياضية تستطيع خلق قيمة، لأنها قادرة على التحقق الذاتي والفحص الذاتي.”

أطلقت هونغ ليتونغ على شركتها اسم Axiom (البديهية/المبدأ)، بهدف إنشاء “عالم رياضيات بالذكاء الاصطناعي”. فمجموعة من الرياضيين يعملون على مشروع، باختصار: بناء نظام ذكاء اصطناعي يمكنه التحقق تلقائيًا من صحة كود الكمبيوتر، حيث تكون الفكرة مشابهة لقيام الرياضيين بإثبات مسائل رياضية معقدة.

تكمن القيمة في أنه عند كتابة الأكواد بالذكاء الاصطناعي، لا يمكنه معرفة متى توجد ثغرات في الكود. وبفضل هذه الفكرة، في أغسطس 2024، تمكنت هونغ ليتونغ من الحصول على استثمار في جولة بذور Seed بقيمة 9.6 مليون دولار، أي ما يعادل تقريبًا 66 مليون يوان صيني. وفي تصورها، يمكن لمنتجات Axiom في المستقبل أن تُخدم صناديق التحوط وشركات التداول الكمي، بحيث يمكنها حل بسرعة المشكلات الرياضية المعقدة المتعلقة بتسعير الأصول وتوقعات سوق الأسهم.

في منتصف شهر مارس، أعلنت هونغ ليتونغ أنها جمعت 200 مليون دولار في جولة A، من شركات رأس مال مغامر مثل Menlo Ventures وGreycroft وMadrona وغيرها، أي ما يعادل تقريبًا 1.4 مليار يوان صيني. حاليًا، لدى Axiom أكثر من 20 موظفًا، وهونغ ليتونغ منشغلة بتوظيف المزيد. تنشر باستمرار معلومات عن التوظيف على منصات التواصل الاجتماعية في الخارج، بحثًا عن أشخاص يشاركونها الرغبة في “استخدام الذكاء الاصطناعي لعمل الرياضيات”.