#اطلاع_رسانی✨ترنس تائو ریاض‌دان جوان برنده جایزه فیلدز 2006، در کنفرانس IMC2026 سخنرانی با عنوان «ر…

#اطلاع_رسانی✨ امسال در کنفرانس جهانی ریاضیات ( 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 به‌طور مستقل تأیید شد.────────────────────────────🔗 لینک توییت اصلی آلپوگه: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