“Anthropic” şirkəti süni intellektin riyazi problemlərin həllindəki imkanlarını nümayiş etdirərək, Böyük Ferma teoremi üçün kompüter tərəfindən yoxlanıla bilən sübut formalaşdırıb. 1637-ci ildə irəli sürülən və 1995-ci ildə riyaziyyatçı Endryu Uayls tərəfindən 129 səhifəlik sənədlə təsdiqlənən bu nəzəriyyə, süni intellekt vasitəsilə Lean proqramlaşdırma dilində 13 milyon sətirlik koda çevrilib.
Bu texnoloji nailiyyət necə əldə edilib?
Riyaziyyatçıların illərlə vaxt aparacağını düşündüyü bu proses, “Claude Fable 5.1” modelinə bənzər bir alqoritm tərəfindən cəmi 11 günə tamamlanıb. Süni intellekt onlarla agentdən istifadə edərək 6 milyard token həcmində məlumat generasiya edib və bu müddətdə 29 500 aralıq teoremi sübut edib. Layihənin uğuru, modelin Prove2Me platformasına çıxış əldə etməsindən sonra mümkün olub.
Nə üçün bu nəticə vacibdir?
Riyaziyyatçı Kevin Bazzard bildirib ki, cəbr, həndəsə və ədədlər nəzəriyyəsinin avtomatik formalaşdırılması artıq etibarlı bir səviyyəyə çatıb. Bu uğur, süni intellektin mürəkkəb elmi sübutları başa düşmək və onları kompüterin anlayacağı dilə çevirmək üçün kifayət qədər güclü olduğunu sübut edir. Qeyd edək ki, “Anthropic” bir ay əvvəl də Riman hipotezi üzərində oxşar irəliləyişlər əldə etmişdi.
