اتحاد اتحاد رمز پیروزیست...
@SinguarThinker

در باب ابتذال در دانشکده ریاضی دانشگاه تهران (۳)

نویسنده: پویا لایقی

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

من در اینجا می‌خواهم از خاطرات خودم با او بگویم. ترم یک کارشناسی‌ام یعنی سال ۹۴، با او درس مبانی ریاضی داشتم. این درس درواقع نظریه مجموعه‌های مقدماتی است. کلاس تدریس او برای اکثر ورودی‌های ۹۴ بسیار لذت‌بخش بود و او سعی می‌کرد با بیان کردن داستان نظریه مجموعه‌ها از جمله تلاش‌های ریاضیدانان برای حل فرض پیوستار و بیان نام افراد شاخص این گرایش در ریاضی از جمل گئورگ کانتور، کورت گودل و پاول کوهن توجه دانشجویان رو به زوایای مختلف نظریه مجموعه‌ها جلب کند و کنجکاوی را در آنها زنده کند.
من در آن زمان در حال خواندن کتاب “نام‌گذاری بر بی‌نهایت‌ها”، ترجمه رحیم زارع‌نهندی بودم و بعد اتصال این کتاب به مباحث این درس بسیار لذت‌بخش بود. خواندن این کتاب و کتاب “شاگردی یک ریاضیدان” اثر ریاضیدان معروف فرانسوی، آندره ویل، و تعدادی مصاحبه و مقاله از سایر ریاضیدانان سبب شد که من و دوستانم به این فکر کنیم که چیزی در دانشکده کم است. بدین منظور به فکر برگزاری سلسله جلسات ریاضی توسط دانشجویان کارشناسی و برای دانشجویان کارشناسی به منظور گسترش دانش‌ عمومی ریاضی در بین دانشجویان و الگوسازی از آن‌ها برای یکدیگر که یکی از آن‌ها توانسته است چنین مطالب سنگینی را بفهمد و برای عموم توضیح دهد، افتادیم. تنها استاد دانشکده در آن زمان که به حمایت از ما پرداخت و‌ خود نیز ارائه‌ای در باب قضیه ناتمامیت گودل برای دانشجویان داد، مجتبی بود. خوب به یاد دارم که این ارائه چه هیجانی در بین ما دانشجویان ایجاد کرد. من در ترم پاییز سال ۹۶ حل تمرین درس مبانی ریاضی مجتبی برای دانشجویان ورودی سال ۹۶ بودم. خوب به یاد دارم که چه انگیزه‌ای در بین تعدادی از دانشجویان آن ورودی ایجاد کرده بود. یکی از آن‌ها که بعدا از دوستان نزدیک من شد، بسیار علاقه‌مند شده بود که اثبات کوهن از فرض پیوستار، که کوهن به دلیل این اثبات، مدال فیلدز را دریافت کرد، را بفهمد ولی خب دانشجوی ترم یک بود و فهمیدن اثبات فرض پیوستار برای اساتید هم کار راحتی نیست. این مجتبی بود که دوست من را هدایت کرد و به یاد دارم روزهایی که در تابستان باهم پشت دانشکده می‌نشستیم و او با کلی هیجان از آموخته‌هایش و ارائه‌هایش برای مجبتی برای من صحبت می‌کرد. یک سال بعد این دوست من که آن‌ زمان سال دوم دوره کارشناسی بود، عصرانه‌ای بسیار زیبا در مورد روش فورسینگ ارائه داد. خوب آن روز را به یاد دارم. بزرگ‌ترین کلاس دانشکده ریاضی دانشگاه تهران مملو از جمعیت شده بود. دانشجویان از همه ورودب‌ها آمده بودند و تعدادی از اساتید هم دیده می‌شدند. اون روز دوست من به واسطه هدایت مجتبی، جلوی حدود دویست نفر اثباتی را بیان کرد که کوهن به خاطر آن فیلدز گرفته بود. به منظور حل این فرض، کوهن روش فورسینگ را ابداع کرد و آن روز وقتی دوستم را می‌دیدم که قهرمان‌گونه و با تسلط کامل در مورد روش فورسینگ حرف میزد، اشک در چشمانم حلقه زده بود و حال هم که این متن را می‌نویسم و خاطرات را به یاد می‌آورم، اشک در چشمانم جمع شده است. این دوست من همچنان راهش را در نظریه مجموعه‌ها ادامه می‌دهد و یحتمل به زودی از معدود ایرانی‌هایی خواهد شد که این بخش بزرگ ریاضی را می‌فهمد. ولی آیا اگر مجتبی نبود، چنین فردی هدایت می‌شد؟

لطفا نشر دهید.

@PointInstituteMath

در باب ابتذال در دانشکده ریاضی دانشگاه تهران (۵)

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

