ریاضی عوض شده، ریاضی‌دان‌ها هم باید عوض بشن
هوش مصنوعیClaude Opus 5.5خلاصهٔ کامل‌تر
فرانک کالگاری تو این پست مهمان روی وبلاگ Terence Tao از انتشار بیش از ۷۰۰ مقاله‌ی تحقیقاتی توسط OpenAI در ۶ اکتبر شروع می‌کنه و اونو نقطه‌ی عطفی تو تاریخ ریاضی می‌دونه. به گفته‌ش این مقاله‌ها با اینکه ایده‌های عالی دارن، خیلی بد نوشته شدن، سهم کار بقیه رو درست ذکر نمی‌کنن و بعضیاشون حتی غلطن. ولی می‌گه ما روی رفتار شرکت‌های تریلیون دلاری کنترلی نداریم و بهتره انرژیمون رو روی استخدام، انتشار و آموزش بذاریم.
نویسنده می‌گه خیلی از ریاضی‌دان‌ها حس می‌کنن رشته‌شون داره «توخالی» میشه. مثلاً Hugo Duminil-Copin نوشته که برای همه‌ی مسئله‌های بازی که تو کل کارش ازشون حرف زده، تو این انتشار ادعای حل شدن اومده. کالگاری این رو با طبقه‌بندی گروه‌های ساده‌ی متناهی مقایسه می‌کنه: یه پروژه‌ی بزرگ که موفق شد ولی بعدش علاقه به اون حوزه سرد شد، در حالی که هنوز سؤال‌های جذاب زیادی داشت. پیامش اینه که حل شدن مسئله‌های مشهور یعنی شروع، نه پایان.
به نظر نویسنده، AI فرصتیه که ریاضی‌دان‌ها از گیر کردن روی اولین حدسی که نمی‌تونن ثابتش کنن خلاص بشن و سراغ سؤال‌های عمیق‌تر برن. خودش یه ایده‌ی قدیمی درباره‌ی ارتباط خمینه‌های هذلولوی سه‌بعدی با نظریه‌ی اعداد رو مثال می‌زنه که به خاطر حجم کار زمینه‌ای هیچ‌وقت سراغش نرفته. حالا با AI این مانع‌ها خیلی کمتر شدن. البته می‌گه الان خیلی‌ها با عجله مقاله‌های AI-محور بیرون می‌دن فقط برای اینکه «اول» باشن و این همون اشتباه قدیمیه، فقط با سرعت بیشتر.
پیشنهادهای مشخصش شش تاست: هر کاری رو انگار با کمک AI انجام شده ارزیابی کنیم، تو استخدام به جای پرونده‌ی مقاله‌ها حضوری مصاحبه کنیم، از ژورنال‌ها بیشتر بخوایم، تو آموزش دکتری روی وسعت دید تأکید کنیم، سمینارهای بهتری بدیم و مالکیت نتایج AI رو به اسم کل بشریت قبول کنیم. مصاحبه‌ی حضوری به گفته‌ش باید حتی برای پست‌دک و دانشجوی دکتری هم انجام بشه.
مثال جالبش Frank Nelson Cole هست که سه سال یکشنبه‌هاش رو صرف تجزیه‌ی یه عدد کرد، کاری که امروز یه کامپیوتر زیر یه ثانیه انجام می‌ده. یعنی وقتی ماشین کاری رو راحت می‌کنه، ارزشش به عنوان سهم ریاضی هم کم میشه. کالگاری پیشنهاد می‌ده اثبات‌هایی که کاملاً خودکار با AI تولید می‌شن، ترجیحاً با Lean (یه ابزار برای بررسی ماشینی درستی اثبات) چک بشن و جزو دانش جمعی ثبت بشن.
نویسنده معتقده کسی که یه مسئله‌ی ارزشمند انتخاب می‌کنه، اثباتش رو کامل با AI به دست میاره، خوب می‌فهمتش و ازش سؤال‌های تازه درمیاره، سهم واقعی تو ریاضی داشته. به ریاضی‌دان‌های ارشد هم می‌گه اگه از جلو افتادن AI استرس دارید، یعنی به اندازه‌ی کافی بلندپرواز نیستید. آخرش هم یادآوری می‌کنه دنیا داره به ریاضی‌دان‌ها نگاه می‌کنه و الان وقت توضیح دادن فرصت‌های تازه‌ست، نه سوگواری.
نکات کلیدی:
- OpenAI روز ۶ اکتبر بیش از ۷۰۰ مقاله‌ی تحقیقاتی ریاضی منتشر کرد.
- کالگاری شش پیشنهاد داره: ارزیابی با فرض کمک AI، مصاحبه‌ی حضوری، سخت‌گیری روی ژورنال‌ها، وسعت دید در آموزش، سمینار بهتر و مالکیت نتایج AI.
- به نظرش بخش قابل توجهی از مقاله‌های arXiv اصلاً نباید جایی چاپ بشن.
- اثبات‌های خودکار AI بهتره با Lean بررسی بشن و جزو دانش جمعی ثبت بشن.
- انتخاب مسئله‌ی درست ممکنه از تولید اثبات مهم‌تر بشه.
