Vibe proving

بذارید از بحثی که امروز داشتم با هم آزمایشگاهیم میکردم شروع بکنم تا اینکه شاید از این وضع خشکی قلم و این حرفا در بیام.
وسط بحث با Alek بودم که یهو این اصطلاح جدید رو در حین صحبتاش بکار برد و دیدم که واقعا چقدر عجیب و کاربردی باید باشه.

داستان از این قرار بود که دوستم این اخر هفته زمان گذاشته بود و تز ۳۰۰ صفحه‌ای یک دانشجو کارشناسی رو که قرار بود سوپروایزش کنه رو بررسی کرده بود و دیده بود که بعله دانشجو اومده بود vibe proving کرده و یه آب هم روش. حیف که اونا آقای میثاقی ندارن که بدن آبشو بخوره.

اگه بخوام به زبون ساده‌‌ بگم vibe proving چی میشه تفت دادن درستی یه گزاره با استفاده از نمادها و اصطلاحات ریاضی میشه.

کار از این قرار بود که پسره اومده یه قضیه گنده رو در نظر گرفته، فرض کن مثلت من میخوام ثابت کنم RNN‌ها با سایز محدود میتونن هر دنباله‌ای رو تخمین بزنن. بعد اومده مسئله رو شکونده بود به کلی مسئله کوچیک‌تر و برای هر کدوم اومده بود از LLM سوال پرسیده بود و در نهایت نتیجه کار اتفاقا خیلی هم خوب از آب در اومده بود. یعنی از بیرون با دید خیلی سریع نگاه میکردی همه چیز خیلی منطقی بنظر میومد اما نه در عمق. این دوستم خیلی آدم دقیق و باهوشیه و واقعا نشسته بود وقت گذاشته بود تا تونسته بود یه نقطه سوراخ پیدا کنه و بعد به همه چیز شک میکنه و طرف آخرش اعتراف میکنه که اره این کارو کرده و اثبات ها رو نفهمیده عمیقا خودش.

ولی جدی بیاید تصور کنید که شما ریویوئر یکی از این کنفرانس‌های مطرح ماشین لرنینگی مثلا NeurIPS هستید و موظفید ۶ تا پیپر رو داوری کنید که هر کدوم ۶۰ صفحه ان و برای این کار دو هفته وقت دارید. ایا شما فرصت میکنید بشینید تک به تک اثبات‌ها رو چک کنید؟ هرگز.

بنابراین خوش اومدید به عصر جدید vibe proving. البته این ابزار تفت دادن اختراع تازه‌ای نیست خود بنده از این روش در درس‌های عمومی دانشگاه بسیار بهره بردم تا حدی که یه درسی رو ۲۰ شدم در حالیکه مطمئن بودم غلط داشتم تو سوالای تستی ولی خب الان دیگه تو ریاضیات هم میشه به تفضیل تفت داد و به ظاهر منطقی هم بود و ازون ور این هم از اوضاع peer review.

کم کم آخر بحثمون به این نتیجه رسیدیم که vibe coding که چند وقتیه مد شده الانم vibe proving اومده کم کم شاید ما تبدیل بشیم به انسان‌هایی که دارن vibe living میکنن در واقع صرفا کسایی که ادای زندگی کردن رو در میارن، اگر تا حالا نشده باشیم.

نمیدونم ولی راستش این ابزارهای مدل زبانی خیلی چیزها رو تغییر داده و نمیدونم ما زمان کافی برای تطبیق پیدا کردن رو داشتیم یا نه براش. شما چی فک میکنید؟ تجربه‌ی مواجه با چنین چیزی رو داشتید؟

@SingularThinker

ویراست جدید کتاب High-Dimensional Probability به صورت آزاد در دسترس قرار گرفته اگر تو حوزه ml theory دوست دارید کار کنید حتما توصیه میکنم که این کتابو بخونید. من خودم در حال مطالعه و حل تمریناش هستم اگر سوالی داشتید یا همفکری خواستید حتما به منم پیام بدید.
https://www.math.uci.edu/~rvershyn/papers/HDP-book/HDP-2.pdf
@SingularThinker

بچه‌ها من این روزا speechless ام واقعا
انقدر که افکار مختلف و احساس مختلف رو تجربه میکنم یه ذره کلا هنگم. ولی ازون طرف یکم سرم خلوت تره متاسفانه و شاید بشه که بیشتر حرف بزنیم با هم در مورد هر چیزی که شاید من بتونم کمکی بکنم راجع بهش یا اطلاعی داشته باشم خلاصه که هر چه میخواهد دل تنگتان بگید.

📌تمهید اتوبوس برای بازگشت دانشجویان به شهرهایشان


با توجه به پیگیری های شورای صنفی سطح شهر و همکاری اداره کل خوابگاه ها؛
اتوبوس هایی برای انتقال به برخی از شهر های مقصد دانشجویان تهیه شده است.
نکات قابل توجه؛
پسران به گیت کوی مراجعه کنند، نام و نام خانوادگی و شهر مقصد خود را در گیت ورودی کوی اعلام کنند(تا ساعت ۱٠ امشب ثبت نام)
در مسیر شهر های مقصد، شهر های بین راهی نیز قرار داده شده است و دانشجویان میتوانند در بین مسیر در شهر هایی که نام آنها نوشته شده است پیاده شوند.
اگر شهر مقصد ثبت نامش به حد نصاب پر شدن اتوبوس برسد، اتوبوس ساعت ۱۱ حرکت میکند
استفاده از اتوبوس رایگان است.
لطفا دانشجویان هرچه سریعتر اقدام به ثبت نام کنند

🌐روابط عمومی شورای صنفی خوابگاه

📮رسانه دانشجویی دانشگاه تهران
     اینستاگرام | تلگرام | توییتر

بچه‌هایی که تهران و توی خونه‌هاتون هستید، حواستون به این باشه که پیام‌های ترک شهر که میبینید یه درصد کم از جمعیت هست که اینجا به چشممون زیاد میاد، اگه موندید احساس ترس و تنهایی نکنید و بدونید چند میلیون آدم دیگه تو همین شرایطن
میدونم ذهن گاهی دچار خطا میشه گفتم یادآوری کنم.

بهش ظاهرا می گند
Availability Heuristic
یه جور بایاسه. مغز تمایل داره اتفاقاتی که مشاهده می کنه رو بازتابی از کل واقعیت موجود ببینه، که خب واضح و مبرهن است که اشتباهه.

گویا نت داره ملی میشه راه خاصی هست بشه کاری کرد؟
پ.ن: ربتل خیلی کار نمیکنه گویا

بچه‌ها حالا که نت ها قطعه اگر به هر نحوی میتونید پیام منو ببینید و کاری هست که من بتونم این ور انجام بدم
مثلا به استادی ایمیلی بزنم یا مقاله‌ای لازمه یا هر چیزی بهم بگید با کمال میل در خدمتم.