https://www.change.org/p/against-the-mistreatment-of-faculty-members-in-university-of-tehran?redirect=false

@PointInstituteMath

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

بیش از ۱۰۰۰ نفر امضا کردن و داریم میریم که به ۵۰۰۰ برسیم. به حمایت شما نیاز داریم.

لطفا امضا و تا جایی که می‌تونید هم‌رسانی کنید. دمتون گرم
https://chng.it/5NZg9scMB2

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

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

@SingularThinker

پ.ن: شروع این سیاست کثیف رو هم در مطلب پایین می‌تونید مشاهده کنید و اگه خواستید برای حمایت از این اساتید پتیشن رو امضا کنید.

🔴توضیح دکتر مجتبی مجتهدی استادیار دانشکدگان علوم دانشگاه تهران درخصوص رفتار دانشگاه پس حمایت ایشان از دانشجویان


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

در این میان دانشگاه چه کرد؟ برخی هم‌کاران گفتند برای صلاح دانشجویان و جلوگیری از دستگیری بیشتر آن‌ها بهتر است دانشجویان را ترغیب (بلکه وادار) به حضور در کلاس درس کرد. ابزارهای پیشنهادی هم حضور و غیاب و یا دست‌کم ترساندن دانشجویان از نمره دروس بود. خانم زهرا رضایی قهرودی، معاون آموزش دانشکده، مهم‌ترین درخواستش از من صریحا این بود که به نحوی دانشجویان را از بابت عدم حضور در کلاس بترسانم. طبیعتاً زیر بار هیچ‌کدام از این درخواست‌ها که خارج از چارچوب‌های حرفه‌ایم بود نرفتم. دانشجویانی که با من درس گذرانده‌اند می‌دانند که من هرگز در کلاس‌های درسم حضور و غیاب نکردم و برای عدم حضور دانشجو در کلاس جریمه‌ای در نظر نگرفته‌ام. 

رئیس دانشکدگان علوم، آقای وحید نیکنام، یک بار من را به حضور خواست و تلویحاً من را تهدید به عدم تمدید قرارداد و ممنوع‌الخروجی کرد.
احتمالا دلیل تهدید ممنوع‌الخروجی هم این بود که در اردیبهشت ۱۴۰۱ درخواست مأموریت پژوهشی یک‌ساله برای کشور بلژیک داده بودم و الآن هم دو سه روز است که در مأموریت پژوهشی هستم. البته این مأموریت پژوهشی در شورای تحصیلات تکمیلی دانشکده به تاریخ ۱۵ شهریور ۱۴۰۱ مورد موافقت قرار گرفت. اما بعد از این وقایع، رئیس دانشکده آقای رضا عامری، بدون اطلاع قبلی در شورای ارزیابی و نظارت بر مأموریت‌های پژوهشی، با سفر من شخصاً مخالفت کرد.

#دانشگاه_تهران
4⃣3⃣1⃣0⃣
🆔@senfi_uni_iran

ظلم ظالم، جور صیاد
آشیانم داده بر باد
#music
@SingularThinker

❗️یسری ظرفیت IELTS برای بهمن ماه توی بعضی سنترها باز شده


پ.ن: فک نمیکردم یه روز نیاز باشه چنین خبری بزنم کانال

پ.ن۲: گویا ظرفیت بازه ولی پرداخت نمیشه کرد به دستور سازمان سنجش محترم🤦‍♂

@SingularThinker

امروز داشتم با دوستم در مورد "ماچین لرنینگ" (به قول استاد اونا) صحبت میکردم و اینکه چقدر من دید ابزاری دارم به ماشین لرنینگ.

تا اینجا متن احتمالا این طوری باشید که هوی! ماچین لرنینگ حرمت داره نه لذت، که خب باید خدمتتون عرض کنم که لعنت به شما جاجوها، اجازه بدید تا توضیح بدم.

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

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

خلاصه به نظرم خوبه که ماشین لرنینگ یاد بگیریم؟ آره چرا که نه. کلی کار باحال میشه کرد باهاش تو حوزه‌های مختلف.

آیا "فقط" بریم ماشین لرنینگ یاد بگیریم کافیه؟ به نظرم نه. یعنی شما در صورت موفقیت یه ابزار یاد میگیری تا باهاش مسائل رو حل کنی. خب نکته مهم اینه که مسئله‌ات چیه؟

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

این متن رو پس از خوندن این متن از سایت سیتپور نوشتم، حال داشتید اونم بخونید:
http://sitpor.org/2023/01/coding/


پ.ن: دوست دارم نظر شما رو هم در مورد این بحث بدونم، اگه خواستید کامنت بذارید.

#note
@SingularThinker

🧠 Could One Physics Theory Unlock the Mysteries of the Brain?

یه ویدئو فوق‌العاده و کوتاه درباره‌ی مسئله مرموز بحرانیت (Criticality)، اهمیتش و احتمال وجودش در مغز. به شدت پیشنهادش می کنم.

