Model i papublikuar i Anthropic raporton përparim në hipotezën e Riemannit

<p>Një model ende i papublikuar i Anthropic ka bërë përparim në hipotezën e Riemannit, një nga problemet më të vjetra të pazgjidhura në matematikë, raportoi TechCrunch. Kompania nuk thotë se e ka zgjidhur hipotezën: sipas artikullit, modeli ka rritur kufirin e poshtëm të rasteve për të cilat hipoteza rezulton e vlefshme.</p><p>Hipoteza lidhet me shpërndarjen e numrave të thjeshtë dhe ka mbetur e pazgjidhur për më shumë se 150 vjet. Artikulli kujton se për një provë të përgjithshme qëndron ende shpërblim prej një milion dollarësh. Vetë TechCrunch thekson se modelet bashkëkohore të inteligjencës artificiale nuk mund ta zgjidhin ende këtë problem.</p><p>Sipas përshkrimit të Anthropic të cituar nga media, një punonjës pa formim të thellë matematikor i kërkoi modelit të provonte seriozisht problemin dhe e la të koordinonte punën për rreth një ditë e gjysmë. Modeli testoi 650 ide, përdori 60 nënagjentë dhe shpenzoi 31 milionë njësi llogaritëse. Dy nënagjentë zhvilluan idetë kryesore, ndërsa të tjerë kontribuuan ose kontrolluan argumentet.</p><p>Gjetja u verifikua nga dy matematikanë të Anthropic dhe u formalizua me Lean, një mjet me burim të hapur për verifikim provash, sipas TechCrunch. Artikulli e vendos rezultatin në debat më të gjerë për rolin e AI-së në kërkimin shkencor: disa matematikanë kanë shprehur shqetësim për autorësinë dhe përgjegjësinë e provave, ndërsa të tjerë shohin mundësi pozitive. Këto janë debate mbi metodën; nuk përbëjnë provë se hipoteza është zgjidhur.</p><p>Raportimi përmend edhe rezultate të tjera të kohëve të fundit të lidhura me modele gjuhësore, përfshirë probleme të Erdos të zgjidhura këtë vit, rezultate të publikuara nga modeli i brendshëm “Astra” i OpenAI dhe një përpjekje tjetër e Anthropic që kundërshtoi konjekturën Jacobian. Këto raste vendosen si sfond i debatit, por nuk verifikojnë vetë përfundimin për hipotezën e Riemannit.</p><p>Matematikanët që nënshkruan deklaratën publike në qershor shqetësohen se AI mund të cenojë parimin që provat t’u atribuohen autorëve të identifikueshëm që marrin përgjegjësinë për saktësinë e tyre. Timothy Gowers, fitues i Medaljes Fields, sugjeroi në një reagim se ndikimi mund të jetë më i ndërlikuar dhe pozitiv. Këto janë pozicione mbi përdorimin e AI-së; artikulli nuk pretendon konsensus akademik ose publikim të menjëhershëm të modelit.</p>