مدل تحقیقاتی Claude به حل یکی از پیچیده‌ترین مسائل ریاضی نزدیک شد

برای بیش از ۱۶۰ سال، یکی از بزرگ‌ترین و پیچیده‌ترین معماهای حل‌نشده در دنیای ریاضیات «فرضیه ریمان» بوده است؛ این مسئله درباره نحوه توزیع اعداد اول است که حتی جایزه‌ای یک میلیون دلاری برای اثبات جامع آن تعیین شده و همچنان دست کسی به این جایزه نرسیده است. اگرچه مدل‌های هوش مصنوعی کنونی هنوز توانایی اثبات کامل آن را ندارند، اما نتایج جدید آنتروپیک نشان می‌دهد که توانایی هوش مصنوعی در پیشبرد مرزهای علم و ریاضیات فراتر از انتظارات اولیه است.

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

تلاش Claude برای حل مسئله دشوار ریاضی

نکته حیرت‌انگیزتر در روند این پیشرفت علمی، نحوه شکل‌گیری آن است. یکی از کارکنان آنتروپیک که آموزش تخصصی در حوزه ریاضیات پیشرفته نداشت، در محیط کدنویسی Claude Code به مدل دستور داد تا «تلاشی واقعی برای حل حدس ریمان» انجام دهد و انتخاب مسیرهای ریاضی را به خود هوش مصنوعی واگذار کرد.

مدل کلاد در نوبت اول ۶۵۰ ایده مختلف را تولید و آزمایش کرد که هیچ‌یک به نتیجه نرسیدند. اما با تشویق مجدد کاربر، این مدل طی یک روز و نیم پردازش مداوم، شبکه‌ای متشکل از ۶۰ ایجنت هوشمند را هماهنگ کرد. این شبکه در مجموع بیش از ۳۱ میلیون توکن خروجی تولید کرد، ۲۴۰۰ دستور شِل اجرا کرد و صدها اسکریپت پایتون نوشت.

جزئیات عملکرد این شبکه ایجنت‌ها جالب توجه است: ۲ ایجنت مسئولیت اصلی توسعه ایده‌های اصلی ریاضی را برعهده داشتند و ۱۳ ایجنت دیگر به آن‌ها در ارائه ایده‌ها کمک می‌کردند. به موازات این‌ها، ۳۰ ایجنت نیز تلاش می‌کردند ایده‌های جدیدی بسازند. ۱۳ ایجنت دیگر به عنوان داور و ارزیاب صحت استدلال‌ها و محاسبات عددی را بررسی کردند. ۲ ایجنت هم وظیفه تدوین و نگارش مقاله علمی اولیه را برعهده گرفتند. ایجنت‌ها همچنین با دانلود ۵۴ مقاله علمی از پایگاه arXiv اطمینان حاصل کردند که این کشف پیش‌تر توسط ریاضی‌دان دیگری ثبت نشده باشد.

READ  آنتروپیک استارتاپ Stainless، سازنده ابزارهای مورداستفاده OpenAI و گوگل را خرید

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