Matematičari upravo razotkrili “nagađanje o krevetu na kat”

Njihov rezultat pokazuje koliko je važno ne uzimati ništa zdravo za gotovo, rekao je Noga Alonmatematičar na Princetonu. “Moramo biti sumnjičavi, čak i u pogledu stvari koje intuitivno izgledaju vrlo vjerojatno istinite.”

Gladkov, Pak i Zimin pronašli su mnogo primjera malih grafova koji su zadovoljili pretpostavku, ali na kraju, oni nisu odražavali kompliciranije, manje intuitivne grafove koje su mogli izgraditi kad im je dano dovoljno vrhova i bridova.

Kao što je Hollom rekao: “Razumijemo li mi sve ove stvari tako dobro kao što mislimo da razumijemo?”

Matematičari još uvijek vjeruju u tvrdnju fizike o povezanim mjestima unutar čvrstih tijela koja je inspirirala pretpostavku o krevetu na kat. Ali morat će pronaći drugačiji način da to dokažu.

U međuvremenu, kaže Pak, jasno je da se matematičari moraju uključiti u aktivniju raspravu o prirodi matematičkog dokaza. On i njegovi kolege u konačnici se nisu morali oslanjati na kontroverzne računske metode; uspjeli su opovrgnuti nagađanje s potpunom sigurnošću. Ali kako linije napada temeljene na računalu i umjetnoj inteligenciji postaju sve češće u matematičkim istraživanjima, neki matematičari raspravljaju o tome hoće li se norme tog područja na kraju morati promijeniti. “To je filozofsko pitanje”, rekao je Alon. “Kako gledamo na dokaze koji su istiniti samo s velikom vjerojatnošću?”

“Mislim da će budućnost matematike biti prihvaćanje probabilističkih dokaza poput ovog”, rekao je Doron Zeilbergermatematičar sa Sveučilišta Rutgers koji je poznat po tome što je svoje računalo pripisao kao koautora u mnogim svojim radovima. “Za 50 godina, ili možda manje, ljudi će imati novi stav.”

Drugi se pitaju ugrožava li takva budućnost nešto vitalno. “Možda bi vam dokaz vjerojatnosti dao manje razumijevanja ili intuicije o tome što se stvarno događa”, rekao je Alon.

Pak je predložio da se naprave zasebni časopisi za rezultate ove vrste kako oni budu postajali sve češći, tako da njihova vrijednost ne bude izgubljena za matematičare. Ali glavni mu je cilj otvoriti razgovor. “Ne postoji točan odgovor”, rekao je. “Želim da zajednica meditira o tome hoće li se sljedeći rezultat ove vrste računati.” Kako se tehnologija nastavlja infiltrirati i transformirati matematiku, to će pitanje postajati još hitnije.

Izvorna priča ponovno tiskano uz dopuštenje od Časopis Quanta, urednički neovisna publikacija Zaklada Simons čija je misija poboljšati javno razumijevanje znanosti pokrivajući razvoj istraživanja i trendove u matematici te fizikalnim i životnim znanostima.