دختران ریاضی شریف

#اطلاع_رسانی ✨ترنس تائو ریاض‌دان جوان برنده جایزه فیلدز 2006، در کنفرانس IMC2026 سخنرانی با عنوان «ریاضیات در عصر هوش مصنوعی» ارائه کرد. پیام‌های اصلی سخنرانی تائو با عنوان «ریاضیات در عصر هوش مصنوعی»: 💡 موضوع اصلی و تشابه تاریخی: تائو ورود هوش مصنوعی به ریاضیات را با بحران بنیادین ریاضیات در اوایل قرن بیستم  مقایسه می‌کند. در آن دوران کشفیاتی مانند پارادوکس راسل یا قضایای ناتمامیت گودل ریاضی‌دانان را مجبور کرد تا فرضیات ضمنی خود در مورد مبانی ریاضیات را دوباره بررسی کنند. او معتقد است اکنون در بحرانی مشابه، اما در زمینه «ارزش‌ها و شیوه‌های کاری جامعه ریاضی» قرار داریم که اگر به درستی بررسی شود، جامعه ریاضی را قوی‌تر خواهد کرد. ❓ سوال اصلی؛ فرضیه توانمندی هوش مصنوعی؟! تائو مطرح می‌کند که سوال اصلی این است که «آیا هوش مصنوعی به زودی می‌تواند وظایف ریاضی در سطح تحقیق را انجام دهد؟» تائو یک «فرضیه کاری» را مطرح می‌کند: فرض کنیم که هوش مصنوعی به زودی بخش قابل‌توجهی از وظایف تحقیقاتی را با کیفیت و هزینه معقول انجام خواهد داد. او سپس پیامدهای این فرضیه را بررسی می‌کند: 1⃣ تغییر از «توانمندی» به «ارزش‌ها». اگر فرضیه درست باشد، دیگر نمی‌توانیم اهداف و ارزش‌های واقعی جامعه ریاضی را نادیده بگیریم. صرفِ حل کردن مسائل حل‌نشده، هدف اصلی نیست؛ اهداف دیگری مانند درک عمیق، آموزش، جامعه‌سازی و خلق آثار زیباشناختی نیز مطرح هستند. تائو هشدار می‌دهد که بهینه‌سازی بیش ازحد توسط هوش مصنوعی، طبق قانون گودهارت، باعث واگرایی این اهداف از یکدیگر می‌شود. 2⃣ تکامل هدف «حل مسئله»: تائو نشان می‌دهد که صرفاً تعیین هدف «حل مسائل» کافی نیست و باید آن را اصلاح کرد: ✅ هدف اول: حل مسائل ← خطر: انبوهی از اثبات‌های نادرست. ✅ هدف دوم: حل + راستی‌آزمایی ← خطر: اثبات‌های درست اما غیرقابل‌هضم و درک‌نشدنی توسط انسان. ✅هدف سوم: حل + راستی‌آزمایی + شرح و بسط روان ← خطر: هوش مصنوعی نگارش را بیش از حد صیقلی می‌کند و «اصطکاک طبیعی» (که به یادگیری عمیق کمک می‌کند) را حذف می‌نماید. ✅هدف چهارم: حل + راستی‌آزمایی + شرح + پذیرش و هضم توسط جامعه ← این مرحله انسانی، کند و حیاتی است و با هوش مصنوعی قابل بهینه‌سازی نیست. · هدف نهایی: گنجانده شدن در نظریه قطعی و کتاب‌های درسی (که ارزش‌مندترین بخش فرایند است). 3⃣ عصر فراوانی اثبات و «سوءهاضمه»: اگر فرضیه درست باشد، به عصر «فراوانی اثبات» وارد می‌شویم. در این حالت، گلوگاه‌های جدی (تأیید درستی، نگارش، داوری و گنجاندن در نظریه) ایجاد می‌شود. نشانه‌های آن هم‌اکنون در سایت‌هایی مانند مسائل اردوش دیده می‌شود. 🔆راهکارها (برگرفته از اعلامیه Leiden) تائو با اشاره به اعلامیه لیدن، چند توصیه کلیدی ارائه می‌دهد: 🔅 افشای شفاف: استفاده از ابزارهای هوش مصنوعی باید کاملاً شفاف اعلام شود. 🔅 مسئولیت با انسان: صحت و استناددهی اثبات‌ها، همچنان بر عهده نویسندگان انسانی است (قانون سرانگشتی: اگر نویسنده نتواند سخنرانی تخصصی درباره نتیجه‌اش ارائه دهد، نباید منتشر شود). 🔅 تغییر ارزش‌گذاری: باید از تأکید بر «تولید اثبات» و «اولین بودن» فاصله گرفته و بر «هضم اثبات» (شرح، انتشار و گنجاندن در نظریه) تأکید شود. 🔅مشارکت عمومی: ریاضیدانان باید در گفتمان عمومی درباره قابلیت‌ها و محدودیت‌های هوش مصنوعی مشارکت کنند. ✅جمع‌بندی نهایی جامعه ریاضی باید گفت‌وگوهای باز و صادقانه‌ای درباره توانمندی‌های هوش مصنوعی و ارزش‌های بنیادین خود داشته باشد. این تحلیل فقط برای حل مسئله نیست، بلکه باید برای جنبه‌های دیگر (آموزش، استخدام، کمک‌های مالی و...) نیز انجام شود. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#اطلاع_رسانی ✨ امسال در کنفرانس جهانی ریاضیات ( ICM 2026)؛ کنفرانسی که ریاضیدانان از سراسر جهان گرد هم می آیند؛ (پیش از این اخبار اهدای جوایز فیلدز و آباکوس را در کانال را منتشر کردیم.)، ریاضی‌دان مشهور، ترنس تائو، سخنرانی ارائه کرد در مورد بحث داغ این روزهای محافل علمی: هوش مصنوعی. 🔆عنوان این سخنرانی Mathematics in the age of A بود. تائو، بر خلاف جو موجود، که فقط به توانایی‌های AI در حل مسائل ریاضی و علمی و تولید محتوای خلاقانه می‌پردازند، توجه ریاضی دانان را به نگاه خودِ ریاضی‌دانان در مورد ریاضیات جلب کرد. ⬇️ در پست بعدی خلاصه‌ای از این سخنرانی را می‌توانید مطالعه کنید. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

