«هوش مصنوعی آماده تغییر کامل روش انجام ریاضیات است!»

طبق گزارش New Scientist، تعداد زیادی از ریاضی‌دانان برجسته اخیراً در دانشگاه کمبریج گرد هم آمدند تا بررسی کنند که آیا ابزارهای جدید اتوماتیک‌سازی اثبات‌ها کاملاً مجهز به هوش مصنوع، می‌توانند نحوه پژوهش ریاضی را به‌کلی دگرگون کنند.
چرا این موضوع مهم است؟
تا همین ۸ سال پیش (۲۰۱۷)، در جلسات رسمی دانشگاهی حتی خبری از نقش AI در «فرمال‌سازی» (Formalisation) نبود؛ اما حالا، ابزارهایی مثل ChatGPT به کمک مدل‌های زبانی بزرگ پیشرفته آمده‌اند.
این ابزارها قادرند اثبات‌های ریاضی را به‌صورت قابل بررسی دقیق توسط ماشیندرآورن،کاری که دقت و اعتماد به‌نفس در پژوهش را افزایش می‌دهد .

هوش مصنوعی می‌تواند به‌عنوان هم‌یار (co‑pilot) برای ریاضیدان‌ها ظاهر شود؛ نه جایگزین آن‌ها. هدف اولیه سپردن فرایندهای تکراری و دشوار، مانند فرموله‌کردن اثبات‌ها و بررسی رسمی آن‌ها، به دست ماشین است. با بهتر شدن ابزارها، امکان دارد سرعت اثبات‌ها افزایش یابد و پروژه‌های کلان‌تری قابل انجام شوند. این تحول می‌تونه نقطه‌ عطفی در پژوهش ریاضی باش، از اثبات‌های سنتی دستی تا همکاری هوش مصنوعی در جایزه‌های بزرگ مثل فیلز مدال در آینده نه‌چندان دور!

آماده سازی و ویرایش متن به کمک هوش مصنوعی

لینک خبر


@infinitymath

«آیا هوش مصنوعی می‌تواند برنده مدال فیلدز در ریاضی شود؟»

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

هوش مصنوعی سرعت و دقت را بالا می‌برد و اثبات‌های رسمی را قدرتمند می‌کند، اما برای نشستن روی صندلی Fields Medal راهی طولانی در پیش است. اکنون، AI همراه و دستیار پژوهشگری است، نه جایزه‌بگیر.

آماده سازی و ویرایش متن به کمک هوش مصنوعی

@infinitymath

لینک خبر

این مقاله هم یکی از اساتید رياضی برام فرستادند. هرچند قدیمی است ولی خیلی جالب و جذابه:

مقاله «چه کسی از بُردار می‌ترسد؟» از وب‌سایت یک پزشک

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



@infinitymath

‏آيا می توانيد مثالی با ابعاد بزرگتر شبيه به اين حاصلضرب ماتریسی درست كنيد؟
@infinitymath

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

روحشان شاد و یادشان گرامی

🆔@sharif_prm

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

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

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

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

چه بگویم در رسای استادی که به نهایت استاد بود نه تنها در علم، بلکه در بذل و بخشش و اخلاق و عمل!

خوشا به حال آن جهانیان که امروز مجلس شان نورانی تر شده و به محفل شان حافظی دیگر افزوده شده!

تمام آن دورانی که دستیارش بودم لحظه لحظه اش برای من افتخار بود و هست.

| @infinitymath |

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

https://news.1rj.ru/str/infinitymath/1877

@infinitymath

🔶️استخدام در معروف‌ترین شرکت هوش مصنوعی دنیا؛ این ۲ عامل از مدرک دکترا مهم‌تر هستند

🖋مجتبی بوالحسنی

برای ورود به قلب دنیای هوش مصنوعی، به چیزی فراتر از مدرک دانشگاهی نیاز دارید؛ چیزی که از دل کنجکاوی و جسارت زاده می‌شود.
رهبران OpenAI، نیک تورلی و مارک چن، هنگام صحبت درباره‌ی فرایند استخدام در این شرکت سراغ لیست بلندبالایی از مدارک دانشگاهی از آیوی‌لیگ‌ها یا قهرمانی در مسابقات هوش مصنوعی نمی‌روند. بلکه روی ویژگی‌هایی انسانی‌تر و بنیادی‌تر تمرکز دارند: «کنجکاوی» و «ابتکار عمل».

نیک تورلی مدیر تیم ChatGPT در قسمت جدید پادکست رسمی OpenAI توضیح داد که مهم‌ترین ویژگی برای جذب نیرو در این شرکت، توانایی فنی نیست؛ بلکه روحیه‌ی کنجکاوی است. او گفت: «این مهم‌ترین چیزی است که من در افراد جست‌وجو می‌کنم. وقتی دانشجویان از من می‌پرسند در این دنیای متغیر چه باید کرد، پاسخم همین است.»

تورلی با تأکید بر اینکه کار با هوش مصنوعی بیشتر از دانستن پاسخ‌ها، به پرسیدن پرسش‌های درست وابسته است، افزود: «بخش زیادی از این حوزه هنوز ناشناخته است. برای ساختن آینده در این مسیر، باید فروتنی داشت. تنگنای اصلی، ندانستن پاسخ نیست؛ نپرسیدن سؤال‌های درست است.»

