فراخوان پذیرش بدون آزمون استعدادهای درخشان در دوره‌ی کارشناسی ارشد سال تحصیلی 1406-1405 دانشگاه فردوسی مشهد

مشاهده متن کامل خبر

💡مشاوره آموزشی:  به دانش‌آموزان، دانشجویان و معلمان در تمامی مقاطع تحصیلی
🎯 رفع چالش‌های یادگیری و یاددهی: غلبه بر مشکلات درک و آموزش مفاهیم ریاضی
🎲 پشتیبانی از پژوهش: کمک به حل مسائل و چالش‌های تحقیقاتی در مسائل مرتبط با علوم ریاضی
⚡️ استعدادیابی و مهارت‌افزایی: ایجاد انگیزه و تقویت اعتماد ‌به‌ نفس برای شکوفایی استعدادها
💫 ترویج و عمومی‌سازی ریاضیات: ارتقای جایگاه ریاضی در سطح جامعه

علاقه مندان می توانند به کانال تلگرامی کلینیک با مدیریت خانم دکتر فشندی یپیوندند:
https://news.1rj.ru/str/mathclinicfum

«استدلال ریاضی سطح المپیادی با یادگیری تقویتی» — DeepMind و تیم محققان

🔸 محققان DeepMind موفق به ساخت یک سامانه هوش مصنوعی به نام AlphaProof شده‌اند که قادر است اثبات‌های ریاضی را در زبان رسمی Lean بسازد و صحت هر گام را به صورت خودکار بررسی کند. این سیستم با استفاده از یادگیری تقویتی (reinforcement learning) آموزش می‌بیند.

🔸 برای آموزش این سامانه، تیم تحقیقاتی حدود ۸۰ میلیون گزاره‌ی ریاضی رسمی‌شده (formalized) در Lean تهیه کرده‌اند و AlphaProof آن‌ها را به‌طور مکرّر مورد تمرین قرار داده است. این کار باعث شده تا سیستم بتواند استراتژی‌های اثباتی پیچیده‌تر را فرابگیرد.

🔸 یکی از نقاط برجسته این کار، استفاده از روش «Test-Time RL» است. در زمان حل مسائل دشوار، AlphaProof نسخه‌های زیادی (صدها هزار یا میلیون‌ها) از آن مسئله را با تغییرات مختلف می‌سازد و آن‌ها را حل می‌کند تا در نهایت بتواند به مدل مسئله‌ی اصلی برسد و اثبات معتبر ارائه دهد.

🔸 در آزمون المپیاد جهانی ریاضی (IMO) سال ۲۰۲۴، AlphaProof همراه با سیستم دیگری به نام AlphaGeometry (برای مسائل هندسی) شرکت کردند. نتیجه این بود که عملکرد این هوش مصنوعی معادل مدال نقره در این مسابقه باشد.

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

منابع:

عنوان مقاله: Olympiad-level formal mathematical reasoning with reinforcement learning — Hubert, T.؛ Mehta, R.؛ Sartran, L. و همکاران. Nature, 2025. DOI: 10.1038/s41586-025-09833-y

https://phys.org/news/2025-11-ai-math-genius-accurate-results.html

۴۰ نفر از دانش آموزان پایه نهم دبیرستان آسیه از منطقه رضویه مشهد، ساعت ۱۰ تا ۱۲ روز یکشنبه ۲۵ آبان از دانشکده علوم ریاضی بازدید کردند.
در این برنامه مدیر کلینیک علوم ریاضی، خانم دکتر فشندی، پس از نشان دادن بخشهای مختلف دانشکده به دانش آموزان، در سالن دکتر بزرگ نیا، مساله ریاضی" پل و مشعل" ( bridge and torch) را با همکاری دانش آموزان اجرا و به مسابقه گذاشت. سپس مفاهیمی از ریاضی را به عنوان نتایجی از این مساله برای دانش آموزان شرح داد.
در ادامه وی با پخش نوارهای کاغذی و چسب و ماژیک بین همه دانش آموزان، به آنها یاد داد نوار موبیوس درست کنند و درباره ویژگیهای جالب نوار موبیوس که در محوطه دانشکده نصب است و یکی از کاربردهای آن توضیحاتی ارایه داد.
ایشان، در پایان، ضمن معرفی رشته های دانشکده علوم ریاضی به پرسش های آنان درباره انتخاب رشته تحصیلی در دبیرستان و دانشگاه پاسخ داد.

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