📐 هوش مصنوعی حدس ۸۷ سالۀ ژاکوبی را نقض کرد! 🔻 حدس ژاکوبی (Jacobian conjecture) یکی از مشهورترین مسائل باز ریاضیات است که در سال ۱۹۳۹ مطرح شد. صورت ساده‌اش: ➖ اگر یک نگاشت چندجمله‌ای در هر نقطه موضعاً معکوس‌پذیر باشد (یعنی دترمینان ژاکوبی‌اش یک عدد ثابت ناصفر باشد)؛ ➖ آیا الزاماً به‌طور سراسری (یک‌به‌یک) معکوس‌پذیر است؟ ──────────────────────────── 🧨 نقطه‌ی عطف: ۱۹ ژوئیه ۲۰۲۶ لِوِنت آلپوگه، ریاضیدان دانشگاه هاروارد و محقق Anthropic، در توییتی اعلام کرد که مدل هوش مصنوعی «Claude Fable 5» یک مثال نقض برای این حدس پیدا کرده است. ──────────────────────────── 🧮 تابع مثال نقض (نگاشتی از فضای سه‌بعدی مختلط به خودش): F(x,y,z) = (   (1+xy)³ z  +  y²(1+xy)(4+3xy) ,   y + 3x(1+xy)² z + 3xy²(4+3xy) ,   2x - 3x²y - x³z ) ✅ دترمینان ژاکوبی این تابع همواره برابر «2-» است (یعنی شرط حدس را کاملاً برآورده می‌کند). ❌ اما این تابع یک‌به‌یک نیست. سه نقطه‌ی کاملاً متفاوت را به یک خروجی مشترک می‌برد: F(0 , 0 , -¼) = F(1 , -³⁄₂ , ¹³⁄₂) = F(-1 , ³⁄₂ , ¹³⁄₂) = ( -¼ , 0 , 0 ) پس شرط «موضعاً معکوس‌پذیر» به «سراسراً معکوس‌پذیر» نمی‌انجامد و حدس در بُعد ۳ و بالاتر نقض می‌شود. (حالت دوبعدی همچنان باز است.) ──────────────────────────── 🗣️ واکنش جامعه تیموتی گاورز، برندهٔ مدال فیلدز، این کشف را «اولین باری دانست که یک مدل زبانی بزرگ مسئله‌ای مهم را حل کرده که خارج از حوزه‌ی تخصص او، اما بسیار مشهور است». این مثال نقض به‌سرعت با اثبات‌یارهای Lean 4 و Isabelle/HOL به‌طور مستقل تأیید شد. ──────────────────────────── 🔗 لینک توییت اصلی آلپوگه: https://x.com/alpoge/status/2079028340955197566

