Inteligența Artificială a rezolvat o problemă matematică veche de 80 de ani

A reușit inteligența artificială să demonteze o teoremă matematică celebră?

Conjunctura a fost încercarea de a determina numărul maxim de perechi de puncte la aceeași distanță într-un plan.

Deşi majoritatea matematicienilor credeau că afirmaţia lui Erdős era corectă, sistemul AI nu l-a demonstrat, ci a găsit un contraexemplu, arătând că era de fapt fals.

Matematica Noga Alon, de la Universitatea Princeton (SUA), consideră că rezultatul este unul dintre cele mai spectaculoase produse AI din matematică. El spune că există din ce în ce mai multe demonstraţii asistate de IA, iar acest lucru schimbă deja modul în care se desfăşoară cercetarea.

Poate interpreta greşit rezultatele, poate cita lucrări inexistente sau poate genera demonstraţii incorecte.

Din acest motiv, matematicienii subliniază că orice rezultat trebuie verificat cu atenţie înainte de a fi acceptat. Ce este Declaraţia lui Leiden? Chen face, de asemenea, o diferență importantă între programele clasice utilizate de zeci de ani în matematică și modele moderne AI.

În cazul software-ului tradițional, algoritmii sunt cunoscuți și pot fi analizați pas cu pas.

În schimb, funcționarea internă a modelelor AI rămâne în mare parte opacă

În schimb, funcționarea internă a modelelor AI rămâne în mare parte opacă, inclusiv pentru creatorii lor, scrie IFL Science.

Această lipsă de transparenţă a determinat peste 3 000 de matematicieni şi oameni de ştiinţă să semneze recent Declaraţia Leiden, care avertizează că adoptarea necritică a inteligenţei artificiale ar putea afecta valorile fundamentale ale matematicii, cum ar fi claritatea, verificabilitatea şi autonomia cercetării.

Atât Chen cât şi Alon cred însă că Aionul va deveni inevitabil parte a muncii matematicienilor. Aceştia consideră că provocarea nu este dacă aceste instrumente vor fi utilizate, ci cum pot fi înţelese şi controlate.

În cele din urmă, spun ei, matematica nu este doar despre demonstrarea teoriilor, ci şi despre formularea întrebărilor corecte, dezvoltarea de concepte noi şi găsirea ideilor originale, unde oamenii continuă să joace rolul principal.

Problema rezolvată de inteligența artificială este disponibilă pe site-ul OpenAI.

De asemenea, recomandăm citirea: Faimoasa si bizara Planeta Roz ar putea ascunde norii de sare, arata un nou studiu Un studiu bizar propune existenta unor forme de constiinta pe care nici nu ne-am putut-o imagina Cercetatorii ar fi detectat prima semnatura a orizontului de eveniment al unei gauri negre Pe o scara mare, universul ar trebui sa arate la fel in toate directiile, dar nu o face.