Një startup i vogël, por inovativ në fushën e inteligjencës artificiale, ka arritur një përparim të jashtëzakonshëm: zgjidhjen e katër problemeve matematikore që kishin mbetur të pazgjidhura për vite me rradhë. AxiomProver, platforma e zhvilluar nga kompania Axiom, kombinon modelet e gjenerimit të tekstit me arsyetimin formal për të prodhuar prova matematikore rigoroze që mund të verifikohen automatikisht.
Një nga zgjidhjet më të rëndësishme lidhet me një konjekturë në geometrinë algjebrike, një fushë komplekse që ndërthur llogaritjen dhe topologjinë. Problemi ishte i njohur për vite si i pazgjidhur, pasi metodat tradicionale matematikore nuk kishin mundur të gjeneronin një provë të pranueshme. AxiomProver identifikoi lidhjet e fshehura numerike dhe krijoi një provë të saktë, të verifikuar automatikisht, duke dhënë një zgjidhje që shkencëtarët njerëzorë nuk e kishin vënë re më parë. Një tjetër problem i zgjidhur përfshinte Konjekturën e Fel, e lidhur me syzigjitë dhe renditjet komplekse numerike. Sistemi përdori informacione historike dhe modele algoritmike për të krijuar prova të reja që përputhen me standardet më të larta të matematikës. Dy zgjidhjet e tjera fokusoheshin në probleme probabilistike në teorinë e numrave dhe metoda të nxjerra nga Teorema e Fundit e Fermat, duke demonstruar fuqinë e AI-së në arsyetim formal dhe logjik.
Çelësi i suksesit të AxiomProver qëndron në përdorimin e gjuhës Lean, e cila kërkon që çdo hap i provës të jetë i verifikueshëm dhe i papenguar nga gabime njerëzore. Kjo e bën platformën më të avancuar se shumica e modeleve ekzistuese të AI-së, të cilat shpesh mund të japin rezultate të sakta vetëm në gjuhë natyrale, pa mbështetje formale matematikore. Ekspertët vlerësojnë se ky zhvillim është një pikë kthese në mënyrën se si inteligjenca artificiale mund të përdoret si partner i vërtetë i matematikës, jo vetëm si mjet ndihmës. Përveç fushës akademike, teknologjia mund të ndikojë në sigurinë kibernetike, verifikimin formal të kodit dhe aplikime të tjera ku precizioni është kritik.
Themeluesit e Axiom dhe bashkëpunëtorët shkencorë shprehin optimizëm se ky partneritet midis njeriut dhe makinës mund të ndryshojë mënyrën e të kuptuarit dhe të zgjidhjes së problemeve komplekse, duke hapur rrugën për një epokë të re të kërkimit shkencor dhe inovacionit matematikor.
Discussion about this post