شایان اویس قرن (که البته بعضی جاها اویس غرن یا حتی اویس غران نوشتن - به انگلیسی Oveis Gharan) برنده‌ی جایزه‌ی Abacus شد. به طور خیلی خیلی خیلی خلاصه، جایزه رو 4 سال یک بار به یک پژوهشگر/دانشمند در زمینه‌ی علوم کامپیوتر اهدا می‌کنن و مثل فیلدز دنیای کامپیوتر می‌مونه. برای ما اتفاق جالب و خوشحال کننده‌ای هست و ارزش داره یه کمی درمورد کارهای ایشون بخونیم: 1- ویدیوی معارفه‌ی ایشون که خود Simons Foundation منتشر کرده 2- وب سایت شخصی‌شون - اینجا هم خیلی دقیق و خوب توی سایت دانشگاه نوشتن که روی چی کار می‌کنن 3- بامزگی داستان اینه که ایشون توی سمینارهای WSS شریف هم بودن! اتفاقا talk قشنگی هم داشتن که درکش خیلی هم سخت نیست و خوشبختانه شریف این تاک رو از قبل رکورد کرده و اینجا گذاشته 4- به عنوان یه المپیاد کامپیوتری هم یه صحبتی داشتن درمورد Markov Chain و روش Monte Carlo درموردش که خیلی دوست داشتنی هست - لینک ویدیو در ادامه ی مراسم دیروز، خانم Hong Wong خود فیلدز رو بردن (که خب خیلی دوز ریاضی حرفاشون بالاست و به نظرم اینجا جاش نیست من صحبت کنم، می‌دونین کجا و دیگه کجا می‌شه بیشتر در این مورد خوند!) ولی چیزی که باز برای ما آشناست، اینه که خانم Hannah Fry به علت ترویج علم ریاضی جایزه ی Leelavati رو بردن. حالا چرا ایشون برای ما آشنا هستن؟ اینجا رو ببینید!

#فیلم معرفی خانم Hong Wang به بیان خود ایشان، که در کنگره ریاضیدانان جهان پخش شده است. ایشان برنده مدال فیلدز 2026 است. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#خبر 📣 خانم Hong Wang، ریاضیدان ۳۵ ساله‌ی چینی، برنده جایزه فیلدز 2026 شد. 🔆 او سومین خانمی است که موفق به دریافت مدال فیلدز، معتبرترین جایزه دنیای ریاضیات، شده است. 🔍 مهم‌ترین دستاورد او اثبات حدس کاکیا Kakeya Conjecture در سه بعد است؛ مسئله‌ای که دهه‌ها ذهن ریاضیدانان را به خود مشغول کرده بود و از مهم‌ترین مسائل حل‌نشده آنالیز هارمونیک به شمار می‌رفت. 🔍 چیزی که درباره مسیر او جالب بود، بخشی از صحبت‌هایش در مصاحبه ICM است. او می‌گوید با تردید، وارد دنیای ریاضیات شد و بعدها به‌طور اتفاقی، هنگام وب‌گردی در وبلاگ ترنس تائو، با مطلبی درباره یک مسئله جذاب روبه‌رو شد؛ مسئله‌ای که مسیر پژوهشی او را تغییر داد و او و همکارانش سال‌ها برای حل آن تلاش کردند. 🔍 او همچنین تعریف می‌کند که در مقطعی از مسیر پژوهشی‌اش، آن‌قدر از خودش ناامید شده بود که حتی مدتی ریاضیات را کنار گذاشت و برای گذراندن یک دوره کارآموزی معماری به فرانسه رفت؛ اما در نهایت دوباره به ریاضیات بازگشت. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

