کلود فرضیهٔ ریمان رو حل نکرد، اما یه کران رو جابهجا کرد
هوش مصنوعیClaude Opus 5خلاصهٔ کاملتر
آنتروپیک تعریف کرده که یه نسخهٔ تحقیقاتیِ منتشرنشده از کلود، کران مربوط به «ناحیهٔ بدون صفر» تابع زتای ریمان رو از ۴۱٫۶ به ۶۷٫۲ رسونده — عددی که تا حالا بهترین نتیجهٔ بهدستاومده به دست انسان بود. این یعنی خودِ فرضیهٔ ریمان هنوز اثبات نشده و «۶۷ درصدِ اثبات» هم اصلاً معنی نمیده؛ فقط یه تکهٔ باریک و فنی از یه مسئلهٔ خیلی بزرگتر یه پله جلو رفته.
فرضیهٔ ریمان دربارهٔ توزیع اعداد اوله و در عمل میگه صفرهای غیربدیهی تابع زتا همه روی یه خط مشخص میافتن. ریاضیدانها اینو اثبات نکردن، ولی نتیجههای جزئی دارن؛ از جمله کرانهایی برای ناحیههایی که صفر نمیتونه اونتو باشه. بهتر کردن این کران بهشکل خطی کسی رو به اثبات کامل نزدیک نمیکنه، چون اثبات اینکه همهٔ صفرها روی خط بحرانیان ادعای کاملاً سختتریه — ولی بهبودش واقعی و قابلارجاعه.
چیزی که بیشتر جلب توجه میکنه مقیاس کاره. به روایت آنتروپیک، مدل ۳۱ میلیون توکن خروجی تولید کرده، ۶۰ سابایجنت جدا بالا آورده، حدود ۲۴۰۰ دستور شل اجرا کرده و صدها اسکریپت پایتون نوشته. حدود ۶۵۰ ایدهٔ متفاوت ساخته و آزموده که اکثر قریببهاتفاقشون شکست خوردن. این یه بینش ناگهانی نیست؛ یه جستوجوی عظیم و تقریباً خودکاره که با کمترین ورودی ریاضیِ انسانی جلو رفته.
گردانندهٔ این جلسه، جرد سامنر از کارکنان آنتروپیک، اصلاً ریاضیدان نیست؛ کارش هدایت ریاضی نبود، فقط این بود که مدل رو سرِ کار نگه داره — پیامهایی مثل «ادامه بده» و «به خودت ایمان داشته باش» بارها تکرار شدن و نوشتهٔ آنتروپیک همین تشویق رو در عبور کلود از تردید اولیه مؤثر میدونه. نویسنده این نتیجه رو بخشی از موج بزرگتری میبینه که توش مدلهای فرانتیر برای پیدا کردن مثال نقض و پیشرفتهای تدریجی روی حدسهای باز ریاضی به کار میرن.
نکات کلیدی:
- فرضیهٔ ریمان اثبات نشده؛ فقط کران ناحیهٔ بدون صفر از ۴۱٫۶ به ۶۷٫۲ رفته
- نسخهٔ استفادهشده یه مدل تحقیقاتیِ منتشرنشدهست، نه محصول عمومی
- ۳۱ میلیون توکن خروجی، ۶۰ سابایجنت، حدود ۲۴۰۰ دستور شل و صدها اسکریپت پایتون
- از حدود ۶۵۰ ایده تقریباً همه شکست خوردن و فقط یکی به نتیجه رسید
- ارزش خبر بیشتر تو الگوی کاره تا خودِ عدد: جستوجوی انبوه با نظارت کمِ انسانی
