مدل هوش مصنوعی Claude از شرکت Anthropic موفق شد گام مهمی در مسیر حل فرضیه ریمان بردارد. این مدل با انجام محاسبات پیچیده، کران پایین نسبت صفرهای تابع زتای ریمان را از ۴۱٫۶ درصد به ۶۷٫۲ درصد افزایش داد.

برای رسیدن به این نتیجه، مدل Claude شش‌صد زیرعامل را به‌طور همزمان هماهنگ کرد و صدها ایده مختلف را مورد آزمایش قرار داد. فرآیند اثبات این دستاورد با استفاده از زبان برنامه‌نویسی Lean انجام شد تا نتایج به‌صورت دقیق تأیید شوند.

حل کامل فرضیه ریمان، که یکی از هفت مسئله هزاره است، جایزه یک میلیون دلاری به همراه دارد.

🤖خلاصه با هوش مصنوعی تهیه شده —تحریریه پالس ایران