🗞 توضیحی کوتاه درباره شایان اویس‌قرن : 🔖 شایان اویس‌قرن برنده جایزه IMU Abacus شد. این جایزه یکی از بزرگترین جوایز علمی در حوزه علوم کامپیوتر است. 🔖 او نتایجِ مهمی دربارهٔ «مسئلهٔ فروشنده دوره‌گرد» به دست آورده است. این مسئله یکی از بنیادی‌ترین مسائل در علوم کامپیوتر است و از نظر محاسباتی NP-hard است. اویس‌قرن بیش از ده سال است که روی این مسئله کار می‌کند. 🔖 جالب است که این دانشمند نیز از نظر پژوهشی دوره‌گردی کرده و در موضوعاتِ ظاهراً بی‌ربطِ متعددی در علوم کامپیوتر، مشارکت‌های عمده‌ای داشته است. و البته توانسته با صبر و تمرکز روی این مسئله خاص در یک زمان طولانی، به نتایج جالبی برسد. 🔖 بیشتر پژوهشگرانی که بین حوزه‌های پراکنده ارتباط برقرار می‌کنند، وسعت دانش خود را به قیمتِ فدا کردنِ عمیق‌شدن در یک موضوع خاص به دست می‌آورند. اما اویس‌قرن با وجود تمام انرژیِ بی‌قرارش، این شکیبایی را دارد که سال‌ها با مسائل سخت کلنجار برود و به تمام جزئیات فنیِ یک اثبات طولانی و پیچیده توجه کند. متن گزارش ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#فیلم معرفی شایان اویس‌قرن به بیان خود ایشان، که در کنگره ریاضیدانان جهان پخش شده است. ایشان برنده مدال آباکوس 2026 است. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#خبر 📣 یک ایرانی برنده #مدال_اباکوس پروفسور شایان اویس‌قرن، برنده جایزه Abacus2026 در کنگره ریاضیدانان جهان شد. 🔅 او در سال ۱۳۶۴ در اصفهان به دنیا آمد و دوران مدرسه خود را در آن‌جا گذراند. لیسانس خود را در رشته مهندسی کامپیوتر در دانشگاه صنعتی شریف گذراند و در سال 2008 برای دکترا به دانشگاه استنفورد رفت. 🪛 کارهای او در حوزه‌های مختلفی از علوم کامپیوتر است و در آن‌ها ارتباط جالبی بین نظریه محاسبات و هندسه آماری برقرار کرده. 🔖 کار اصلی که منجر به گرفتن جایزه شده، الگوریتمی برای حل مسئله «فروشنده دوره‌گرد» است که از نظر محاسباتی مرز بهینه‌بودن الگوریتم‌های قبلی را جابجا کرده. در الگوریتم پیشنهادی او، مسیر پیشنهادی به فروشنده، به کمک «درخت‌های پوشای تصادفی» ساخته می‌شود. 🌐 برای اطلاعات بیشتر راجع به کارهای علمی او، این مطلب مفصل که در مجله ژورنال۴۲ به زبان فارسی نوشته شده، می‌تواند منبع خوبی باشد. 🎞 در فیلمی که در کنگره ریاضیدانان برای معرفی ایشان پخش شده، علاوه بر توضیحی درمورد کودکی ایشان و تاثیر خانواده بر زندگی‌شان و توضیحی درمورد کارهای علمی، نگاهشان درباره‌ی ایران و سنت‌هایش نیز جالب است: «نوروز بیش از هزاران سال است که جشنی میان ایرانیان است. ما با بستگان خود گرد هم می‌آییم... برای من، نوروز لحظه‌ای برای نوسازی و تجدید است. من تمام این درختان و گل‌ها را می‌بینم که تا همین یک دقیقه پیش رو به مرگ می‌رفتند، اما اکنون شکوفه داده‌اند؛ گویی زندگی تازه‌ای یافته‌اند. من به تمام اعضای خانواده‌ام فکر می‌کنم که در این لحظه نمی‌توانند در کنار من باشند. نوروز امسال برای من بسیار دشوار است، در حالی که هم‌وطنان ایرانی من در حال رنج کشیدن و کشته شدن هستند. مردم ایران چیز خاصی نمی‌خواهند؛ آن‌ها فقط یک زندگی عادی می‌خواهند.» @sharifmathgirls