اگر هم موضوع براتون جذاب شد و خواستید بیشتر درباره‌ش بدونید این مقاله رو پیشنهاد می کنم:
Being critical of criticality in the brain

@SingularThinker

به مناسبت روز داروین، توصیه می‌کنم که اگر با زندگی این آدم که واقعا میشه جهان رو به قبل و بعد نظریه‌اش تقسیم کرد، آشنا نیستید لیست زیر از پادکست ها رو حتما نگاه کنید.


🔹 پرونده‌ی "صرفا یک نظریه - Just a theory" از پادکست پرسه - عباس سیدین - اپیزود ۲۱ و ۲۲ و ۲۳
🔗 لینک

🔸اپیزود "کافر یا دانشمند| داستان زندگی داروین" - پادکست رخ - امیر سودبخش - اپیزود سه
🔗لینک

🔺اپیزود "خلاصه‌ی کتاب ایده‌ی خطرناک داروین- Darwin's dangerous Idea" - پادکست بی‌پلاس- علی بندری- اپیزود ۲۱
🔗لینک
#podcast
@SingularThinker

🔸 AGI is near...?

وسط اخبار ChatGPT و جنگ LLM ها اینم ببینید خیلی جالب بود. مدل جدید DeepMind هستن که تسک‌های RL انجام میدن.

ویژگی خاصش هم توانایی و سرعت عجیب غریبش تو یاد گرفتن تسک های جدیده. بزرگوار تو یکی دو trial تسکی رو یاد میگیره که همین خوندن قوانینش چند دقیقه طول میکشه! (حالا ما هم یه شب تا صب باید صبر می‌کردیم بلکه مدلمون زحمت بکشن اون بیلبیلک CartPole رو بالانس کنن)

اطلاعات بیشتر: AdA: an AI that adapts as fast as humans

@SingularThinker

راستی گفتم ChatGPT، دلم نیومد اینم نذارم اینجا...

♟ نبرد اساطیری ChatGPT رو مشاهده می‌کنید با StockFish (یه ربات مخصوص شطرنج).
#language_modeling
@SingularThinker

🔴 توی رشتوی زیر در مورد اینکه ChatGPT چه طور کار میکنه، به زبان کاملا غیرتخصصی و ساده شهود کار رو توضیح داده شده(قطعا از کلی پیچیدگی‌ها صرف نظر شده)

🔗 لینک

پ.ن: با تشکر از علیرضا بابت اشتراک گذاری.

#language_modeling
@SingularThinker

🔵 در همین فضا یه سری از ملت پاشدن و رفتن Petition درست کردن که AI رو خاموش کنن . گویا تو نسخه‌ای که بینگ از ChatGPT منتشر کرده در بعضی از مواقع ChatGPT قاطی کرده و عصبانی شده و در نتیجه مردم هم رد دادن.

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

🔗 لینک پتیتشن

#language_modeling
@SingularThinker

راستش چیزی ندارم بگم رو این، فقط ببینید به نظرم حداقل چند دقیقه اولشو:

https://youtu.be/ZwuxE7ZrpF4

@SungularThinker

به مناسبت روز مهندس :)

پادکست Brain Inspired یه پادکست جالب مصاحبه‌ایه در زمینه‌ی Computational neuroscience.

حالا سازنده‌ی این پادکست هم‌یه دوره‌ی Neuro-AI درست کرده که به نظر جالب میاد. دوره قراره روی مسئله‌ی intelligence تمرکز کنه با در نظر گرفتن هر دو زمینه‌ی AI و نوروساینس. دوره تا اینجا دو تا ماژول داره که به نظر ماژول اول بیشتر مربوط به AI و مفاهیم ابتدایی تر میشه و ماژول دوم که درباره‌ی Learning هست قراره تاپیک‌های پیچیده‌تر (و جذاب‌تری) رو بحث کنه.

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

مطالب مربوط به این دوره رو با هشتگ #Brain_Inspired می‌ذارم که پیدا کردنشون راحت باشه

توضیحات دوره: https://braininspired.co/neuro-ai

@SingularThinker

Module 1 Lesson 1: The Zoo of Networks

این قسمت بیشتر یه مقدمه‌ی خیلی کوتاه از تاریخچه‌ی neural network هاست. نکات جالبی داشت راجع به اینکه اون موقع‌ها چجوری فکر می‌کردن راجع به شبکه‌های عصبی و چه چالش هایی داشتن.
تو این قسمت به چند تا مقاله‌ی خیلی جالب هم اشاره می کنه که اونا رو هم این پایین می‌ذارم.

🔸 پوستر The neural networks zoo
🔸 یه مطلب خوب درباره.ی نورون‌های McCulloch-Pitts
#Brain_Inspired #podcast
@SingularThinker