یک نسخه تحقیقاتی و منتشرنشده از Claude متعلق به شرکت Anthropic، هنگام تلاش برای حل یکی از مشهورترین مسائل حلنشده ریاضیات یعنی فرضیه ریمان، به نتیجهای مهم در نظریه اعداد دست پیدا کرده است. این مدل نتوانست خود فرضیه را اثبات کند، اما موفق شد یک کران ریاضی مهم مرتبط با صفرهای تابع زتای ریمان را بهطور قابلتوجهی بهبود دهد.
محققان Anthropic میگویند نتیجه بهدستآمده، نسبت شناختهشده صفرهای تابع زتای ریمان که روی «خط بحرانی» قرار دارند را از ۴۱.۶ درصد به حدود ۶۷.۲ درصد افزایش داده است؛ نتیجهای که از نظر ریاضی یک پیشرفت قابل توجه محسوب میشود.
با این حال، نباید این خبر را به معنای حل فرضیه ریمان دانست. این فرضیه از سال ۱۸۵۹ تاکنون یکی از بزرگترین مسائل باز ریاضیات بوده و اثبات کامل آن همچنان در دسترس نیست.
اهمیت این آزمایش در این است که Claude توانسته با بررسی کارهای ریاضی پیشین و انجام محاسبات گسترده، مسیری را پیدا کند که به بهبود یک نتیجه قدیمی منجر شده است. گزارش Anthropic همچنین میگوید نتیجه به شکلی رسمی در Lean قابل بررسی شده و ریاضیدانان نیز آن را بررسی کردهاند.
فرضیه ریمان ارتباط عمیقی با نحوه توزیع اعداد اول دارد و حل آن میتواند پیامدهای مهمی برای نظریه اعداد داشته باشد. این مسئله همچنین یکی از مسائل هزاره مؤسسه Clay Mathematics Institute است که برای حل آن جایزه ۱ میلیون دلاری در نظر گرفته شده است.
