كيف انتهى بي الأمر عالم رياضيات؟ (قصة طويلة) عندما كنت طفلا ، قال لي والدي "عائلتنا ليست جيدة في الرياضيات" وأنا ، مفضلة كرة القدم والمواعدة لأي شيء ينطوي على عمل الدماغ ، قبلت هذا على أنه حقيقة. عندما كنت طالبا جامعيا ، درست علم الأحياء وعلوم الكمبيوتر ، للذهاب إلى علم الأعصاب (انتهى بي الأمر بالزواج من ابنة أحد أساتذتي المحترمين. لكن هذه قصة مختلفة). أدركت أنني أحببت حقا دورات الرياضيات ، وكرهت أي شيء مطبق - سواء كان ذلك في مختبرات البرمجة أو علم الأحياء. في الواقع ، في كل فصل دراسي ، كنت أذهب إلى عميد البكالوريوس في ذلك الوقت (البروفيسور @noamnisan ، وهو الآن مستشار ل StarkWare) للتفاوض على استبدال دورات البرمجة بمزيد من الرياضيات (وهذا هو السبب في أنني لا أعرف البرمجة حتى يومنا هذا ؛ على الرغم من أن مقدمة إلى C ++ كانت أول دورة قمت بتدريسها كأستاذ مساعد. لكن هذه أيضا قصة مختلفة.) بعد ذلك ، كطالب دراسات عليا ، أردت أن أذهب إلى التعلم الآلي ، لكن الأستاذ المرغوب فيه (تالي تيشبي ، RIP) ، كان لديه بالفعل طلاب غازيليون. كنت جالسا في دورة حول التعقيد الحسابي يدرسها باحث ما بعد الدكتوراه ، عندما تم استبداله في محاضرة واحدة بآفي ويجدرسون. لم أكن أعرف شيئا عنه في ذلك الوقت (ظهرت صورته على الملصقات ، حيث حصل للتو على جائزة نيفانلينا ، لكن بصفتي طالب دراسات عليا شابا غبيا لم أكن أعرف ما يعنيه ذلك). تحدث آفي عن كيف يحاول بعض الأشخاص الآن إثبات أنه من المستحيل تسوية تخمين P مقابل NP. وكنت مفتونا بهذا. لذلك قلت له: أريد أن أدرس هذا كمشروع الماجستير. بدأت فترة من المغازلة. لم يكن آفي متأكدا من أنني مناسب له (كانت درجاتي في الرياضيات على ما يرام ، لكنني لم أكن أبدا من نوع الطالب المستقيم). لذلك ، أسقط كتابا عن تعقيد الإثبات علي ، قائلا: اقرأه ولخصه لي. قرأت هذا الكتاب مثل 3 مرات من الغلاف إلى الغلاف ولم أفهم كلمة تتجاوز فصل المقدمة (اليوم أعلم أن هذا على الأرجح خطأ المؤلف ، وليس غباءي. لكن هذه قصة أخرى). بعد بضعة أسابيع ، بعد أن لم يفهم كلمة واحدة حول الموضوع ، طلب آفي شرح ورقة حديثة حول "درجة وحجم براهين حساب التفاضل والتكامل متعددة الحدود". جلسنا في منزله ، شرحت. في مرحلة ما سأل: "لماذا لا يمكن تطبيق هذا على نظام إثبات الدقة؟" (القرار هو أهم وأساسي نظام إثبات حساب التفاضل والتكامل المقترح). حدقت ، فكرت قليلا ، وقلت "أوه ، لكن يمكن ذلك ، إليك الطريقة" ، وطبقت نفس طريقة الإثبات على القرار. شعر آفي بالحماس الشديد. قلت "دعنا نرسل بريدا إلكترونيا إلى مؤلفي الورقة السابقة" ، معتقدا أنه إذا فهمت هذه الأشياء ، فلا يمكن أن تكون أكثر من مجرد بريد إلكتروني. أصر آفي على أن نكتبها كورقة. كل بضعة أيام حاولت إقناعه بالتخلي عنه وإرسال بريد إلكتروني فقط ، لكنه كان مصرا ، واستمعت. شيء جيد فعلته. انتهى بها الأمر كورقة أكثر استشهادا وعاجزة قبل تلك الموجودة STARK / SNARK. بعد تلك الورقة ، جاء عدد قليل من الآخرين. مع كل واحدة ، كنت متأكدا من أنها مجرد ملاحظة تستحق البريد الإلكتروني ، وليست الرياضيات العميقة. رأيت كل هذه الأوراق الأخرى ، التي كان من الصعب جدا فهمها ، وبالمقارنة كانت أغراضي الخاصة واضحة وبسيطة للغاية. استغرق الأمر مني سنوات عديدة لأدرك أن هذه هي الطريقة التي تتقدم بها الرياضيات. تقضي الكثير من الوقت في استيعاب بعض المفاهيم النظرية ، ثم في يوم من الأيام "تراها". وبعد ذلك يبدو لكم جميعا واضحا وبسيطا. لكن الأمر واضح وبسيط لك فقط. بالنسبة للآخرين ، الأمر معقد. اليوم ، عندما يتعين علي أن أذهب وألقي نظرة على بعض أوراقي السابقة ، أجد نفسي أحدق ، وأخدش رأسي ، وأقول "اللعنة ، هذه بعض الأشياء الخطيرة ، كيف توصلوا إلى هذا؟" :-) بعد تلك الاختراقات الأولية في الرياضيات ، عرض آفي أنني لا أحصل على درجة الماجستير فحسب ، بل في الواقع درجة الدكتوراه ، وهكذا انتهى بي الأمر إلى عالم كمبيوتر نظري (وهو نوع من علماء الرياضيات). النهاية.