أثارت شركة ناشئة في مجال الذكاء الاصطناعي، أسستها طالبة سابقة في جامعة ستانفورد تبلغ من العمر 24 عامًا، اهتمامًا كبيرًا في أوساط باحثي الذكاء الاصطناعي في شركة ميتا، حيث تسعى الشركة إلى تطوير “رياضي ذكاء اصطناعي” متقدم. تُعرف الشركة باسم Axiom Math، وقد جذبت استثمارات كبيرة ومواهب متميزة من شركات التكنولوجيا الكبرى. يمثل هذا التطور اتجاهًا متزايدًا نحو الاستثمار في الذكاء الاصطناعي المتقدم، خاصةً في المجالات التي تتطلب قدرات استنتاجية معقدة.
تأسست Axiom Math في مارس الماضي على يد كارينا هونغ، الحاصلة على منحة رودس والتي تركت دراساتها العليا في ستانفورد. أعلنت الشركة مؤخرًا عن جمعها تمويلًا أوليًا بقيمة 64 مليون دولار في سبتمبر، مما يعكس الثقة في رؤيتها وقدرتها على تحقيق تقدم في مجال الذكاء الاصطناعي الرياضي. تعتمد الشركة على فريق صغير نسبيًا يضم 17 موظفًا، لكنهم يتمتعون بخبرة عالية في مجال الذكاء الاصطناعي.
تطوير الذكاء الاصطناعي الرياضي: Axiom Math والسباق نحو التفوق
تعتبر Axiom Math من الشركات الرائدة في مجال تطوير الذكاء الاصطناعي الرياضي، وهو مجال يركز على استخدام الذكاء الاصطناعي لحل المشكلات الرياضية المعقدة. وقد أعلنت الشركة مؤخرًا أنها نجحت في حل مسألتين رياضيتين صعبتين، عُرفت باسم مسائل إردوش، ظلت عالقة في أذهان علماء الرياضيات لعقود. يعتبر هذا الإنجاز بمثابة دليل على قدرات الشركة وإمكاناتها في هذا المجال.
جذب المواهب من شركات التكنولوجيا الكبرى
نجحت Axiom Math في جذب عدد كبير من الباحثين الموهوبين من شركات التكنولوجيا الكبرى مثل ميتا (فيسبوك سابقًا) وجوجل. يشمل هؤلاء الباحثون أعضاء من مختبر أبحاث الذكاء الاصطناعي الأساسي في ميتا (FAIR) وفريق GenAI التابع للشركة، بالإضافة إلى باحثين سابقين من Google Brain الذي اندمج مع DeepMind في عام 2023. يعزى هذا النجاح في جذب المواهب إلى رؤية الشركة الطموحة وتركيزها على مجال يعتبره العديد من خبراء الذكاء الاصطناعي ضروريًا لتحقيق “ذكاء اصطناعي فائق”.
أشارت هونغ إلى أن حل المشكلات الرياضية المعقدة يجذب المواهب المتميزة، حيث يعتبرها الباحثون فرصة لترك بصمة دائمة في مجال الذكاء الاصطناعي. وأضافت أن تركيز الشركة على الأبحاث طويلة الأجل، على غرار مختبر FAIR في ميتا، كان أيضًا عامل جذب مهم للباحثين.
ومع ذلك، شهد مختبر FAIR في ميتا تخفيضات في عدد الموظفين في أكتوبر الماضي، وفقد أيضًا رئيسه العلمي، يان لوكون، الذي أعلن عن مغادرته ميتا في نوفمبر لتأسيس شركته الخاصة في مجال الذكاء الاصطناعي. يبدو أن هذه التغييرات في ميتا قد ساهمت في توفر المزيد من المواهب لشركة Axiom Math.
تطبيقات الذكاء الاصطناعي الرياضي تتجاوز الرياضيات
لا يقتصر طموح Axiom Math على حل المشكلات الرياضية فحسب، بل تسعى الشركة أيضًا إلى تطوير تطبيقات عملية للذكاء الاصطناعي الرياضي في مجالات متنوعة. تشمل هذه المجالات التحقق من صحة الأجهزة والبرامج، والتمويل الكمي، والتشفير. تعتبر هذه التطبيقات ذات أهمية كبيرة للعديد من الصناعات، ويمكن أن تؤدي إلى تحسينات كبيرة في الكفاءة والأمان.
يرى خبراء الذكاء الاصطناعي أن القدرة على الاستنتاج المنطقي الصحيح، والتي يركز عليها الذكاء الاصطناعي الرياضي، هي مفتاح تطوير أنظمة ذكاء اصطناعي موثوقة وآمنة. في مجالات مثل التمويل والتشفير، يمكن أن يكون للاستنتاج الخاطئ عواقب وخيمة، لذلك فإن استخدام الذكاء الاصطناعي الرياضي يمكن أن يساعد في تقليل هذه المخاطر.
بالإضافة إلى ذلك، تسعى Axiom Math إلى بناء ثقافة عمل غير هرمية تشجع التعاون والابتكار. تؤمن هونغ بأن العمر والخبرة ليسا بالضرورة مؤشرين على القدرة، وأن العمل مع باحثين ذوي خبرة أقدم يمكن أن يكون مفيدًا للغاية.
أفادت تقارير صحفية بأن هونغ نجحت أيضًا في إقناع أستاذها السابق، عالم الرياضيات الشهير كين أونو، بالانضمام إلى فريقها. يعكس هذا النجاح قدرة هونغ على جذب أفضل المواهب في مجال الرياضيات والذكاء الاصطناعي.
من المتوقع أن تستمر Axiom Math في التوسع وتطوير قدراتها في مجال الذكاء الاصطناعي الرياضي. ستركز الشركة على حل المزيد من المشكلات الرياضية المعقدة وتطوير تطبيقات عملية لتقنيتها. ومع ذلك، لا تزال هناك تحديات كبيرة تواجه الشركة، بما في ذلك المنافسة الشديدة من شركات التكنولوجيا الكبرى والحاجة إلى جذب المزيد من المواهب المتميزة. سيكون من المهم مراقبة تقدم الشركة في الأشهر والسنوات القادمة لتقييم إمكاناتها الحقيقية في هذا المجال الناشئ.