✨ شایان اویس‌قرن، برنده جایزه اباکوس امسال(Abacus2026)، در کنگره ریاضیدانان جهان شد. @sharifmathgirls

@IranianMathematicalSociety

🔷 خانه ریاضیات اصفهان برگزار می‌کند: 🔹 سخنرانی با موضوع «هندسۀ قلب انسان بر پایۀ ریاضیات حاکم بر سیستم‌های تصویربرداری قلب و عروق: تکنیک‌ها، راهبردها و نتایج بالینی» 👤 سخنران: دکتر سعید رنجبر دکترای ریاضیات، فلوشیپ اکوکاردیوگرافی عضو مرکز توسعه و تحقیقات سیستم‌های تصویربرداری پزشکی، کمپانی فیلیپس، آیندهوون، هلند 🗓️ یکشنبه ۴ مرداد ۱۴۰۵ 🕗 ساعت ۱۷:۰۰ ♾️ از اساتید، دانشجویان و همۀ علاقه‌مندان دعوت می‌شود تا در این سخنرانی شرکت کنند. این رویداد هم به‌شکل حضوری و هم به‌شکل برخط برگزار می‌شود. حضور در این رویداد برای همگان آزاد است. 📍 محل برگزاری: اصفهان، خیابان آزادگان، روبه‌روی مقبرۀ بانوامین، خانه ریاضیات اصفهان 🔗 پیوند شرکت به‌شکل برخط: https://www.skyroom.online/ch/mathhouse/students

