کلود کران صفرهای ریمان رو بالا برد
هوش مصنوعیClaude Opus 5خلاصهٔ کاملتر
بهتازگی یکی از کارمندهای Anthropic — که خودش ریاضیدان هم نیست — به کلود گفت جدی بره سراغ فرضیهٔ ریمان. تو این پست اومده که کلود واقعاً تلاش کرد، فرضیه رو حل نکرد، ولی وسط راه روی یه مسئلهٔ مرتبط پیشرفت غیرمنتظرهای کرد: یه نسخهٔ پژوهشی منتشرنشده از کلود تونست کران پایینِ درصد صفرهای تابع زتا که روی خط بحرانی قرار دارن رو از ۴۱.۶ درصد به ۶۷.۲ درصد برسونه.
تابع زتای ریمان توزیع اعداد اول رو توصیف میکنه و هر صفرش یه لایه جزئیات ریزتر به دنبالهٔ اعداد اول اضافه میکنه. فرضیهٔ ریمان میگه همهٔ این صفرهای تعیینکننده روی یه خط عمودی مشخص قرار دارن. کسی هنوز نتونسته اثباتش کنه یا ردش کنه، برای همین ریاضیدانها سراغ سؤالهای جانبی رفتن؛ یکیشون همینه که دستکم چند درصد از صفرها حتماً روی خطن — عددی که طی سالها به ۴۱.۶ درصد رسیده بود.
کاری که کلود کرده، ترکیب دو خط پژوهشی موجوده: مجموعهمقالههای Baluyot، Goldston، Suriajaya و Turnage-Butterbaugh که تکنیکهای Montgomery رو بدون فرضِ درستیِ خود ریمان قابل استفاده کردن، بهعلاوهٔ یه مقالهٔ سال ۲۰۰۰ از Bombieri. به گفتهٔ Anthropic، نکتهٔ کلیدی جسارت کلود بوده که کل فضا رو یکجا در نظر گرفته — با زیرفضاهای مثبتمعین و منفیمعین کنار هم و فرم درجهدومِ غیرقطری.
روش کار هم جالبه: این نتیجه تو دو نشست داخل Claude Code و با مصرف ۳۱ میلیون توکن خروجی به دست اومده. کلود اول ۶۵۰ ایده رو امتحان کرد که هیچکدوم جواب نداد؛ بار دوم حدود ۶۰ زیرعامل (subagent) رو یک روز و نیم هماهنگ کرد، بینشون ۲۴۰۰ دستور شل اجرا شد و صدها اسکریپت پایتون نوشته شد و کار همدیگه رو داوری کردن. نقش آدم وسط این ماجرا بیشتر فرستادن پیامهای تشویقی مثل «ادامه بده» بوده.
برای اعتبارسنجی، زیرعاملها دنبال مثال نقض گشتن، ۵۴ مقاله از arXiv دانلود کردن تا مطمئن شن نتیجه قبلاً کشف نشده، و اثبات رو از صفر دوباره ساختن. بعدش دو ریاضیدان Anthropic و دو متخصص بیرونی، Brian Conrey و Dan Goldston، مقاله رو بررسی کردن و یه نسخهٔ فرمالشده در Lean هم منتشر شد. خود Anthropic تأکید میکنه انتظار نداره این تکنیکها به اثبات خودِ فرضیهٔ ریمان برسه.
نکات کلیدی:
- کران پایین درصد صفرهای زتا روی خط بحرانی از ۴۱.۶ به ۶۷.۲ درصد رسید
- نتیجه محصول جانبیِ یه درخواست باز برای حمله به فرضیهٔ ریمان بود، نه هدف اصلی
- روش، ترکیب کارهای اخیر Baluyot و همکاران با مقالهٔ ۲۰۰۰ Bombieriه
- دو نشست Claude Code، ۳۱ میلیون توکن خروجی و حدود ۶۰ زیرعامل
- اثبات هم توسط ریاضیدانها بررسی شد و هم در Lean فرمال شد
- Anthropic انتظار نداره این مسیر به اثبات خود فرضیهٔ ریمان ختم بشه
