بهتری یا تو هم دلت گرفته

به فصل جدید کانال یوتیوب  @TheGreenOly ​ خوش‌اومدید !! این فصل (پلی‌لیست) به میزبانی مجتبی‌زارع‌بیدکی خواهد بود در باب ریاضیات.این پادکست ۱۰ قسمت دیگر خواهد داشت و به صورت هفتگی ، در همین کانال منتشر خواهد شد. اسم ۶ مهمان آینده در اپیزود آمد و مهمان قسمت آخر سورپرازه فعلا. مجتبی زارع‌بیدکی مدال طلای جهانی المپیاد و داره و بعد اتمام مقطع دکتری در IPM در حال حاضر پژوهشگر پست‌دکترای در پکن هستن و این ویدیو‌ها هفته آخری که در ایران بودند ضبط شد. بریم سراغ اپیزود اول …👇 🚨 یک شوک بزرگ برای دنیای ریاضیات! چند روز پیش خبری منتشر شد که جامعه ریاضیات رو شوکه کرد! ادعای حل ۳۷۷ مسئله باز ریاضی توسط هوش مصنوعی OpenAI در یک روز؛ اتفاقی که بعضی‌ها اون رو با دستاوردهای ده‌ها برنده مدال فیلدز مقایسه می‌کنن! این اتفاق، با وجود تمام خوبی‌ها و پیشرفت‌هایی که می‌تونه به همراه داشته باشه، یک سؤال بزرگ رو پیش روی ریاضی‌دان‌ها قرار داده: آیا از این به بعد انسان قراره مسئله‌ای حل کنه؟ یا هوش مصنوعی آینده پژوهش در ریاضیات رو برای همیشه تغییر می‌ده؟ 🎙 در اولین قسمت از سری پادکست‌های Z-cast، با حضور اعضای «به مجلس ختم ریاضیات خوش آمدید»، به سراغ این اتفاق جنجالی رفتیم؛ از واقعیت پشت ادعاهای OpenAI تا آینده ریاضیات در عصر هوش مصنوعی. 💬 شما فکر می‌کنید هوش مصنوعی قراره جای ریاضی‌دان‌ها رو بگیره یا مرزهای جدیدی برای کشف در ریاضیات باز کنه؟ #Zcast​ #GreenOly​ #OpenAI​ #ریاضیات​ #هوش_مصنوعی​ #پادکست​ 00:00:00​ - مقدمه و معرفی برنامه زدکست 00:06:53​ - ورود به میزگرد؛ از مواجهه اول با AI تا قبل از انتشار لیست 00:40:50​ - بررسی انتشار شوکه‌کننده ۳۷۷ مسئله ریاضی توسط OpenAI 01:28:43​ - بحران هویت جامعه ریاضی؛ مفهوم «فهم ریاضی» و رقابت با ماشین 01:37:10​ - واکنش بزرگان ریاضی، ابعاد اخلاقی و جمع‌بندی نهایی https://youtu.be/y-S4y-8WB6w?si=l6t8XAV-87vYIjPF

