در جلسه شورای دانشکده علوم ریاضی که روز سهشنبه ۲۹ اردیبهشت ۱۴۰۵ با حضور هیأت رئیسه دانشکده و مدیران گروههای آموزشی برگزار شد، از جمعی از اعضای هیأت علمی دانشکده به پاس سالها تلاش علمی و آموزشی تقدیر به عمل آمد.
در این مراسم، به مناسبت نائل آمدن آقای دکتر سیدحسن علمالهدائی به افتخار بازنشستگی، با اهدای لوح یادبود از یک عمر خدمات ارزشمند و صادقانه ایشان در عرصه آموزش و پژوهش تجلیل شد.
همچنین به مناسبت ارتقای مرتبه علمی به استادی، از آقایان دکتر رضا قنبری، دکتر فریدون رهبرنیا و دکتر مهدی جباری نوقابی با اهدای لوح تقدیر قدردانی شد.
در ادامه، آقای دکتر محسن پرویزی نیز به مناسبت ارتقای مرتبه علمی به دانشیاری، لوح تقدیر خود را دریافت کردند.
دانشکده علوم ریاضی ضمن تبریک این موفقیتها، برای این اساتید ارجمند سلامتی، توفیق و استمرار موفقیتهای علمی را آرزومند است.
در این مراسم، به مناسبت نائل آمدن آقای دکتر سیدحسن علمالهدائی به افتخار بازنشستگی، با اهدای لوح یادبود از یک عمر خدمات ارزشمند و صادقانه ایشان در عرصه آموزش و پژوهش تجلیل شد.
همچنین به مناسبت ارتقای مرتبه علمی به استادی، از آقایان دکتر رضا قنبری، دکتر فریدون رهبرنیا و دکتر مهدی جباری نوقابی با اهدای لوح تقدیر قدردانی شد.
در ادامه، آقای دکتر محسن پرویزی نیز به مناسبت ارتقای مرتبه علمی به دانشیاری، لوح تقدیر خود را دریافت کردند.
دانشکده علوم ریاضی ضمن تبریک این موفقیتها، برای این اساتید ارجمند سلامتی، توفیق و استمرار موفقیتهای علمی را آرزومند است.
❤3👏2
🏅 ارتقای آقای دکتر مصطفی توکلی به مرتبه استادی
بر اساس اعلام معاونت آموزشی و دبیرخانه هیأتهای ممیزه و اجرایی جذب دانشگاه فردوسی مشهد، در چهارصد و بیست و شش مین جلسه هیئت ممیزه دانشگاه فردوسی مشهد به تاریخ ۱۴۰۴/۰۲/۲۸، آقای دکتر مصطفی توکلی، عضو هیئت علمی گروه ریاضی کاربردی، به مرتبه استادی ارتقا یافتند.
ضمن تبریک این موفقیت علمی به آقای دکتر مصطفی توکلی و خانواده دانشکده علوم ریاضی دانشگاه فردوسی مشهد، بهروزی و توفیق روزافزون ایشان را از خداوند متعال خواستاریم.
مدیریت، اعضای هیات علمی و کارکنان دانشکده
بر اساس اعلام معاونت آموزشی و دبیرخانه هیأتهای ممیزه و اجرایی جذب دانشگاه فردوسی مشهد، در چهارصد و بیست و شش مین جلسه هیئت ممیزه دانشگاه فردوسی مشهد به تاریخ ۱۴۰۴/۰۲/۲۸، آقای دکتر مصطفی توکلی، عضو هیئت علمی گروه ریاضی کاربردی، به مرتبه استادی ارتقا یافتند.
ضمن تبریک این موفقیت علمی به آقای دکتر مصطفی توکلی و خانواده دانشکده علوم ریاضی دانشگاه فردوسی مشهد، بهروزی و توفیق روزافزون ایشان را از خداوند متعال خواستاریم.
مدیریت، اعضای هیات علمی و کارکنان دانشکده
❤9👏2😍2
مجلس ترحیم چهلمین روز درگذشت شادروان دکتر علی مشکانی، استاد پیشکسوت گروه آمار دانشگاه فردوسی مشهد روز دوشنبه ۱۴۰۵/۳/۴ ساعت ۹:۳۰ الی ۱۰:۳۰ در مکان نمازخانه دانشکده با حضور جمعی از اساتید، کارکنان و دانشجویان دانشکده علوم ریاضی برگزار شد.
❤2
جلسهای در دانشکده علوم ریاضی با محوریت پرسش بنیادین
«چه مقالهای را میتوان مقالهای پژوهشی در علوم ریاضی به شمار آورد؟»
روز سه شنبه ۵ خرداد ۱۴۰۵ با حضور اعضای هیئت رییسه دانشکده، مدیران گروههای آموزشی و تعدادی از اعضای هیئت علمی متشکل از آقایان دکتر احمدی، دکتر آرشی، دکتر امین طوسی، دکتر عفتی و دکتر قنبری برگزار شد. در این نشست، موضوع انتشار مقالات در مجلات خارج از حوزه ریاضیات و جایگاه علمی آنها در رشته ریاضی مورد بررسی قرار گرفت.
در جریان گفتگوها، بر مفاهیم کلیدی از جمله نوآوری، اصالت علمی دستاوردها، و تمایز میان «پژوهش در ریاضیات کاربردی» و «خدمات تخصصی مبتنی بر کاربرد ریاضیات» تأکید شد. تعدادی از اعضای حاضر معتقد بودند که حل صرف یک مسئله کاربردی یا انتشار مقاله در حوزههای میانرشتهای، به تنهایی برای تلقی یک کار پژوهشی به عنوان «مقاله ریاضی» کافی نیست و چنین آثاری باید توسط متخصصان خوب حوزه ریاضی به عنوان کار اصیل علمی در این رشته ارزیابی و تأیید شوند.
همچنین ضمن به رسمیت شناختن تحقیقات بین رشته ای، بروندادهای پژوهشی در حوزههای ریاضی کاربردی و آمار کاربردی که لزوماً در قالب سنتی «قضیه-برهان» ارائه نمیشوند، مورد توجه ویژه قرار گرفت. نمونههایی از این دستاوردها شامل نوآوری در مدلسازی ریاضی، توسعه الگوریتمهای جدید، بهبود روشهای محاسباتی کارآمد، و ارتقای کیفیت تحلیل و استنباط آماری بودند.
اعضا بر لزوم تقویت نقش کمیتههای تخصصی در ارزیابی آثار پژوهشی و پرهیز از ارزیابی صرفاً کمی و مبتنی بر شاخصهای علمسنجی تأکید کردند. در این راستا، به ضرورت فرهنگسازی جدی در گروههای آموزشی و بازنگری در سیاستهای پژوهشی وزارت علوم نیز اشاره شد.
در پایان نشست، بر اهمیت توجه به کیفیت و تفاوت سرشتی پژوهشها، همراستایی آثار با تخصص و صلاحیت علمی پژوهشگر، اولویت انتشار در مجلات تخصصی نمایهشده در پایگاههای معتبر ریاضیات مانند zbMATH و MathSciNet، و شفافسازی معیارهای ارزیابی علمی در سطح دانشگاه تأکید گردید.
انتظار می رود برونداد این جلسه بتواند به داوران در کمیته منتخب تخصصی ارتقا و کمیتههای جوایز برای ارزیابی آکادمیک مقالات و دوری از نظرات شخصی کمک کند.
«چه مقالهای را میتوان مقالهای پژوهشی در علوم ریاضی به شمار آورد؟»
روز سه شنبه ۵ خرداد ۱۴۰۵ با حضور اعضای هیئت رییسه دانشکده، مدیران گروههای آموزشی و تعدادی از اعضای هیئت علمی متشکل از آقایان دکتر احمدی، دکتر آرشی، دکتر امین طوسی، دکتر عفتی و دکتر قنبری برگزار شد. در این نشست، موضوع انتشار مقالات در مجلات خارج از حوزه ریاضیات و جایگاه علمی آنها در رشته ریاضی مورد بررسی قرار گرفت.
در جریان گفتگوها، بر مفاهیم کلیدی از جمله نوآوری، اصالت علمی دستاوردها، و تمایز میان «پژوهش در ریاضیات کاربردی» و «خدمات تخصصی مبتنی بر کاربرد ریاضیات» تأکید شد. تعدادی از اعضای حاضر معتقد بودند که حل صرف یک مسئله کاربردی یا انتشار مقاله در حوزههای میانرشتهای، به تنهایی برای تلقی یک کار پژوهشی به عنوان «مقاله ریاضی» کافی نیست و چنین آثاری باید توسط متخصصان خوب حوزه ریاضی به عنوان کار اصیل علمی در این رشته ارزیابی و تأیید شوند.
همچنین ضمن به رسمیت شناختن تحقیقات بین رشته ای، بروندادهای پژوهشی در حوزههای ریاضی کاربردی و آمار کاربردی که لزوماً در قالب سنتی «قضیه-برهان» ارائه نمیشوند، مورد توجه ویژه قرار گرفت. نمونههایی از این دستاوردها شامل نوآوری در مدلسازی ریاضی، توسعه الگوریتمهای جدید، بهبود روشهای محاسباتی کارآمد، و ارتقای کیفیت تحلیل و استنباط آماری بودند.
اعضا بر لزوم تقویت نقش کمیتههای تخصصی در ارزیابی آثار پژوهشی و پرهیز از ارزیابی صرفاً کمی و مبتنی بر شاخصهای علمسنجی تأکید کردند. در این راستا، به ضرورت فرهنگسازی جدی در گروههای آموزشی و بازنگری در سیاستهای پژوهشی وزارت علوم نیز اشاره شد.
در پایان نشست، بر اهمیت توجه به کیفیت و تفاوت سرشتی پژوهشها، همراستایی آثار با تخصص و صلاحیت علمی پژوهشگر، اولویت انتشار در مجلات تخصصی نمایهشده در پایگاههای معتبر ریاضیات مانند zbMATH و MathSciNet، و شفافسازی معیارهای ارزیابی علمی در سطح دانشگاه تأکید گردید.
انتظار می رود برونداد این جلسه بتواند به داوران در کمیته منتخب تخصصی ارتقا و کمیتههای جوایز برای ارزیابی آکادمیک مقالات و دوری از نظرات شخصی کمک کند.
👏4❤2😍2💯2
«چگونه هوش مصنوعی در حال بازآفرینی مسیر کشف در ریاضیات و فیزیک است»
🤖 بازآفرینی مسیر کشف در ریاضیات و فیزیک توسط هوش مصنوعی
📰 منبع: یادداشت تحلیلی نشریه نِیچر (Nature)، ژوئن ۲۰۲۶
یادداشت تحلیلی جدیدی در نشریه نیچر که با همکاری پژوهشگران مؤسسه علوم ریاضی لندن و گوگل دیپمایند (Google DeepMind) تألیف شده، استدلال میکند که هوش مصنوعی جایگزین خلاقیت انسان در ریاضیات نمیشود، بلکه به عنوان یک «تقویتکننده شناختی» عمل میکند.
برخلاف علوم تجربی که با چالش دادههای آزمایشگاهی نامنظم و تنگناهای فیزیکی روبهرو هستند، ریاضیات محض محیطی ایدهآل برای هوش مصنوعی فراهم میکند؛ چرا که در این فضا «آزمایشها» سریع و دیجیتال هستند و دادهها (از اعداد اول گرفته تا ساختارهای منیفلد) کاملاً دقیق و بینقص قلمداد میشوند.
📈 دستاوردها و کاربردهای کلیدی مطرحشده:
تأیید اثبات و انقلاب Lean: دستیارهای اثبات صوری (Formal Proof Assistants) در حال شناسایی خطاهای ظریفی هستند که از چشم داوران علمی پنهان میمانند. به عنوان نمونه، ترنس تائو (Terence Tao)، مدالآور فیلدز، با بهکارگیری دستیار Lean 4 برای بررسی یکی از مقالات خود، متوجه یک شکاف منطقی توجیهنشده در استدلالش شد که نیاز به اصلاح فوری داشت.
حل مسائل باز ریاضی: سیستمهای هوش مصنوعی تخصصی در حال حل مسائلی در سطح پژوهشهای پیشرفته هستند. مدل Aristotle متعلق به شرکت Harmonic موفق به حل چندین مسئله قدیمی شده است که پیشتر توسط پل اردوش (Paul Erdős) مطرح شده بودند. همچنین ابزارهای توسعهیافته توسط Axiom Math، OpenAI و Google DeepMind بهطور مداوم در حال حل چالشهای پروژه First Proof هستند.
خلأ «شوق و ذائقه ریاضی»: نویسندگان مقاله تأکید میکنند که هوش مصنوعیِ کنونی همچنان فاقد شهود و «ذائقه» ریاضی است؛ یعنی توانایی درک این نکته که یک مسئله از کجا ریشه میگیرد، ارزش زیباشناختی آن چیست و اصلاً چرا ارزش وقت گذاشتن دارد.
🔹 گام بعدی چیست؟
هدف بلندمدت، اتوماسیون کامل صورتبندیهای صوری (Formalization) است. پروژههای جمعساباری بزرگ، مانند پروژه زینا (Xena Project) در امپریال کالج لندن به سرپرستی کوین بزارد، در حال دیجیتالیکردن کل برنامه درسی دوره کارشناسی ریاضی هستند تا بستر و ریلگذاری آموزشیِ باکیفیت و تأییدشدهای را برای نسل بعدی مدلهای هوش مصنوعیِ ریاضی فراهم کنند.
📥 مطالعه متن کامل مقاله در نیچر:
🔗 https://www.nature.com/articles/d41586-026-01820-1
#ریاضیات_محض #هوش_مصنوعی #اثبات_صوری #نیچر #ریاضیات_معاصر
🤖 بازآفرینی مسیر کشف در ریاضیات و فیزیک توسط هوش مصنوعی
📰 منبع: یادداشت تحلیلی نشریه نِیچر (Nature)، ژوئن ۲۰۲۶
یادداشت تحلیلی جدیدی در نشریه نیچر که با همکاری پژوهشگران مؤسسه علوم ریاضی لندن و گوگل دیپمایند (Google DeepMind) تألیف شده، استدلال میکند که هوش مصنوعی جایگزین خلاقیت انسان در ریاضیات نمیشود، بلکه به عنوان یک «تقویتکننده شناختی» عمل میکند.
برخلاف علوم تجربی که با چالش دادههای آزمایشگاهی نامنظم و تنگناهای فیزیکی روبهرو هستند، ریاضیات محض محیطی ایدهآل برای هوش مصنوعی فراهم میکند؛ چرا که در این فضا «آزمایشها» سریع و دیجیتال هستند و دادهها (از اعداد اول گرفته تا ساختارهای منیفلد) کاملاً دقیق و بینقص قلمداد میشوند.
📈 دستاوردها و کاربردهای کلیدی مطرحشده:
تأیید اثبات و انقلاب Lean: دستیارهای اثبات صوری (Formal Proof Assistants) در حال شناسایی خطاهای ظریفی هستند که از چشم داوران علمی پنهان میمانند. به عنوان نمونه، ترنس تائو (Terence Tao)، مدالآور فیلدز، با بهکارگیری دستیار Lean 4 برای بررسی یکی از مقالات خود، متوجه یک شکاف منطقی توجیهنشده در استدلالش شد که نیاز به اصلاح فوری داشت.
حل مسائل باز ریاضی: سیستمهای هوش مصنوعی تخصصی در حال حل مسائلی در سطح پژوهشهای پیشرفته هستند. مدل Aristotle متعلق به شرکت Harmonic موفق به حل چندین مسئله قدیمی شده است که پیشتر توسط پل اردوش (Paul Erdős) مطرح شده بودند. همچنین ابزارهای توسعهیافته توسط Axiom Math، OpenAI و Google DeepMind بهطور مداوم در حال حل چالشهای پروژه First Proof هستند.
خلأ «شوق و ذائقه ریاضی»: نویسندگان مقاله تأکید میکنند که هوش مصنوعیِ کنونی همچنان فاقد شهود و «ذائقه» ریاضی است؛ یعنی توانایی درک این نکته که یک مسئله از کجا ریشه میگیرد، ارزش زیباشناختی آن چیست و اصلاً چرا ارزش وقت گذاشتن دارد.
🔹 گام بعدی چیست؟
هدف بلندمدت، اتوماسیون کامل صورتبندیهای صوری (Formalization) است. پروژههای جمعساباری بزرگ، مانند پروژه زینا (Xena Project) در امپریال کالج لندن به سرپرستی کوین بزارد، در حال دیجیتالیکردن کل برنامه درسی دوره کارشناسی ریاضی هستند تا بستر و ریلگذاری آموزشیِ باکیفیت و تأییدشدهای را برای نسل بعدی مدلهای هوش مصنوعیِ ریاضی فراهم کنند.
📥 مطالعه متن کامل مقاله در نیچر:
🔗 https://www.nature.com/articles/d41586-026-01820-1
#ریاضیات_محض #هوش_مصنوعی #اثبات_صوری #نیچر #ریاضیات_معاصر
❤5🆒3🔥1
يادآوري ميشود آخرين مهلت ارسال گزارش عملكرد فعاليت شش ماهه دانشجويان دكتري به استاد راهنما 31 خردادماه است. اين تاريخ قابل تمديد نبوده و عواقب عدم ارسال به موقع آن متوجه شخص دانشجو خواهد بود
معاونت پژوهشي دانشكده علوم رياضي
معاونت پژوهشي دانشكده علوم رياضي
🆒1
🏅 ارتقای آقای دکتر سعید کیوانفر به مرتبه استادی
بر اساس اعلام معاونت آموزشی و دبیرخانه هیأتهای ممیزه و اجرایی جذب دانشگاه فردوسی مشهد، در چهارصد و بیست و هفت مین جلسه هیئت ممیزه دانشگاه فردوسی مشهد به تاریخ ۱۴۰۵/۰۳/۲۵، آقای دکتر سعید کیوانفر، عضو هیئت علمی گروه ریاضی محض، به مرتبه استادی ارتقا یافتند.
ضمن تبریک این موفقیت علمی به آقای دکتر سعید کیوانفر و خانواده دانشکده علوم ریاضی دانشگاه فردوسی مشهد، بهروزی و توفیق روزافزون ایشان را از خداوند متعال خواستاریم.
مدیریت، اعضای هیات علمی و کارکنان دانشکده
بر اساس اعلام معاونت آموزشی و دبیرخانه هیأتهای ممیزه و اجرایی جذب دانشگاه فردوسی مشهد، در چهارصد و بیست و هفت مین جلسه هیئت ممیزه دانشگاه فردوسی مشهد به تاریخ ۱۴۰۵/۰۳/۲۵، آقای دکتر سعید کیوانفر، عضو هیئت علمی گروه ریاضی محض، به مرتبه استادی ارتقا یافتند.
ضمن تبریک این موفقیت علمی به آقای دکتر سعید کیوانفر و خانواده دانشکده علوم ریاضی دانشگاه فردوسی مشهد، بهروزی و توفیق روزافزون ایشان را از خداوند متعال خواستاریم.
مدیریت، اعضای هیات علمی و کارکنان دانشکده
❤40🔥6👏2🎉1💯1🆒1
مصاحبه روزنامه سراسری قدس با رییس دانشکده علوم ریاضی، اول تیرماه ۱۴۰۵
https://www.qudsonline.ir/news/1152930/از-ریاضیات-در-زندگی-روزمره-تا-همکاری-با-دانشگاه-های-معتبر-جهان
https://www.qudsonline.ir/news/1152930/از-ریاضیات-در-زندگی-روزمره-تا-همکاری-با-دانشگاه-های-معتبر-جهان
🔥9❤4👏2🆒2
با وجود محدودیتها، باید با خوشبینی به آینده نگریست. هوش مصنوعی جایگزین ریاضیدانان نخواهد شد، بلکه به عنوان یک شریک قدرتمند عمل میکند که با ارائه اثباتهای قابل اعتماد (به دلیل بررسی صوری)، درک ریاضیدانان از مسئله را عمیقتر کرده و خلاقیت آنها را افزایش میدهد. حتی زمانی که سیستم موفق به حل مسئله نمیشود، طرح اثباتهای تولید شده توسط آن میتواند بینشهای ارزشمندی به ریاضیدانان ارائه دهد. در آینده همکاری انسان و ماشین، مرزهای دانش ریاضی را جابه جا میکند.
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
خلاصه مقاله: در حالی که برخی (مانند جف هینتون) ریاضیات را «سیستم بستهای» مانند شطرنج میدانند که هوش مصنوعی میتواند آن را حل کند، نویسنده با استفاده از «لین» (Lean) نشان میدهد که ارزش ریاضیات فقط در استنتاج صوری (که لین تأیید میکند) نیست، بلکه در روایت قابلفهم پشت آن نهفته است. هوش مصنوعی میتواند در بازی تأیید لین پیروز شود، اما در ارائهٔ بینش مفهومی که اثبات را برای انسان ارزشمند میکند، ناکام میماند. البته این موضوع با پیشرفت هوش مصنوعی بهبود خواهد یافت.
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
خلاصه مقاله: در حالی که برخی (مانند جف هینتون) ریاضیات را «سیستم بستهای» مانند شطرنج میدانند که هوش مصنوعی میتواند آن را حل کند، نویسنده با استفاده از «لین» (Lean) نشان میدهد که ارزش ریاضیات فقط در استنتاج صوری (که لین تأیید میکند) نیست، بلکه در روایت قابلفهم پشت آن نهفته است. هوش مصنوعی میتواند در بازی تأیید لین پیروز شود، اما در ارائهٔ بینش مفهومی که اثبات را برای انسان ارزشمند میکند، ناکام میماند. البته این موضوع با پیشرفت هوش مصنوعی بهبود خواهد یافت.
Substack
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
👌6❤3