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

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

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

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

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

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

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

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

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

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

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *