أستاذ رياضيات عمره 57 سنة، فجأة استغنى عن وظيفة العمر وراح يشتغل عند طالبة سابقة له عمرها 24 سنة—لو صارت هالقصة قبل عشر سنين، كان الناس بيضحكون عليها كإشاعة أو سالفة بين الأكاديميين. لكن الآن؟ ممكن تكون هذي أقوى إشارة تستحق الانتباه في مجال الذكاء الاصطناعي.

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

الأغرب من كذا، مدرسته الجديدة كارينا هونغ عمرها 24 سنة، وكانت طالبة عنده من قبل. هالبنت مو بسيطة: خلصت بكالوريوس مزدوج في الرياضيات والفيزياء من MIT خلال 3 سنوات، وفازت بجائزة مورغان اللي تعتبر أعلى جائزة لطلاب الرياضيات في أمريكا الشمالية، وبعدين راحت تكمل دكتوراه مزدوجة في الرياضيات والقانون في ستانفورد، لكن قررت تترك الجامعة في النص وتأسس شركة. اشتغلت قبل كذا في فريق الذكاء الاصطناعي المتقدم في Meta، وعندها علاقات قوية، وجمعت فريق من باحثين سابقين من Meta. الشركة توها جديدة لكن حصلت تمويل 64 مليون دولار، وتقييمها وصل 300 مليون على طول.

ليش كين أونو غير رأيه؟ هو يعترف بنفسه أنه كان ما يصدق أن الذكاء الاصطناعي ممكن يشتغل في الرياضيات، وكان يشوف النماذج مجرد آلة حاسبة متطورة. لين شاف بعينه أداء النماذج الجديدة في الاستدلال الرياضي وإثبات النظريات، وصار عنده قناعة جديدة تماماً. Axiom Math واضح هدفها: تخلي الذكاء الاصطناعي يصير "عالم رياضيات" حقيقي، يقدر يستنتج، ويكتب براهين، ويتحقق من الحلول بطريقة رسمية. يقال إنهم حلوا كم مشكلة رياضية معقدة محيرة الأوساط الأكاديمية لعقود، والخط التجاري بدأ يتوسع—مجالات مثل الهندسة المالية وتدقيق الأمان صاروا ينتظرون خدماتهم.

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