فعالیت حرفهای کن اونو به عنوان یکی از برجستهترین ریاضیدانان جهان، او را به جاهایی کشانده که هرگز تصور نمیکرد.
این استاد مشهور دانشگاه ویرجینیا به طور منظم فراتر از محوطه دانشگاه فعالیت میکند و فرمولهای خود را از هالیوود گرفته تا المپیک به کار میبرد. او تنها نظریهپرداز اعداد است که تاکنون ستاره یک آگهی آبجو بوده است. و برای اقدام بعدی، این مرد رنسانس ریاضیات، کاری را انجام میدهد که حتی با استانداردهای خودش هم بعید به نظر میرسید.
او شغل دائم خود را ترک میکند تا برای یک ۲۴ ساله کار کند.
چندی پیش، ایده پیوستن به یک استارتاپ هوش مصنوعی در سیلیکون ولی برای او پوچ به نظر میرسید. در واقع، قبل از اینکه شغلش را تغییر دهد و کل زندگیاش را زیر و رو کند، خودش را یک شکاک نسبت به هوش مصنوعی میدانست. تا همین اواخر، سخنرانیهایش را با تمسخر هیاهوی پیرامون این فناوری نوپا آغاز میکرد.
او میگفت: «نام من کن اونو است و من هوش طبیعی (NI) دارم.»
اکنون او بعیدترین کارمند یک استارتاپ است که امیدوار است ریاضیات را با هوش مصنوعی متحول کند.
اونو در سن ۵۷ سالگی، مرخصی طولانیمدت از دانشگاه میگیرد و هیچ برنامهای برای بازگشت ندارد. او به شرکتی میپیوندد که توسط یکی از دانشجویان سابقش، کارینا هونگ، تأسیس شده است؛ کسی که سوابق درخشانی دارد که حتی هوش مصنوعی را هم نگران میکند.
هونگ پس از فارغالتحصیلی از MIT در سه سال، برنده شدن جایزه مورگان به عنوان برترین محقق ریاضیات در مقطع کارشناسی آمریکا و کسب بورسیه رودز، برای ادامه تحصیل در رشته حقوق و دکترا در ریاضیات به استنفورد رفت. او برای تأسیس Axiom Math از دانشگاه انصراف داد، ۶۴ میلیون دلار سرمایه جذب کرد، چند تن از محققان هوش مصنوعی متا را به استخدام خود درآورد – و مربی خود را استخدام کرد. از نظر او، این یک تصمیم بدیهی بود.
هونگ، مدیرعامل Axiom، گفت: «کن اونو بت بسیاری از دانشجویان ریاضیات است.»
شرکت هونگ به نام یک اصطلاح ریاضی برای یک حقیقت اساسی نامگذاری شده است که میتواند نقطه شروع یک نظریه کامل باشد. هدف او ساخت یک «ریاضیدان هوش مصنوعی» است که قادر به استدلال در مورد مسائل شناخته شده، یافتن مسائل جدید و تأیید کار خود از طریق اثباتهای رسمی باشد. اگر موفق شود، Axiom ممکن است مشکلاتی را حل کند که قرنها انسانها را گیج کردهاند.
سرمایهگذاران این استارتاپ روی این شرط بستهاند که یک ابرهوش ریاضی میتواند انواع کاربردهای تجاری را داشته باشد – تأیید نرمافزار و سختافزار، بهینهسازی لجستیک، معاملات الگوریتمی و مهندسی مالی. ثروتمندترین شرکتهای جهان در حال سوزاندن پول هستند و نگرانیهایی را در مورد تورم حباب این رونق ایجاد میکنند، اما ریاضیدانان به طور فزایندهای به پتانسیل هوش مصنوعی برای کمک به کارشان و usher در اکتشافات خوشبین هستند.
هنگامی که با اونو صحبت کردم، یک روز پس از امضای مدارک رسمی مرخصیاش بود. همانطور که برای نقل مکان به آن سوی کشور آماده میشد، تمایلی به پیشبینی آینده دور نداشت. اما این استاد ریاضی که اکنون برای یک استارتاپ ریاضی کار میکند، یکی از اصول خودش را به اشتراک گذاشت.
او گفت: «اگر من اولین باشم، اشکالی ندارد. من آخرین نخواهم بود.»
اونو یک فرد خاص است که کارش از همان ابتدا غیرسنتی بوده است. در دوران کودکی، فشار والدینش او را به حدی ناراحت کرد که دبیرستان را تمام نکرد. بدون دیپلم، او همچنان به دانشگاه رفت، علاقهاش به ریاضیات را توسعه داد و دههها در دانشگاه ویسکانسین و اموری تدریس کرد و سپس در سال ۲۰۱۹ به UVA نقل مکان کرد. او همچنین برنامه تحقیقاتی برتر کشور را برای دانشجویان نخبه رهبری کرد و ۱۰ برنده جایزه مورگان، از جمله رئیس جدیدش را راهنمایی کرد.
کن ریبت، رئیس سابق انجمن ریاضی آمریکا، گفت: «او یک شخصیت برجسته در ریاضیات است.»
در ریاضیات، اونو به خاطر کارهایش در طیف وسیعی از موضوعات نظریه اعداد، از همنهشتیهای رامانوجان تا حدس «امبرال مونشاین» (umbral moonshine conjecture) شناخته شده است.
و اگر جمله آخر شما را به عرق انداخت، اکنون میتوانید استراحت کنید.
همانطور که مشخص است، اونو به دلیل کارش در بهکارگیری ریاضیات در سایر زمینهها نیز شناخته شده است. او با شناگران در UVA و مدالآوران طلای المپیک در تیم ملی آمریکا مشاوره کرد. او به آژانس امنیت ملی مشاوره داد. او به تولید فیلم «مردی که بینهایت را میشناخت» (The Man Who Knew Infinity) در سال ۲۰۱۵ کمک کرد. سپس برای یک آگهی آبجو جلوی دوربین رفت و تأیید کرد که ۶۴ (کالری در میلر ۶۴) عددی کوچکتر از ۸۰ (آبجوهای سبک رقیب) است.
و به خاطر یک چیز دیگر نیز شناخته شده است: مجموعه چشمگیر پیراهنهای هاواییاش.
او میگوید: «امیدوارم Axiom با تامی باهاما قرارداد ببندد. این رویای من است.»
در سالهای اخیر، اونو شروع به ردیابی پیشرفت چشمگیر هوش مصنوعی کرد، زیرا به سرعت بهبود مییافت. او کنجکاو بود، هرچند مرعوب نشده بود. هوش مصنوعی در کارهای شناختی و حل مسائلی که قبلاً دیده بود، شگفتانگیز بود، اما در عناصر خلاقانه رشته او که نیاز به شهود و تفکر انتزاعی دارد، مشکل داشت.
این خلاقیت آنقدر برای ریاضیات محض بنیادی است که اونو فکر میکرد شغلش برای دههها ایمن خواهد بود.
اما بهار گذشته، او یکی از ۳۰ ریاضیدانی بود که برای تدوین مسائل در سطح پژوهش به عنوان آزمایشی برای مدلهای هوش مصنوعی دعوت شدند. او این همایش را با حس عمیقی از شوک ترک کرد، از آنچه دیده بود.
او گفت: «پیشتاز بودن من نسبت به مدلها در حال کاهش بود. و در حوزههایی از ریاضیات که در تخصص من نبودند، احساس میکردم مدلها قبلاً مرا شگفتزده کرده بودند.»
ماهها پس از آن، اونو احساس میکرد که هویت خود را از دست داده است. با دانستن اینکه مدلهای هوش مصنوعی فقط باهوشتر خواهند شد، نمیدانست چه کاری باید انجام دهد.
او گفت: «سپس به بینشی رسیدم. متوجه شدم که مدلها راهی متفاوت برای انجام ریاضیات ارائه میدهند.»
او قبلاً همکاران، دانشجویان ارشد و دانشجویان برجسته کارشناسی را به عنوان همکار داشت. اکنون هوش مصنوعی نیز دارد.
او میگوید: «هر روز یک یا دو ساعت را صرف ایدهپردازی با مدلها میکنم. آخر شب، اگر نتوانم بخوابم، آیفونم را باز میکنم و با مدلها در سطحی بسیار بالا درباره ریاضیات صحبت میکنم.»
در همین حال، هوش مصنوعی تنها دلیلی نبود که شغل او به عنوان یک استاد ناگهان شکننده به نظر میرسید.
با هدف قرار دادن آموزش عالی توسط وزارت دادگستری، او نگران تهدیدات علیه بودجه تحقیقات فدرال بود. اوایل امسال، رئیس UVA تحت فشار دولت ترامپ استعفا داد. اونو به عنوان مشاور STEM رئیس دانشگاه، زمان بیشتری را صرف مسائل سیاسی میکرد، که به معنای زمان کمتر برای انجام ریاضیات بود.
او تصمیم گرفت UVA را برای هوش مصنوعی ترک کند زیرا نمیتوانست در برابر آخرین فرصت برای ثبت اثر خود بر چیزی غیر از تخته سیاه مقاومت کند.
اونو گفت: «من این امتیاز را دارم که در تغییر نحوه عملکرد واقعی جهان مشارکت داشته باشم. به عنوان یک ریاضیدان محض، این موضوع به ندرت اتفاق افتاده است.»
هنگامی که او به این نتیجه رسید که زمان تغییر فرا رسیده است، دقیقاً میدانست با چه کسی تماس بگیرد.
کارینا هونگ در سال ۲۰۲۰ دانشجوی برنامه تحقیقاتی اونو بود، قبل از اینکه جایزه مورگان و جایزه شفر را به عنوان برترین دانشجوی زن ریاضی در مقطع کارشناسی کسب کند. او که در چین به دنیا آمده و بزرگ شده بود، در جوانی انگلیسی را خودش یاد گرفت تا کتابهای پیشرفته این رشته را بخواند. او در برنامههای المپیاد ریاضی آموزش دید، مسائل را تحت فشار زمان و محدودیتهای شدید حل میکرد، اما شیفته نوع دیگری از ریاضیات شد.
او گفت: «همیشه به اکتشافات ریاضی بسیار علاقهمند بودم. ریاضیات المپیاد یک ضربه مداوم دوپامین است، اما ریاضیات پژوهشی به سر کوبیدن به دیوار است. درد و رنج است. من آن بخش را دوست دارم.»
در گفتوگوی ما، او هم پژوهش ریاضی و هم سال اول دانشکده حقوق را «بسیار سرگرمکننده» توصیف کرد. او یکی از معدود افرادی است که این را میدانند. هونگ که از اولین نسل دانشجویان کالج بود، در MIT نابغه ریاضی بود. او به جای رفتن به صندوقهای پوشش ریسک به عنوان یک معاملهگر کوانت، به عنوان محقق رودز به آکسفورد رفت. پس از مطالعه علوم اعصاب و نوشتن دو پایاننامه، برای دریافت مدرک حقوق و دکترای ریاضیات به استنفورد رفت.
در آخر هفتهها، او دوست داشت در یک کافه نزدیک پردیس مطالعه کند. در حالی که لاته ماچا مینوشید، مقالات ریاضی پیچیده میخواند و با شوبو سنگوپتا، دانشمند هوش مصنوعی در متا پلتفرمها که او نیز یکی از مشتریان ثابت میز مشترک بود، دوست شد. همانطور که با هم گپ میزدند، متوجه شدند که ممکن است بتوانند با هم همکاری کنند و رشتههای خود را به هم پیوند دهند.
در طول دویدنهای صبحگاهی خود، زمانی که به ترک تحصیل و راهاندازی یک شرکت فکر میکرد، هونگ نصیحتی را به یاد آورد که لیزا سو، مدیر عامل شرکت قدرتمند تراشهسازی AMD، به دانشجویان میدهد: به سمت سختترین مشکلات حرکت کنید.
هونگ گفت: «پژوهش در ریاضیات واقعا سخت است. هوش مصنوعی برای ریاضیات سختتر است.»
او به محض بسته شدن دور تأمین مالی اولیه Axiom در تابستان گذشته، از تحصیل انصراف داد.
چند روز بعد، گوگل دیپمایند و اوپنایآی، نِردها را در سراسر جهان مجذوب خود کردند، زمانی که مدلهایشان مدالهای طلا را در المپیاد بینالمللی ریاضی به دست آوردند. شرکت Harmonic، یک استارتاپ که ولاد تنف، مدیر عامل Robinhood، یکی از بنیانگذاران آن است، نیز همین کار را کرد و میگوید: «ابرهوش ریاضی لحظه به لحظه نزدیکتر میشود.»
هونگ در رقابت با زمان، شروع به جذب استعدادها با سنگوپتا، دوستش از کافه و اکنون مدیر ارشد فناوری Axiom کرد. از جمله مهندسان پژوهشی که آنها از متا استخدام کردند، فرانسوا چارتون، پیشگام هوش مصنوعی در ریاضیات بود. حمله استخدامی آنها در سراسر سیلیکون ولی توجهها را به خود جلب کرد و توجه کسی را که هزاران مایل دورتر بود، جلب کرد: کن اونو.
طولی نکشید که او با همسرش و سگ شنودلشان به نام موچی وسایلشان را جمع میکردند.
و این هفته، او به عنوان پانزدهمین کارمند Axiom شروع به کار کرد.
هنگامی که او شروع به بحث در مورد نقش خود کرد، پیشنهاد اولیه استارتاپ «مدیر ارشد ریاضی» بود. پس از مذاکره، آنها بر روی عنوان رسمی «ریاضیدان بنیانگذار» توافق کردند.
وظیفه او این است که مدلهای هوش مصنوعی شرکت را به حداکثر تواناییهایشان برساند. او مسائل نمایندهای را مطرح خواهد کرد که تنها با درک اصول ریاضی قابل حل هستند، در حالی که معیارهایی را برای اندازهگیری عملکرد سیستم و راهنمایی مدلها تدوین میکند.
او میگوید: «آن را مانند نقشهای برای یک دریانورد تصور کنید. قبل از اینکه برای کشف سرزمینی جدید حرکت کنید، باید بدانید کجا هستید و چه چیزی قبلاً کشف شده است.»
اونو میگوید که این کاوش او را به Axiom کشانده است تا هر دلیل دیگری، از جمله دلایل مالی. او گفت: «من این کار را برای پول انجام نمیدهم.» او قبلاً یکی از پردرآمدترین کارمندان UVA بود و میگوید پیشنهادهای سودآورتر و سهام بزرگتر در سایر شرکتهای هوش مصنوعی را رد کرده است.
در دفاتر استارتاپ در پالو آلتو، اتاقهای کنفرانس به نام ریاضیدانان افسانهای نامگذاری شدهاند – پوانکاره، گاوس، هیلبرت، لاولیس، تورینگ. پس از اینکه شرکت ۶۴ میلیون دلار سرمایه جذب کرد، کارمندان اشاره کردند که ۶۴ برابر ۲ به توان ۶ است و شوخی میکردند که دور بعدی آنها میتواند ۲ به توان ۷ باشد.
اما نکته تعجبآور در مورد همکاران اونو این است که بسیاری از آنها همسن او هستند.
هونگ گفت: «بسیاری از محققان برجسته در مرحلهای از زندگی خود هستند که سابقه کاری، مجموعه آثار و امنیت مالی دارند – و به دنبال پروژه میراثی خود هستند.»
و یکی از آنها به دنبال چیز دیگری نیز هست.
اونو گفت: «حتی اگر به ابرهوش برسیم، هنوز سوالات ریاضی حلنشدهای باقی خواهند ماند. من همچنان به دنبال پاسخ خواهم بود.»
برای بن کوهن به آدرس [email protected] بنویسید
