创投圈的00后面孔越来越多了。
投资界获悉，Axiom Math正式完成首轮6400万美元（约合人民币4.6亿元）融资，由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构参与，投后估值3亿美元（约合人民币20亿元）。
缔造Axiom的正是00后洪乐潼（Carina Hong）——在广州出生长大，她曾就读于著名的华南师大附中，多次拿下奥数竞赛奖牌。后考入麻省理工学院，硕士毕业于牛津大学，又来到斯坦福大学攻读博士学位。
(المصدر: معهد ماساتشوستس للتكنولوجيا)
الأمر يدعو إلى الدهشة إلى حد ما؛ فظهور Axiom جاء من محادثة في مقهى.
وبصمت، يعتلي مؤسسو مواليد 00 المسرح الكبير للذكاء الاصطناعي.
10 أشخاص، ينجزون جولة التمويل الأولى، تقييم 2 مليار يوان
من هو Axiom؟
يظهر على الموقع الرسمي أن شركة الذكاء الاصطناعي الناشئة الواعدة هذه تتموضع على أنها «تبدأ بـ AI رياضي» لبناء «نظام استدلال فائق» يمكنه تحسين نفسه ذاتيًا.
بعبارة أخرى، هذا نموذج يمكنه حل المسائل الرياضية المعقدة، ويمكن توليده مع استدلال تفصيلي يبيّن الخطوات المختلفة التي يتم اتخاذها للوصول إلى الإجابة، كما يجري أيضًا عملية التحقق.
على وجه التحديد، تتمثل فكرة Axiom في تحويل المحتوى الرياضي باللغة الإنجليزية الموجود في الكتب المدرسية والأوراق والمجلات إلى معرفة قابلة للبرمجة، بحيث يستطيع الذكاء الاصطناعي حل المسائل الرياضية، ويمكن التحقق من الإجابات عبر التحقق/البرهنة. ومن المتوقع أن تتوسع بيئة البحث لهذا النموذج في المستقبل لتشمل مجالات مثل النمذجة المالية وبنية الشرائح وحتى التداول الكمي وغيرها.
في تصور المؤسس 洪 ليتونغ، قد يتمكن هذا النموذج من طرح تخمينات رياضية جديدة، ومن ثم توليد معرفة جديدة تمامًا.
لماذا يركزون على مسار رياضيات الذكاء الاصطناعي؟ توجد قصة جانبية في هذا الأمر. ففي وقت سابق، تم الكشف عن أن ChatGPT o3 قد غشّ في اختبارات رياضية. وأشارت 洪 ليتونغ على وسائل التواصل الاجتماعي إلى أن أداء نموذج OpenAI الكبير الجيد في اختبارات الرياضيات ربما يعود إلى أن الشركة كانت قد تعرضت لهذه الأسئلة أثناء تدريب النموذج.
وقد ضربت مثالًا على ذلك قائلةً: في مسابقة الولايات المتحدة للرياضيات، قد تصل بعض نماذج اللغات الكبيرة إلى دقة تبلغ 96%، لكن عندما يُطلب عرض عملية البرهان، ينخفض الدرجات بشكل حاد إلى 5%. «لماذا يحدث هذا الاختلاف؟ لأن أساليب التدريب غير مناسبة». وتُعد مسائلُ الجمعيات/التركيبات الرياضية التي لا تستطيع نماذج الذكاء الاصطناعي الكبيرة الحالية حلها بشكل مثالي بالضبط من تخصص 洪 ليتونغ في البحث.
يرى Axiom أن الذكاء الاصطناعي أوجد نقطة انعطاف تاريخية؛ إذ يمكن أن يتطور اكتشاف الرياضيات في مجال الرياضيات بوتيرة متسارعة جدًا وبشكل أسي، لذا فإننا نقف الآن على عتبة نهضة رياضية. وتقوم هذه النهضة على ثلاثة أعمدة: الذكاء الاصطناعي، ولغة البرمجة، والرياضيات. ويدفع الثلاثة معًا سلسلة من الاكتشافات إلى الظهور، وكل اختراق سيمنح الدافع القوي للابتكار التالي.
وفيما أصبحت جولة التمويل الأولى جاهزة للإعلان رسميًا الآن، ظهر أيضًا فريق Axiom الأساسي لأول مرة — رغم أن عدد الموظفين بدوام كامل حاليًا لا يتجاوز 10 أشخاص، إلا أن من بينهم العديد من أبرز خبراء الذكاء الاصطناعي من Meta.
على سبيل المثال، CTO الحالي Shubho Sengupta؛ كان قد قاد فريق Meta FAIR، وطور OpenGo وCrypTen. وقبل ذلك كان قد شارك في أبحاث نظام Google للتدريب الموزع. كما أنه واحد من أوائل الخبراء الذين طوروا تقنية CUDA. أما François Charton، فقد كان مسؤولًا في Meta عن أبحاث نماذج اللغات الكبيرة في الرياضيات والفيزياء النظرية. وقد بدأ منذ عام 2019 في استكشاف كيفية تطبيق تقنيات Transformer على مسائل رياضية معقدة. وكذلك Hugh Leather، وهو أيضًا عالم أبحاث ذكاء اصطناعي سابق لدى Meta، وقد طوّر نموذجًا لغويًا كبيرًا من بين أوائل النماذج المستخدمة لتوليد كود للمترجمات وGPU.
وبوصفه جهة الرائدة في هذه الجولة، قال شريك B Capital على موقعه الرسمي إن حل المشكلات الرياضية المعقدة هو جوهر اكتشافات البشر، لذا فإن أداة يمكنها طرح فرضيات كمية جديدة والتحقق منها ستُعد، بلا شك، ذات قيمة كبيرة جدًا. كما يتمتع فريق Axiom بميزة فريدة تُمكّنه من اغتنام هذه الفرصة وتحويل تقنيات الاستدلال الرياضي المتقدمة إلى واقع.
«كارينا هونغ هي عالمة رياضيات متميزة؛ لا تمتلك فقط إنجازات أكاديمية استثنائية، بل تمتلك أيضًا الحماس والتركيز اللذين يتمتع بهما أفضل رواد الأعمال. إنها تجمع تمامًا بين القيادة البعيدة النظر والتنفيذ الثابت الذي لا يتزعزع». ولم يبدأ مشوارها بعد سوى للتو.
مؤدية من عباقرة مواليد 00 تقود الفريق، من قوانغتشو
قصة Axiom لا تنفصل عن 洪 ليتونغ التي كانت تتقدم خطوة بخطوة كأنها «تعمل بكسر الحواجز».
ولدت في قوانغتشو، وعمرها 24 عامًا هذا العام. والداها من أبناء تشاوشان الأصليين. رغم أن والديها لم يتلقيا تعليمًا عالياً، إلا أن 洪 ليتونغ أظهرت منذ صغرها موهبة رياضية غير عادية؛ إذ درست في المرحلة الثانوية بمدرسة مدرسة Huanan Normal University Affiliated High School المعروفة في قوانغدونغ.
في المرحلة الثانوية، كانت 洪 ليتونغ واحدة من أربع فتيات فقط في فريق الأولمبياد الرياضي بالمقاطعة. وحققت مرارًا مراكز مميزة في مسابقات مثل «كأس هوا لوجينغ» والبطولة الوطنية للرياضيات للمدارس الثانوية وغيرها. في عام 2019، التحقت بمعهد ماساتشوستس للتكنولوجيا لدراسة مزدوجة في الرياضيات والفيزياء.
خلال مرحلة البكالوريوس، كانت 洪 ليتونغ قد شغلت منصب رئيس جمعية الرياضيات، كما درست 20 مقررًا في الدراسات العليا والماجستير/الدكتوراه، ونشرت عدة أوراق بحثية أكاديمية عالية الجودة في مجالات مثل دوال وظائف منحنيات إهليلجية/شبه إهليلجية ومن سطوح K3، وتخمين «Moonlight»، وأبحاث خوارزمية فرز المكدس المتقطعة… قبل وبعد التخرج، حققت 洪 ليتونغ أولًا جائزة Schafer للتميز في الرياضيات، وهي جائزة تُمنح سنويًا لطالبة بكالوريوس واحدة فقط. ثم حصلت على أعلى تكريم للطلبة الجامعيين في الرياضيات بأمريكا الشمالية، وهي جائزة Morgan؛ وكانت هي الطالبة الخامسة التي تنال هذا الشرف.
في نهاية عام 2022، نجحت 洪 ليتونغ في الحصول على منحة رودز من جامعة أكسفورد، لتصبح واحدة من أربعة صينيين فقط من الفائزين. ومنحة رودز هي واحدة من أقدم وأكثر البرامج الدولية للمنح شهرةً في العالم، ويُطلق عليها لقب «نوبل الجامعي».
بعد ذلك، توجه 洪 ليتونغ إلى جامعة أكسفورد في بريطانيا لدراسة علم الأعصاب، ونالت درجة الماجستير. وخلال تلك الفترة أجرت أيضًا أبحاثًا في مجال الذكاء الاصطناعي وتعلّم الآلة في جامعة كلية لندن الجامعية (UCL). وفي ذلك الوقت كانت قد ذكرت: «كيف سيكون تفاعل الذكاء الاصطناعي مع العلماء في المستقبل؟ هذا هو موضوع البحث الذي أتطلع إليه».
وبحلول أغسطس 2024، التحقت 洪 ليتونغ بجامعة ستانفورد لدراسة الدكتوراه في الرياضيات والدكتوراه في القانون. «منذ زمن طويل وأنا باحثة». وفي مقابلة سابقة كانت قد قالت إن أعظم ما ترغب به في أعماقها هو حل مشكلة تقنية صعبة فعلًا. وبسرعة، دخلت مجال الذكاء الاصطناعي حتى وهي لا تزال تدرس الدكتوراه.
إنها أسست Axiom انطلاقًا من محادثة حدثت في مقهى.
في أحد عطلات الخريف من العام الماضي، تجولت 洪 ليتونغ في مقهى قرب ستانفورد وتحدثت مع Shubho Sengupta، الذي كان يعمل في Meta آنذاك. دار بينهما حديث دام عدة ساعات، ناقشا نقاط التقاطع بين مجالات أبحاث كل منهما، وإمكانية تطوير ذكاء اصطناعي لحل أصعب المسائل الرياضية في العالم.
بعد وقت قصير من هذه المقابلة/التواصل، تركت 洪 ليتونغ ستانفورد مبكرًا وبدأت في تأسيس Axiom. ومن الطريف أن غرف اجتماعات Axiom كلها تحمل أسماء عمالقة رياضيات؛ مثل غووس وأدا لوفليس.
في وقت اشتعال DeepSeek عالميًا في مطلع هذا العام تقريبًا، كانت 洪 ليتونغ قد أبدت هذا الإعجاب: «فريق صغير لكنه مركز ومتمرد على المألوف. شركاء ممتازون من جماعة مثاليين. تنفيذهم قوي وقريبون من الواقع. والأغلى قيمة هي تلك القناعة التي تتداخل فيها المثالية والرسالة. هذه قصة DeepSeek، وهذا أيضًا ما أريد أن أكتبه بنفسي».
كما جاء على موقع Axiom الرسمي: «مستقبل اكتشاف الرياضيات يبدأ من هنا».
الإقبال على مجال الذكاء الاصطناعي… 00 بعد يظهرون جماعيًا على الساحة
بنظرة شاملة، يبرز مؤسسو مواليد 00 جماعيًا على مسرح الذكاء الاصطناعي.
قبل فترة غير بعيدة، حصلت Sola Solutions، وهي شركة أسسها شابان من مواليد 00 بعد من معهد ماساتشوستس للتكنولوجيا — جيسيكا وو، وهي فتاة آسيوية من مواليد 22 عامًا، ونِيل دِشموك، عمره 23 عامًا — على تمويل من شركات رأس مال مغامر معروفة في وادي السيليكون. تُظهر الصفحة الرسمية أن التمويل يشمل جولة «بذرة» بقيمة 3.5 ملايين دولار بقيادة Conviction، وجولة «A» بقيمة 17.5 مليون دولار بقيادة a16z وبمشاركة Conviction، بإجمالي 21 مليون دولار (حوالي 150 مليون يوان).
تظهر أمثلة من هذا النوع الواحد تلو الآخر.
في شهر مايو من هذا العام، أكملت شركة ناشئة في مجال الذكاء الاصطناعي تدعى Anysphere جولة تمويل بقيمة 900 مليون دولار أمريكي (حوالي 6.5 مليارات يوان)، مع تقييم يبلغ 9 مليارات دولار، لتصبح واحدة من أكثر «وحوش» الذكاء الاصطناعي برمجةً نشاطًا هذا العام. أما على رأس الشركة فتوجد أربعة وجوه شابة: في عام 2022، اتفق مايكل ترويل، الذي تخرج من معهد ماساتشوستس للتكنولوجيا، مع ثلاثة من زملائه في صفقة واحدة، ليركزوا على مسار برمجة الذكاء الاصطناعي ويبدأوا مشروعهم الخاص. ونتج عن منتجهم Cursor تغييرٌ كبير في طريقة البرمجة، وسرعان ما اجتاح دوائر الذكاء الاصطناعي في وادي السيليكون.
وليس ذلك فحسب؛ ففي شهر مارس من هذا العام، أعلنت منصة توظيف الذكاء الاصطناعي Mercor عن إتمام تمويل من جولة B بقيمة 100 مليون دولار، مع تقييم بلغ 2 مليار دولار، وتثير سرعة نموها إعجابًا كبيرًا. مؤسسو الشركة ثلاثية من مواليد 00 بعد تركوا الدراسة. في السنة الثانية من الجامعة، أسس الثلاثة Mercor في السكن الجامعي، ثم قرروا لاحقًا ترك الدراسة بدوام كامل في هارفارد وجورج تاون لبدء مشروعهم الخاص.
سنُعيد توجيه النظر إلى داخل الصين؛ وفي مشهد مشابه تُجرى الأحداث نفسها أيضًا.
في مطلع هذا العام، بدأ ثلاثة من «العباقرة» الذين تتراوح أعمارهم بين 00 بعد من جامعة تسينغهوا — مين يوتهِنغ، تشنغ يي، ولي ييخه — شركتهم لصناعة الروبوتات، لتولد «تِنغ إفانغ فيرشنغ». واليوم أنجزت الشركة بنجاح جولة تمويل بمستوى «سِرِي+» و«سِرِي++» بمبالغ على مستوى مليارات اليوان، بمشاركة مؤسسات معروفة مثل HeChuang Venture وSinocators وLihe KeChuang وصندوق جامعة موكيوومويوومو وRiyu سُوولي وRalph Venture وغيرها.
وهناك أيضًا شركة Lingchu الذكية التي أنهت سابقًا جولة تمويل مرحلة «الملائكة». يقودها صندوق GSR Ventures وBlueRun Ventures، والمؤسس الشريك المُشترك، تشن شوانغآنغ؟ (陈源培) هو شاب من مواليد 00 شغوف بالروبوتات، وقد عمل سابقًا كزميل زائر في Stanford حيث درس على يد الأستاذة Karen Liu والأستاذ لي فيفي. وبالنسبة لشركة الذكاء الجسدي UniX AI، مؤسسها والرئيس التنفيذي لها، يانغ فنغيو، مولود عام 2000. درس في بكالوريوس علوم الحاسوب بجامعة ميشيغان، ثم بعد حصوله على الدكتوراه من جامعة ييل عاد إلى الصين لبدء مشروعه، ولا يزال أيضًا يحظى باهتمام العديد من شركات رأس المال المخاطر.
يبدو أن كتيبة من مواليد 00 تتصاعد بهدوء. وقد حلل أحد المستثمرين أن موجة ريادة الأعمال في مجال الذكاء الاصطناعي هذه تشترك في نقطة انطلاق متشابهة للمؤسسين من مواليد 00 و90 و80، بل إن الفئة الأولى تتمتع بميزة أكبر. والسبب أن كثيرًا من الأمور جديدة جدًا لدرجة أن الخبرة السابقة لا يمكن الاستفادة منها مباشرة؛ وبالنسبة لمواليد 00 لا توجد «قيود نفسية»، فإدراكهم وحسّهم تجاه الأشياء الجديدة أكثر.
«نحن على قناعة راسخة بأن ريادة الأعمال تنتمي في كثير من الأحيان إلى الشباب». وقد عبّر شريك إدارة صندوق ZhenGe، داي يوشين، مؤخرًا عن ذلك قائلًا: «لا يعرف الجاهل الخوف. فالكثير من إنجازات الابتكار التكنولوجي تنشأ تحديدًا لأن أصحابها، رغم معرفتهم، لا يخشون شيئًا؛ ومن هنا تتولد أفكار ابتكارية».
«أيها الشاب، امتلئ بالشجاعة والعزم، وستأتي الأوقات لتثبت حرصك». كل جيل من رواد الأعمال الشباب، مؤكد أنه سيترك أثره الخاص في مجرى التاريخ العظيم. (Wall Street Insights) $BNB
