الإطلاق الحصري | Axiom تجمع 14 مليار للتو بقيادة هونغ لي تينغ البالغ من العمر 25 سنة

اكتشف عالم الاستثمار أحدث جولة تمويل —

أعلنت شركة أسيوم الناشئة في مجال الذكاء الاصطناعي التي أسسها هونغ لوتونغ عن إتمام جولة تمويل من الفئة أ بقيمة 200 مليون دولار، بقيادة Menlo Ventures، مع استمرار كبار المستثمرين مثل Greycroft وMadrona Venture وB Capital وToyota Ventures في زيادة استثماراتهم. وبذلك، بلغت قيمة الشركة الآن 1.6 مليار دولار (حوالي 110 مليار يوان صيني).

هونغ لوتونغ، البالغة من العمر 25 عامًا، وُلدت في قوانغتشو، ودرست في المدرسة الثانوية التابعة لجامعة جنوب الصين، وفازت عدة مرات في مسابقات الرياضيات الأولمبية. بعدها، تابعت دراستها في معهد ماساتشوستس للتكنولوجيا، جامعة أكسفورد، وحتى أثناء دراستها للدكتوراه في جامعة ستانفورد، اختارت أن تغمر نفسها في موجة ريادة الأعمال.

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

مصدر الصورة: معهد ماساتشوستس للتكنولوجيا

عبر قرارات الأفراد، يظهر جانب أكثر وضوحًا من العصر، حيث يقف مؤسسو الشركات من جيل ما بعد الألفية على مسرح الذكاء الاصطناعي بشكل جماعي.

تحديث حديث: تمويل بقيمة 1.4 مليار دولار

تأسست منذ عام، وتقدر قيمتها بـ 11 مليار دولار

بدأت القصة من خلال حوار في مقهى.

كان ذلك في أواخر خريف 2024، حيث التقت هونغ لوتونغ، البالغة من العمر 23 عامًا، في مقهى بالقرب من ستانفورد، مع شوبو سينغوبتا، المدير السابق لأبحاث Meta AI.

خلال عدة ساعات من النقاش، تباحثا حول مجالات أبحاثهما المشتركة، وكيف يمكن للذكاء الاصطناعي أن يحل أصعب المسائل الرياضية في العالم. وبعد ذلك، اتخذت لوتونغ قرارًا هادئًا لكنه حاسم: الانسحاب من ستانفورد وبدء شركة أسيوم.

قصة الفتاة العبقرية دائمًا ما تكون محاطة بهالة من الضوء. وسرعان ما أصبح اسم هونغ لوتونغ يتداول بسرعة وبتكتم في دوائر رأس المال الاستثماري. وفي ذلك الوقت، كانت تركز أكثر على فضولها العلمي وفهمها الواضح لإمكانيات التقنية، بدلاً من الحديث عن الاتجاهات السوقية أو الثورات التكنولوجية.

اليوم، أعلنت أسيوم عن إتمام جولة تمويل من الفئة أ بقيمة 200 مليون دولار، بعد أقل من عام على تأسيسها، لتصبح شركة يونيكورن.

وقبل خمسة أشهر فقط، كانت الشركة قد أتمت جولة التمويل الأولي. حينها، أطلقت الشركة رسالة واضحة للعالم: الرياضيات هي الأساس الصحيح لبناء قدرات الاستنتاج في الذكاء الاصطناعي.

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

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

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

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

جواب أسيوم هو الذكاء الاصطناعي القابل للتحقق (Verified AI).

ببساطة، يتميز هذا النهج بالتحقق الرسمي: من خلال لغة البرمجة Lean، يتم تحويل الإثباتات الرياضية إلى برامج قابلة للتنفيذ، مما يضمن بشكل أساسي صحة النتائج. هنا، النماذج الكبيرة لم تعد تعتمد على الاحتمالات في “التخمين”؛ بل تحول الشفرة إلى منطق رياضي صارم، ويثبت النتائج. كل خطوة من خطوات الاستنتاج يجب أن تمر عبر مدقق حتمي.

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

“الذكاء الاصطناعي القابل للتحقق لا يركز فقط على إصلاح عيوبه. الهدف الحقيقي هو تحديد حدوده، وهو السلم الذي يؤدي إلى الذكاء الفائق.”

قائدة فريق من جيل ما بعد الألفية

من قوانغتشو

قصة أسيوم لا تكتمل بدون رحلة هونغ لوتونغ الملهمة.

وُلدت في 2001 في قوانغتشو، لأهل من تشاو شان. منذ صغرها، أظهرت موهبة استثنائية في الرياضيات، والتحقت بمدرسة جنوب الصين الثانوية. خلال المرحلة الثانوية، كانت واحدة من أربع فتيات فقط في فريق الرياضيات الأولمبي في المقاطعة، وحققت نتائج مميزة في مسابقات مثل كأس هوانغو وطني للرياضيات الثانوية.

في 2019، التحقت بمعهد ماساتشوستس للتكنولوجيا لدراسة الرياضيات والفيزياء معًا. بعد ثلاث سنوات، حصلت على منحة رودز من جامعة أكسفورد، لتكون واحدة من أربع فائزين صينيين فقط. وتُعد منحة رودز من أقدم وأشهر المنح الدراسية الدولية، وتُعرف بـ “نوبل الجامعي”.

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

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

عندما كانت في ذروة نجاحها في شركة DeepSeek، قالت: “فريق صغير ومركز، مستقل وفريد من نوعه. مجموعة من المثاليين المبدعين. لديهم قدرة عالية على التنفيذ، ويعملون بأيديهم. والأهم من ذلك، هو الإيمان المشترك بالمهمة والطموح. هذه هي قصة DeepSeek، وهي أيضًا قصتي التي أريد أن أكتبها بنفسي.”

اليوم، أنشأت أسيوم فريقًا أساسيًا يُطلق عليه “فريق الأحلام”:

• الشريك التقني شوبو سينغوبتا، الذي كان مدير أبحاث Meta AI، وشارك سابقًا في تطوير أنظمة التدريب الموزعة من Google، وهو أحد أوائل المطورين لتقنية CUDA؛
• العالم الرئيسي فرانسوا تشارتون، الذي كان من رواد إدخال نماذج Transformer إلى مجال الرياضيات، واستخدم نماذج كبيرة لنقض فرضية علمية استمرت 30 عامًا؛
• الأهم، انضمام عالم الرياضيات الشهير كين أونو، الحائز على جوائز غوغان، وسلون، ونائب رئيس الجمعية الأمريكية للرياضيات سابقًا، الذي ترك وظيفة التدريس الدائمة في جامعة فرجينيا لينضم إلى أسيوم بشكل كامل.

وتُروى حكاية شهيرة عن أونو: خلال أربعين عامًا من التدريس، أشرف على عشرة فائزين بجائزة مورغان، وكانت هونغ لوتونغ واحدة منهم.

قال أحد المستثمرين: “تمتلك أساسًا قويًا في الرياضيات، وكفاءة تشغيل مذهلة، وقدرة على جذب أفضل المواهب العالمية.” وأضاف: “هذه من أكثر المؤسسين إثارة للإعجاب الذين رأيتهم في العشرين عامًا الماضية في وادي السيليكون، بلا منازع.”

حاليًا، توظف أسيوم أكثر من 30 موظفًا، وتواصل توسيع فريقها بسرعة. وقصتها لم تبدأ بعد، فهي فقط في بداية رحلتها.

عصر الذكاء الاصطناعي

ظهور جيل ما بعد الألفية بشكل جماعي