Amater naoružan ChatGPT-om i "vajb matematikom" rešio 60 godina star problem

Dugogodišnja matematička enigma, poznata kao Šarkuzijeva pretpostavka, konačno je rešena zahvaljujući neobičnom partnerstvu između ljudske intuicije i veštačke inteligencije. Ričard Ngo, programer bez formalnog obrazovanja u naprednoj teoriji brojeva, uspeo je da dokaže hipotezu iz 1960-ih koristeći ChatGPT kao glavnog saradnika.

foto: getty images

Ričard Ngo, zaposlen u kompaniji OpenAI, objavio je na platformi X da je dokazao matematičku pretpostavku koja je bila otvorena decenijama. Ono što je privuklo pažnju nije bila samo činjenica da je problem rešen, već način na koji je to učinjeno: Ngo nije profesionalni matematičar, a u radu mu je pomogao ChatGPT.

Problem o kojem je reč postavio je 1960-ih mađarski matematičar Andraš Šarkuzi. On se bavi "gustinom" podskupova prirodnih brojeva. Zamislite da birate brojeve iz niza od 1 do N. Šarkuzi je želeo da zna koliko veliki taj podskup može biti ako postavimo pravilo da razlika između bilo koja dva izabrana broja ne sme biti "kvadrat minus jedan" (brojevi poput 3, 8, 15...).

Pretpostavka je glasila da takav skup mora postati veoma "redak" kako N raste. Ngo je počeo da istražuje ovaj problem koristeći GPT-4, a njegova metoda, koju je nazvao "vibe math" (matematika na osnovu osećaja), uključivala je korišćenje AI modela za brzo istraživanje različitih matematičkih tehnika i povezivanje koncepata koje on sam nije u potpunosti razumeo. 

Kada bi AI napravio grešku (što se često dešava kod složenih proračuna), Ngo bi to primetio jer bi "vajb" ili logika dokaza prestali da imaju smisla. Zatim bi usmeravao model u drugom pravcu. Na kraju, Ngo je uspeo da spoji delove slagalice u formalni dokaz koji je potvrdio Šarkuzijevu pretpostavku.

Matematičari koji su pregledali rad potvrdili su njegovu tačnost. Ovaj uspeh izazvao je debatu o budućnosti matematike. Dok neki smatraju da AI samo ubrzava dosadan posao pretrage literature, drugi veruju da ulazimo u eru u kojoj će granica između amatera i stručnjaka postati nejasna, a ljudska intuicija (vajb) postati važnija od sirovog tehničkog umeća.

izvor: scientificamerican.com