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