چرا حل مساله‌های ریاضی موج وحشت بین ریاضیدان‌ها ایجاد کرده؟ کی گفت ریاضی یه
zero-sum game
هست؟ کی گفته جام‌ها محدودند و یکی دو نفر برنده می‌شن و بقیه بازنده‌اند؟ کی گفته باید جایی رو فتح کرد که فاتحان قبلی گفتند؟

آخرین قدرت نمایی openai

خبر OpenAI درباره ریاضی خیلی مهمه، اما چند نکته باید دقیق گفته بشه. عدد «۷۲۲» به معنی حل ۷۲۲ مسئله مستقل نیست؛ OpenAI از ۷۲۲ دست‌نوشته در ۳۷۲ خانواده نتیجه صحبت می‌کنه که از آزمایش مدل روی حدود ۴۰۰۰ مسئله پژوهشی به دست اومدن. همه این نتایج هم هنوز به شکل مستقل تأیید نشدن؛ بخشی با Lean بررسی صوری شدن، اما خود OpenAI نوشته که بعضی نتایج غیرصوری ممکنه اشکال داشته باشن. پس فعلاً باید بین «تولید یک اثبات» و «پذیرفته شدن اون توسط جامعه ریاضی» فرق بذاریم.
با این حال ماجرا اصلاً کم‌اهمیت نیست. بعضی از نتایج، اگه تأیید بشن، واقعاً در سطح پژوهش جدی ریاضی هستن. واکنش ریاضی‌دان‌ها هم ترکیبی از هیجان و نگرانی بوده. گروه AGMAI با حضور چهره‌هایی مثل Timothy Gowers، Martin Hairer و Edward Witten تأکید کرده که تولید اثبات پایان کار نیست؛ فهمیدن نتیجه، بررسی اون و پیدا کردن جایگاهش در ریاضیات هنوز کار اساسی انسانه.
شاید سؤال مهم‌تر از خود این ۷۲۲ دست‌نوشته این باشه: اگه هوش مصنوعی بتونه اثبات‌های پژوهشی رو سریع و انبوه تولید کنه، نقش ریاضی‌دان چی میشه؟ شاید ارزش اصلی کم‌کم از «پیدا کردن اثبات» بره به سمت «پرسیدن سؤال درست، تشخیص نتیجه مهم، فهم ایده و پیدا کردن ارتباط بین نظریه‌ها».
شاید سؤال اصلی این دوران همین باشه: اگه تولید اثبات ارزون بشه، ریاضی‌دان بودن یعنی چی؟

منابع:
OpenAI Math: https://github.com/openai/math
AGMAI: https://agmai.org/
Terence Tao, Mathematics in the age of AI: https://arxiv.org/abs/2608.16753


@infinitymath

از بین صدها نتیجه‌ای که OpenAI منتشر کرده، این ۵ تا به نظرم نسبتا مهمن

۱) ثابت کاتالان گنگه یا نه؟
سال‌ها معلوم نبود یک ثابت معروف ریاضی به اسم «ثابت کاتالان» رو میشه دقیقاً به شکل یک کسر نوشت یا نه. ادعای نتیجه جدید اینه که نه؛ این عدد گنگه.

۲) مسأله بعدی اینه که عددی π رو چقدر خوب میشه با کسر تقریب زد؟
همه 22/7 رو برای تقریب پی می‌شناسیم. سؤال جدی‌تر اینه که آیا میشه π رو بارها و بارها با کسرهایی به شکل غیرعادی دقیق تقریب زد؟ نتیجه منتشرشده میگه نه؛ π از این نظر، رفتار معمولی‌تری داره.
۳) مسئله دهم هیلبرت روی اعداد گویا.
سؤالش خیلی ساده بیان میشه:

آیا یک الگوریتم عمومی وجود داره که برای هر معادله چندجمله‌ای بگه جواب کسری داره یا نه؟ ادعای OpenAI اینه که چنین الگوریتمی وجود نداره.

۴) آیا ضرب ماتریس‌ها رو میشه باز هم سریع‌تر کرد؟
ضرب ماتریس قلب خیلی از محاسبات علمی و الگوریتم‌های یادگیری ماشینه. OpenAI یک کران نظری جدید منتشر کرده که اگر درست باشه، نشون میده میشه ضرب ماتریس‌های خیلی بزرگ رو از چیزی که قبلاً می‌دونستیم سریع‌تر انجام داد.
۵) مسئله شانزدهم هیلبرت در سیستم‌های دینامیکی
بیش از یک قرنه ریاضی‌دان‌ها می‌پرسن یک سیستم دینامیکی چندجمله‌ای در صفحه حداکثر چند چرخه۴ بسته می‌تونه داشته باشه. یکی از نتایج منتشرشده میگه برای درجه مشخص، تعداد این چرخه‌ها واقعاً یک سقف محدود داره.
@infinitymath

به کجا چنین شتابان ...🤦‍♂

یکی هم گفته:

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


@infinitymath

📚📃 نشست‌های ماهانه گپ‌وگفت در آموزش ریاضی

🔸 نشست چهارم: آموزش ریاضی در عصر هوش مصنوعی؛ آماده‌سازی معلمان برای پاسخگویی به نیازهای در حال تحول کلاس درس


🔸نویسندگان: توتوکيله جیتا، لوییسو کورل جیتا، آدبایو آکین‌یینکا اومون‌یی

🔸گرداننده نشست: دکتر علی رجالی

🔸 زمان: سه‌شنبه ۲۸ مهر ۱۴۰۵، ساعت ۱۶:۳۰ تا ۱۸

🔸 مکان: کتابخانه خانه ریاضیات اصفهان

🔸شرکت در جلسات به معلمان، دانشجو-معلمان و علاقه‌مندان به اموزش پیشنهاد می‌شود و برای همه آزاد و رایگان است.
🔸لینک شرکت در جلسه:
https://www.skyroom.online/ch/mathhouse/library

🔸 پیشنهاد می‌شود پیش از شرکت در نشست، مقاله را بخوانید تا حضور فعال‌تری داشته باشید.

🔸 دریافت مقاله از وبسایت خانه ریاضیات اصفهان
https://isf.mathhouse.org/?p=41654


کانال تلگرام و ایتای خانه ریاضیات اصفهان
@isfahanmathhouse

دکتر علی رجالی را می‌شود در کنار چند نفر دیگر از استادان نامدار و خوشنام، از پیران دلسوز آموزش ریاضی ایران دانست.

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

راستش، قدر چنین آدم‌هایی را باید بیشتر دانست. استادانی که هم ریاضی و آمار بلدند، هم دلشان برای ریاضی، آمار و آینده آموزش آن می‌تپد.

ممکن است با همه حرف‌ها و دیدگاه‌هایشان موافق نباشیم، اما نمی‌شود این همه سال دغدغه، پیگیری و دلسوزی را ندید.

آموزش ریاضی ایران به آدم‌هایی نیاز دارد که هنوز برای بهتر شدنش حرص می‌خورند.

بیانیه گروه agmai بر علیه openai