هوش مصنوعی با عبور از مرزهای محاسبات انسانی در «فرضیه ریمان»، دستاورد علمی شگفت‌انگیزی ثبت کرد

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

دستاورد بی‌سابقه‌ی کلاد نشان‌دهنده‌ی پتانسیل بالای هوش مصنوعی در دگرگون کردن فرآیندهای اکتشاف علمی است. فرضیه‌ی ریمان یکی از هفت مسئله‌ی هزاره‌ی ریاضیات به‌شمار می‌رود که برای حل آن جایزه‌ی یک میلیون دلاری تعیین شده است.

مدل آنتروپیک برای دستیابی به این نتیجه، ۶۰ «زیرعامل» را به‌طور هم‌زمان هماهنگ کرد، صدها ایده را مورد آزمایش قرار داد و به جست‌وجو در منابع علمی پرداخت. کلاد حتی اثبات‌های خود را به چالش کشید و در نهایت نتیجه‌ی به‌دست‌آمده را در زبان برنامه‌نویسی اثبات قضیه‌ی Lean، فرموله‌سازی و تأیید کرد.

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