#پیشنهاد #سرگرمی_ریاضی ✨پیشنهاد به معلم‌های خوش‌ذوق👩‍🏫👨‍🏫👩‍💻🧑‍💻 ✅ می‌تونید از این بازی‌ها تصویر تهیه کنید و به عنوان بازی ریاضی، یا حتی در آزمون‌های درس ریاضی یا کامپیوتر، ازشون استفاده کنید. 🎯 به عنوان یک پیشنهاد، می‌تونید خودتون این بازی‌ها رو تا چند مرحله جلو ببرید، وقتی مطمئن شدید که از اینجای کار به بعد مسأله جواب یکتایی داره که با استدلال و در چند مرحله‌ی کوتاه به دست میاد، ازش اسکرین‌شات تهیه کنید و در اختیار دانش آموزانتون قرار بدید. 💡به عنوان مثال دو بازی مین‌روب در تصویر، به راحتی روی کاغذ قابل حل هستند. 🔶 دانش آموزان ششم دبستان و دوره‌ی اول متوسطه توانایی کافی برای استدلال و ادامه‌ی این بازی‌ها رو دارند. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#سرگرمی_ریاضی ✅در ادامه‌ی پست قبلی، حالا ی توضیح مختصر در مورد NP-Complete: 🔹تفاوت «حل کردن» با «چک کردن»: فرض کن یه قفل ترکیبی ۱۰۰۰ رقمی داری. ▪️چک کردن خیلی راحته: اگر کسی بهت گفت رمز ۱۲۳۴۵ است، فقط کافیه وارد کنی تا ببینی درست هست یا نه (یک دقیقه وقت می‌بره). 🆘 حل کردن (پیدا کردن رمز از صفر) فوق‌العاده سخته: باید میلیاردها حالت رو امتحان کنی (شاید سال‌ها طول بکشه). 🔹 کلاس‌های مسئله در علوم رایانه: کلاس P: مسائلی که هم «حل کردن»‌شون راحته و هم «چک کردن»‌شون. (مثل جمع کردن اعداد) کلاس NP: مسائلی که «چک کردن» جواب‌شون راحته، اما «حل کردن»‌شون معلوم نیست راحت باشه و احتمالاً خیلی سخته. (مثل همون قفل، یا سودوکو، یا مین‌روب) 💡کلاس NP-Complete یعنی چی؟ این کلاس، سخت‌ترین مسائلِ درون کلاس NP هستن. ویژگی‌ش اینه: اگر بتونی یک مسئله‌ی NP-Complete رو سریع حل کنی، ناگهان همه‌ی مسائل NP (از جمله سودوکو، برنامه‌ریزی دروس، بهینه‌سازی شبکه، و حتی رمزگشایی اینترنت) هم سریع حل می‌شن! به عبارتی، NP-Complete مثل «هسته‌ی سختی» دنیای محاسباته. همه‌ی مسائل سخت دیگر را می‌شود به آن تبدیل کرد یا کاهش داد. 🔹 ربطش به مین‌روب چی شد؟ سال ۲۰۰۰، یک ریاضیدان به اسم ریچارد کی ثابت کرد که «تعیین وضعیت خونه‌ها در مین‌روب» یک مسئله‌ی NP-Complete است. یعنی اگر کسی بتواند یک جدول مین‌روب غول‌پیکر را همیشه سریع حل کند، عملاً بزرگترین جایزه‌ی ریاضی (مسئله‌ی P در برابر NP به ارزش ۱ میلیون دلار) را برده است! 🔹 برای دانشجوی ریاضی چه مفهومی داره؟ یعنی وقتی داری اون جدول ۷×۷ رو حل می‌کنی، داری با «دستِ خودت» یکی از عمیق‌ترین ساختارهای ریاضی-رایانه‌ای رو لمس می‌کنی. درسته که جدول ۷×۷ کوچیکه و با استنتاج حل می‌شه، اما همون منطق پشت‌صحنه‌اش، با بزرگ شدن ابعاد، به پیچیده‌ترین مسائل جهان گره می‌خوره. پس حل کردنش فقط سرگرمی نیست؛ یه تمرین ذهنی برای درگیر شدن با مرزهای دانش بشری درباره‌ی «چه چیزهایی اساساً سخت‌اند» هست! 😉 ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#سرگرمی_ریاضی ✅ادامه‌ی پست قبل: حالا چرا معماهای این سایت جذابه؟ 🔹 تمرین منطقِ ناب: هر حرکت یه استنتاجِ محضه — هیچ شانسی در کار نیست! و در پس پرده، بدون اینکه خودت بدونی این اتفاق‌ها در جریانه: 🔹 مسئله‌ی ارضای محدودیت (CSP): با هر عدد، یه قید به مجموعه اضافه می‌شه؛ باید سیستمی از نامعادلات رو حل کنی. 🔹 تفکر ترکیبیاتی: باید همه‌ی حالت‌های ممکن رو در نظر بگیری و با استنتاج، گزینه‌ها رو حذف کنی. 🔹 دید شهودی به بهینه‌سازی گسسته: اینجا داری با دست خودت یه مسئله‌ی بهینه‌سازی ترکیبیاتی رو حل می‌کنی 🔹 چالش ۷×۷ هارد: توی سطح Hard، منطق به عمق می‌ره و باید زنجیره‌هایی از استنتاج‌های چندمرحله‌ای رو دنبال کنی. 🧩 انواع معماهای سایت 🔹 بازی Minesweeper کلاسیک: مین‌ها رو پیدا کن (همون بازی معروف، اما به‌صورت معمای منطقیِ بدون شانس). 🔹 بازی Mosaic (موزاییک): به‌جای پیدا کردن مین، باید خودت سلول‌های سیاه رو مشخص کنی — یه جور پازل پیکسلی که با استنتاج محض حل میشه. 💡 یه نکته‌ی جذاب توی Mosaic، هر عدد مثل یه 「همسایگی‌دان」 عمل می‌کنه — بهت مى‌گه توى محله‌اش چندتا سیاهى هست. باید با کنار هم گذاشتن این اطلاعات، تصویر پنهان رو کشف کنى. درست مثل استنتاج در گراف‌های سیگنال یا شبکه‌های عصبی ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#معرفی_سایت #سرگرمی_ریاضی 🧩 با دنیایی از معماهای خلاق آشنا بشید، 🧠 معماهایی که می‌خوان باهاشون وقت بگذرونی. این عکس بازی‌های متنوع سایتی هست به نام : 🧩Puzzle-Minesweeper.com که معماهای منطقی مبتنی بر مین‌روب رو ارائه می‌کنه. بدون نیاز به یادآوری هیچ فرمول یا رابط خاص ریاضی می‌تونید این معماها رو حل کنید. و اما 💡 می‌دونستین مین‌روب(Minesweeper) فقط یه بازی سرگرم‌کننده نیست، بلکه یه مسئله‌ی عمیق ریاضی‌ای هست؟ توی دنیای ریاضیات، اثبات شده که مسئله‌ی مین‌روب یک مسئله‌ی NP-Complete هست — یعنی به اندازه‌ی سخت‌ترین مسائل علوم رایانه، پیچیدگی داره و حتی با رمزگشایی اینترنتی هم مرتبطه! بله همون بازی نوستالژیک خودمون، وقتی ابعاد بالا می‌ره، خیلی چالشی میشه. ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