🔥 خبری که دنیای علم را تکان داد. 🔥 دیدگاه های مختلف به هوش مصنوعی ■ داستان اخیر حل صدها مسئله مهم ریاضی توسط AI: در ۶ اکتبر ۲۰۲۶، شرکت OpenAI یک مخزن عمومی روی GitHub (با نام openai/math) منتشر کرد که شامل ۷۲۲ دست‌نوشته ریاضی (بعداً به ۷۱۹ مورد پس از کنار گذاشتن ۳ مورد به دلیل خطا) بود. این دست‌نوشته‌ها در ۳۷۲ خانواده نتیجه گروه‌بندی شده‌اند و ادعا می‌شود بسیاری از مسائل باز و مهم ریاضی را حل یا پیشرفت چشمگیری روی آن‌ها ایجاد کرده‌اند. مدل حدود ۴۰۰۰ مسئله را امتحان کرده و نتایج موفق با میانگین حدود ۳ ساعت محاسبات معادل «ChatGPT Pro thinking» تولید شده‌اند. بسیاری از نتایج (حدود ۴۲٪ یا بیشتر، تا حدود ۳۰۰ مورد) با سیستم اثبات رسمی Lean تأیید شده‌اند تا صحت منطقی‌شان توسط کامپیوتر بررسی شود. موضوعات پوشش‌داده‌شده شامل نظریه اعداد، هندسه جبری، نظریه پیچیدگی، منطق، توپولوژی و فیزیک ریاضی است. ■ نمونه‌های برجسته شامل: ● پیشرفت‌هایی به سمت فرضیه ریمان (نسخه quasi-Riemann با ناحیه بدون صفر برای Re(s) > 7/8)، ● حدس Unique Games، ● حدس Kakeya در ابعاد بالاتر، و برخی مسائل مرتبط با مسائل جایزه هزاره می‌شود. این انتشار حدود یک ماه پس از ادعای قبلی OpenAI در مورد پیشرفت روی معادلات Navier-Stokes (یکی از مسائل جایزه هزاره) انجام شد و جامعه ریاضی را شوکه کرد، چون مقیاس آن بی‌سابقه بود. ■ کدام هوش مصنوعی و نسخه؟ این کار توسط یک مدل داخلی پیشرفته (internal frontier model) منتشرنشده‌ی OpenAI انجام شده است. نام نسخه خاصی اعلام نشده و مدل عمومی نیست (قدرتمندتر از مدل‌های عمومی آن زمان توصیف شده). OpenAI گفته در حال کار روی انتشار مسئولانه آن است، اما تاکنون در دسترس عموم قرار نگرفته. ■ اثرات روی ریاضیدانان مشهور و نظرات برخی از آن‌ها: جامعه ریاضی واکنش‌های شدیدی نشان داد: از شگفتی و پذیرش تاریخی بودن رویداد تا نگرانی عمیق، ناامیدی و حتی فراخوان به تحریم. ● تری‌نس تائو (Terence Tao، برنده مدال فیلدز): یکی از منتقدان اصلی. او گفت حل مسائل باز به صورت انبوه و «برداشت در مقیاس صنعتی» به شکلی ناپایدار انجام می‌شود و کل حوزه‌ها را «کم‌بارورتر» از قبل می‌کند. به باور او، دانستن اینکه راه‌حلی وجود دارد می‌تواند جست‌وجو برای رویکردهای جایگزین (که ممکن است بینش‌های بیشتری بدهند) را «آلوده» کند. تائو از گذار به «Math 2.0» صحبت می‌کند که در آن حل مسئله خام دیگر معیار اصلی پیشرفت نباشد و توضیح، ساخت جامعه و گشودن مسیرهای جدید ارزش بیشتری پیدا کند. او همچنین به ناهماهنگی شدید اهداف شرکت‌های AI با اهداف جامعه ریاضی اشاره کرده و در بیانیه‌هایی همراه دیگر برندگان مدال فیلدز هشدار داده است. دیگر ریاضیدانان: ● اسکات آرونسون (Scott Aaronson) آن را «Mathocalypse» نامید. ● هوگو دومینیل-کوپن (Hugo Duminil-Copin، برنده مدال فیلدز) گفت AI «منظره ریاضی را بمباران اتمی می‌کند» و زندگی در آن را سخت‌تر می‌سازد. ● فرانسیس جانسون (که ۲۵ سال روی یکی از مسائل کار کرده بود) گفت شخصاً از ادامه کار روی آن دست کشیده بود. ● انجمن ریاضیات انسانی (Association of Human Mathematicians، با حمایت چهره‌هایی مانند پیتر شولزه) بیانیه‌ای منتشر کرد و انتشار بیش از ۷۰۰ فایل را «نمایش قدرت» نه «علم» دانست و از ریاضیدانان خواست همکاری با OpenAI را متوقف کنند. 😳 برخی دیگر از - مسابقه برای انتشار سریع نتایج قبل از «دزدیده شدن» توسط AI، - کاهش انگیزه دانشجویان - و از دست رفتن «زیبایی» فرآیند انسانی تحقیق ابراز نگرانی کردند. در مجموع، این رویداد نشان‌دهنده ورود به عصر «فراوانی اثبات» است. بسیاری معتقدند: اگر نتایج تأیید شوند، پیشرفت علمی تسریع می‌شود، اما بدون تمرکز روی درک انسانی، توضیح‌پذیری و آموزش، ممکن است به ضرر بلندمدت رشته تمام شود. جامعه ریاضی هنوز در حال بررسی و تأیید جزئیات این حجم عظیم نتایج است و این فرآیند ماه‌ها یا سال‌ها طول خواهد کشید.