AI riyaziyyatın ən çətin problemlərini necə həll edir?

Süni intellekt riyaziyyatın sərhədlərini genişləndirir

Riyaziyyatın ən mürəkkəb problemləri indi süni intellektin köməyi ilə sürətlə və dəqiq şəkildə həll olunur. OpenAI-nin yeni GPT 5.2 modeli Neel Somani tərəfindən sınaqdan keçirilərkən, 15 dəqiqə ərzində çətin riyazi məsələyə tam cavab verdi. Somani həllini Harmonic adlı alətin vasitəsilə rəsmi olaraq təsdiqlədi.

Tarixi problemlərə yeni yanaşma

ChatGPT Legendre formulundan, Bertrand postulatından və David ulduzu teoremindən istifadə edərək 2013-cü ildə Noam Elkies tərəfindən verilmiş oxşar həlli tapdı. Daha da əhəmiyyətlisi, model Paul Erdős-un məşhur probleminə daha tam və yeni həll təqdim etdi. Bu, süni intellektin riyaziyyat sahəsində yalnız köməkçi deyil, həm də müstəqil tədqiqatçı kimi fəaliyyət göstərə biləcəyini göstərir.

Süni intellekt və riyaziyyatın gələcəyi

Milad bayramından sonra Erdős problemlərinin saxlanıldığı onlayn platformada 15 problem "açıq" statusundan "həll olunmuş" statusuna keçirilib, onların 11-də AI modellərinin rolu olub. Terence Tao GitHub səhifəsində 8 problem üzrə AI-nin avtonom irəliləyişini qeyd edərək, süni intellektin daha sadə Erdős problemlərini həll etməkdə xüsusilə effektiv olduğunu vurğulayıb.

Formalizasiya prosesini asanlaşdıran alətlər də inkişaf edir. Microsoft Research 2013-cü ildə Lean adlı açıq mənbəli sübut köməkçisi yaratdı. Harmonic şirkətinin Aristotle aləti isə formalizasiyanı avtomatlaşdırmaqla riyaziyyatçıların işini xeyli yüngülləşdirir. Harmonic-in təsisçisi Tudor Achim süni intellektin riyaziyyatçılar üçün əvəzolunmaz vasitə olduğunu bildirir: “Bu alətlərdən istifadə edənlərin nüfuzu var, onlar Aristotle və ChatGPT-dən istifadə etdiklərini deyirlər, bu isə real dəlildir.”

İnsan və texnologiyanın sintezi

Bu inkişaflar riyaziyyatın ən mürəkkəb məsələlərinin həllində insan zəka və süni intellektin sintezinin nə qədər güclü olduğunu göstərir. İnsanlar artıq yalnız riyazi ideyalar irəli sürmür, həm də AI-nin təqdim etdiyi yeni perspektivlərlə tanış olur, problemlərə daha dərindən nüfuz edir. Bu, elm və təhsildə yeni imkanlar açır, gələcəyin riyaziyyatçılarını formalaşdırır.