📢 فلوشیپ پژوهشی ۳۰۰ هزار دلاری بنیاد LEGO 🌍 بنیاد LEGO برای فلوشیپ پژوهشی سه‌ساله خود از پژوهشگران Early-career و Mid-career در سراسر جهان دعوت به اپلای می‌کند. 🔹 نوع فرصت: Research Fellowship 🔹 مدت: ۳ سال 🔹 فاند: ۳۰۰,۰۰۰ دلار 🔹 برگزارکننده: LEGO Foundation 🔹 مدیریت برنامه: Social Science Research Council (SSRC) 🔹 ددلاین: ۳۱ جولای ۲۰۲۶ مناسب برای پژوهشگران حوزه‌های: 🔸 آموزش و روان‌شناسی 🔸 رشد کودک و سلامت عمومی 🔸 علوم اجتماعی و اقتصاد 🔸 علوم اعصاب 🔸 علم داده و هوش مصنوعی 🔸 تعامل انسان و کامپیوتر (HCI) 🔸 مطالعات معلولیت و حوزه‌های مرتبط محورهای پژوهشی: 1️⃣ کودکان خردسال در شرایط بحران و جنگ 2️⃣ رفاه و آموزش کودکان نورودایورجنت، به‌ویژه کودکان دارای اوتیسم و ADHD 3️⃣ یادگیری و رشد کودکان در دنیای مبتنی بر هوش مصنوعی شرایط اصلی: 🔸 داشتن مدرک PhD تا ۳۱ جولای ۲۰۲۶ 🔸 دریافت مدرک دکتری از ۱ ژانویه ۲۰۱۶ به بعد 🔸 اشتغال در دانشگاه یا مؤسسه پژوهشی در زمان شروع فلوشیپ 🔸 امکان مدیریت بودجه فلوشیپ از طریق مؤسسه میزبان 🔸 امکان اپلای از کشورهای مختلف جهان 💰 حمایت مالی: ۳۰۰,۰۰۰ دلار برای سه سال، شامل هزینه‌های پژوهش، نیروی پژوهشی، سفرهای علمی، تجهیزات، انتشار نتایج و سایر هزینه‌های مرتبط با پروژه. ⏰ ددلاین اپلای: ۳۱ جولای ۲۰۲۶، ساعت ۱۱:۵۹ شب به وقت EST اطلاعات بیشتر و اپلای: https://www.ssrc.org/programs/the-lego-foundation-fellowship/application-details/