به‌نوشته‌ی Dnyuz، مارک چن مدیر ارشد تحقیقات OpenAI نیز همین دیدگاه را دارد. او تأکید کرد که هنگام ورودش به شرکت در سال ۲۰۱۸، آموزش رسمی زیادی در حوزه‌ی هوش مصنوعی نداشت و گفت: «ما روزبه‌روز کمتر به داشتن مدرک دکترای هوش مصنوعی اهمیت می‌دهیم. آنچه اهمیت دارد، داشتن ابتکار عمل است؛ یعنی این‌که مشکل را ببینی، بدانی هیچ‌کس حلش نمی‌کند و خودت دست‌به‌کار شوی.»

روحیه‌ی خودانگیخته میان کارکنان OpenAI چیز تازه‌ای نیست. پیتر دِنگ معاون سابق محصولات مصرفی شرکت که سابقه‌ی رهبری تیم‌های محصول در متا را نیز دارد، اخیراً در پادکست دیگری با صراحت گفت: «اگر بعد از ۶ ماه هنوز لازم باشد به شما بگویم چه‌کار کنید، یعنی شخص اشتباهی را استخدام کرده‌ام.»

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

◀️ برگرفته از:
https://www.zoomit.ir/ai-articles/443177-want-work-openai-curiosity-grit-matter-more/

منبع: @kheshtekaj

🔹 مقاله ای با طعم ریاضی و فیزیک و حقوق و هوش مصنوعی

در مقاله‌ای با عنوان «حقوق محاسبه ناپذیر: انقلاب در هوش مصنوعی برای حل مسائل سخت حقوق محاسباتی»، سه پژوهشگر ایرانی از مرکز فلسفه و علوم بنیادی دانشگاه شیراز نظریه‌ای نوآورانه را مطرح می‌کنند که می‌تواند آینده هوش مصنوعی و حقوق را متحول سازد.

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

برخلاف رویکردهای رایج در هوش مصنوعی که به تکرار الگوریتم‌ها و استنتاج آماری محدود می‌شوند، این پژوهش خواستار توسعه نسلی جدید از «هوش مصنوعی آگاه» است که با الهام از نظریه‌های کوانتومی (نظیر نظریه ابن سینا-بوهم یا نظریه پنروز-هَمروف) و سیستم‌های زیستی (مانند مغزهای آزمایشگاهی) بتواند به صورت بنیادین با مفاهیم انسانی در حقوق درگیر شود و بتوان به آن مسئولیت ذاتی نسبت دهد.

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

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

نويسندگان مقاله : دکتر محمد جمالی، جلال الدین یوسفی و ابراهیم دهنوی

لینک مقاله:

https://academic.oup.com/ijlit/article-abstract/doi/10.1093/ijlit/eaaf013/8189333?redirectedFrom=fulltext
.....
...
منبع

🔴 به اطلاع علاقمندان عزیز می‌رساند که خبرنامه انجمن ریاضی ایران شماره 182 بهار ۱۴۰۴ منتشر شد.

https://fa.ims.ir/2025/07/22/newsletter182/

مدل دینامیک غیرخطی برای رابطه و ازدواج

نسخه تعاملی و آنلاین از کتاب
The Elements of Euclid (1847)

c82.net/euclid/

@infinitymath

✅ مهم‌ترین مهارت‌های شغلی ۲۰۲۵

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

◀️ برگرفته از کانال پداگوژی فرودستان


🔰 خشت کج | نقد نظام آموزشی

🆔️ @kheshtekaj

در سال ۱۹۷۷، فضاپیمای کوچکی توسط انسان پرتاب شد که تازه یاد گرفته بود چگونه سیارهٔ خود را ترک کند. نامش ویجر ۱ بود بدون سلاح، بدون سرنشین، تنها مجهز به ابزارهای علمی، خاطراتی از زمین، و صفحه‌ای طلایی که حامل موسیقی، درودها و امیدهای ما بود.

طی ۴۸ سال گذشته، این فضاپیما در سکوت، در میان خلأ عظیم فضا سفر کرد و اکنون بیش از ۲۵ میلیارد کیلومتر از زمین فاصله گرفته است. بدون سوخت. بدون کنترل مسیر. فقط با نیروی حرکت… و هدف.

این فضاپیما در نوامبر ۲۰۲۶، به نقطه‌ای می‌رسد که نور برای رسیدن از زمین به آن، یک روز کامل زمان نیاز دارد.
فقط یک “روز نوری”.

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

کنجکاو بمان. فروتن بمان 🤩

منبع کانال بیگ بنگ

🔷 بخش دانشجویی خانه ریاضیات اصفهان برگزار می‌کند:

🔹 #گپ_دانشجویی با موضوع «توپولوژی جبری؛ از شهود تا فرمالیسم»

👤 ارائه‌دهنده: مهدیس امامی
دانشجوی کارشناسی ارشد توپولوژی جبری، دانشگاه تهران

🗓 پنجشنبه ۳۰ مرداد ۱۴۰۴
🕕 ساعت ۱۸:۰۰

🔗 پیوند شرکت در وبینار:
https://www.skyroom.online/ch/mathhouse/students

♾️ حضور در این وبینار برای همگان آزاد است.

@IMHStudents

تیم جهانی المپیاد نجوم ایران امسال هم مثل پارسال با کسب ۵ طلا اول دنیا شدند.
سه نفر اول این المپیاد نیز از ایران هستند.