برای متن خبر، اینجا را کلیک فرمایید:
https://www.ias.ac.ir/fa/news/1762/

کاری از خانم دکتر زهره وثاق به کمک هوش مصنوعی

🔶توهم مرجعیت علمی: از تبلیغات پُرهیاهو تا واقعیت‌های خفته
🔶محمد صال مصلحیان
🔶روزنامه شرق ۲۹ آبان ماه ۱۴۰۴ - خبر ۱۰۶۸۳۴۵

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

🔶برای متن کامل خبر به صفحه مربوط در روزنامه شرق در لینک زیر مراجعه فرمایید:
https://www.sharghdaily.com/fa/tiny/news-1068345
تصویر: کاری از آقای مهندس اعتضادی به کمک هوش مصنوعی

🔥🎨 آماده‌ای محوطه دانشکده رو تبدیل کنیم به یه گالری زنده؟
اگه یه ذره خلاقیت تو وجودت قلقلکت می‌ده، همین الان طرح‌تو بفرست!
شاید نیمکتی که همه جلوش عکس می‌گیرن… کارِ تو باشه ✨😉

📩 ارسال طرح‌ها: @Admi_bas56

✨ و مهم‌تر از همه:
فقط طراحی نیست…
تجربه‌ی ساخت، رنگ‌زدن، خلق‌کردن و زنده‌کردن ایده‌ات روی خودِ نیمکت هم همراهشه!
یه مسیر کامل از طرح تا اجرا… همه‌اش با خودِ شماست 🎨💪🌈

پلی جدید، ریاضیات عجیب بی‌نهایت را به علوم کامپیوتر پیوند می‌دهد

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

منبع:
https://www.quantamagazine.org/a-new-bridge-links-the-strange-math-of-infinity-to-computer-science-20251121/

کلینیک علوم ریاضی اولین گردهمایی دانش آموزی-دانشجویی خود را تحت عنوان همایش "دنباله شگفت انگیز فیبوناتچی" از ساعت ۱۲ تا ۱۴ روز شنبه اول آذر ۱۴۰۴ باحضور جمعی از دانش آموزان، دبیران و دانشجویان در سالن دکتر بزرگ نیا در دانشکده علوم ریاضی برگزار نمود.

ابتدا دکتر مجید میرزاوزیری یک سخنرانی مهیج با عنوان "فیبوناتچی و ذهن های موازی" را ایراد نمود.
سپس تهیه کنندگان سه مقاله منتخب از بین مقالات ارسال شده به دبیرخانه همایش، مطالب خود را در قالب سخنرانیهای ۲۵ دقیقه ای بیان نمودند. با پاس تلاش انها، هدیه هایی از طرف مدیریت دانشکده علوم ریاضی به آنها اهدا شد.
عنوان این سه سخنرانی عبارت بودنداز:

1. نقش و کاربرد های دنباله فیبوناچی و نسبت طلایی در گیاهان - خانم نیلوفر کامکار داشجوی ترم ۷ رشته علوم کامپیوتر دانشگاه فردوسی مشهد

2. تأثیر دنباله فیبوناچی و نسبت طلایی در روانشناسی- خانم فاطمه فروزش دانش آموز سال یازدهم دبیرستان فرزانگان ۲

3. کاربرد نسبت طلایی در معماری مسجد شیخ لطف الله اصفهان- خانم شیدا نجارزاده دانش آموز سال یازدهم دبیرستان فرزانگان ۲

خاطرنشان می شود به افتخار لئوناردو فیبوناتچی ریاضیدان ایتالیایی و خالق دنباله فیبوناتچی "۲۳ نوامبر" روز فیبوناتچی نامیده شده است.

دکتر فشندی، مدیر کلینیک علوم ریاضی، به عنوان نماینده دانشکده علوم ریاضی دانشگاه فردوسی مشهد به عضویت شورای سیاست گذاری همایش "آموزش و پرورش در عصر فناوریهای کوانتومی" در آمد.
این همایش توسط اداره کل آموزش و پرورش خراسان رضوی و مجمع و انجمن های علمی آموزشی معلمان استان و با همکاری دانشگاه فرهنگیان، دانشکده علوم ریاضی، گروه فیزیک و گروه مهندسی کامپیوتر دانشگاه فردوسی مشهد در اوایل بهمن ۱۴۰۴ برگزار خواهد شد.