#دلنوشته‌ی_مادربزرگ در شاهنامه‌ی فردوسی، سیمرغ به زال سه پَر داد و گفت: «هر وقت درماندی بسوزان و آرزو کن» پَر اول سوخت، آرزو برآورده شد؛ رستم به دنیا آمد. پَر دوم سوخت، آرزو برآورده شد؛ رستم زنده ماند. اما پَر سوم هرگز استفاده نشد. فردوسی پَر سوم را برای آیندگان نگه داشت. برای روزی که پَر سوم برای ایران بسوزد... زمستان گذشته بود که این مطلب کوچک رو خوندم، با خودم گفتم، میشه که بشه؟... امروز که در کمال ناباوری، هستیم و ایرانِ جانمان پابرجاست، با خودم میگم، احتمالا شده... اگر این پَر سوخته... هرکدوممون هر جا هستیم، در هر شرایطی هستیم؛ ما نسل‌های به هم پیوسته؛ رنج‌هامون رو به کارهای بزرگ تبدیل کنیم، با سرعت بیشتر، باامیدتر و مصمم‌تر جلو می‌ریم، هر ذره‌ای رو خرج کنیم برای وطن، منتظر چیزی و کسی نباشیم، مجالی برای فرصت‌سوزی باقی نمونده. 👵نیلوفر فرج‌زاده طهرانی ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#اطلاعات_عمومی #تاریخ_ریاضیات #نسب_علمی 📚 پروژهٔ شجره‌نامهٔ ریاضیات MathematicsGenealogyProject تا حالا فکر کردی استادِ استادِ استادِ تو در ریاضیات کی بوده؟ 😄 💡این پروژه دقیقاً برای همین ساخته شده! 👨‍🏫 چی هست؟ «پروژهٔ شجره‌نامهٔ ریاضیات» یک پایگاه داده جهانیه که ارتباط علمی بین استادان و دانشجویان دکتری در رشته‌های ریاضیات، آمار، علوم کامپیوتر و زمینه‌های مرتبط رو نشون می‌ده. مثلاً می‌تونی ببینی استاد راهنمایت شاگرد چه کسی بوده — و زنجیره رو تا قرن‌ها قبل دنبال کنی! 🎯 هدف پروژه: ایجاد یک نقشه‌ی کامل از نسب علمی ریاضی‌دانان دنیا — از اولین دکترای ثبت‌شده تا امروز! 📆 این پروژه از سال ۱۹۹۶ توسط دانشگاه North Dakota State University شروع شد و الان زیر نظر انجمن ریاضی آمریکا (AMS) اداره می‌شه. 🔍 ویژگی‌ها: 🔎 جست‌وجوی نام، دانشگاه، سال یا عنوان پایان‌نامه 👨‍🎓 مشاهدهٔ استادان راهنما و دانشجویان هر فرد 🧬 دنبال‌کردن زنجیرهٔ علمی تا نسل‌های قبلی یا بعدی 🧠 مناسب برای پژوهش تاریخی و شبکه‌سازی علمی ⚠️ نکته: داده‌ها هنوز کامل نیستن و بعضی کشورها یا دانشگاه‌ها اطلاعاتشون رو وارد نکردن، اما جامعهٔ جهانی ریاضی‌دانان هر روز در حال گسترش این پایگاهه 🌍 💡 کاربرد جالب: اگر دکتری ریاضی (یا آمار و علوم کامپیوتر) داری، حتماً یه سر بزن ببین اجداد علمی‌ت به کی می‌رسه؟! شاید شاگرد غیرمستقیم گائوس یا اویلر باشی! 😄 📎 لینک: 👉 https://www.mathgenealogy.org ⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊ شاد و رو به رشد باشین 😃 🖊📚👩‍🏫🧑‍🏫👩‍💻🧑‍💻🎓 دختران ریاضی شریف @sharifmathgirls

#اطلاعات_عمومی #سرگرمی 🌐با پروژه‌ی شجره‌ی نامه‌ی ریاضیات (Mathematics genealogy project) آشنا هستی؟ اگر نه، پست بعدی برای خودِ خودته😊 @sharifmathgirls