الوسط الأكاديمي شهد مؤخراً خبراً كبيراً.

عالم رياضيات عالمي يبلغ من العمر 57 عاماً، أعلن فجأة عن تخليه عن منصبه الدائم—وذهب ليعمل لدى طالبة سابقة تبلغ من العمر 24 عاماً.

هذا العالم هو Ken Ono، وقد درّس لسنوات عديدة في جامعة فيرجينيا. الشركة التي انضم إليها الآن تُدعى Axiom Math، وهي فريق ناشئ يركز على الذكاء الاصطناعي في مجال الرياضيات، ومؤسِستها هي طالبة سابقة لديه تُدعى Carina Hong (كارينا هونغ).

اللافت أن Ken Ono لم يكن متحمساً في السابق لفكرة استخدام الذكاء الاصطناعي في الرياضيات. لكن أداء النماذج الحديثة في الاستدلال والإثبات غيّر رأيه بالكامل. الآن يعمل في Axiom Math بصفته "عالِم الرياضيات المؤسس"، ويتولى تدريب النماذج، وتصميم معايير الاختبار، وتوجيه اتجاه البحث.

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

أما عن المؤسِسة Carina Hong، فقد درست الرياضيات في MIT، ثم حصلت على دكتوراه مزدوجة في الرياضيات والقانون (JD+PhD) من ستانفورد. خلال البكالوريوس، تم ترشيحها لجائزة مورغان—وهي من أعلى الجوائز لطلاب الرياضيات الجامعيين. بعد التخرج، انضمت إلى فريق الذكاء الاصطناعي المتقدم في Meta، وركزت على استدلال الرياضيات، ثم أسست شركتها وجمعت معها عدداً من الباحثين السابقين في Meta.

الآن الكثيرون في الصناعة يرون أن ظهور Axiom Math هو مؤشر: عندما تصل النماذج الكبيرة إلى عنق زجاجة في الاستدلال، قد تكون القدرات الرياضية هي نقطة الاختراق التالية. انضمام Ken Ono يعد بمثابة تصويت من الوسط الأكاديمي التقليدي لهذا الاتجاه.

وبالمناسبة، Ken Ono من أصول يابانية، وCarina Hong من أصول صينية. جيلان يفصل بينهما أكثر من ثلاثين عاماً، يجتمعان من جديد في مضمار الذكاء الاصطناعي.