
Jų rezultatai rodo, kaip svarbu nieko nelaikyti savaime suprantamu dalyku, sakė Prinstono matematikė Noga Alon. „Turime būti įtarūs, net ir dėl dalykų, kurie intuityviai atrodo, kad yra tiesa.
Gladkovas, Paks ir Ziminas rado daug mažų grafų pavyzdžių, kurie patenkino spėjimą, tačiau galiausiai jie neatspindėjo sudėtingesnių, mažiau intuityvių grafų, kuriuos jie galėtų sukurti, jei jiems būtų suteikta pakankamai viršūnių ir briaunų.
Kaip sakė Hollomas: „Ar mes iš tikrųjų viską suprantame taip gerai, kaip manome?
Matematikai vis dar tiki fizikos teiginiu apie sujungtas vietas kietuosiuose kūnuose, kurie įkvėpė dviaukštės lovos spėjimą. Tačiau jie turės rasti kitokį būdą tai įrodyti.
Tuo tarpu, pasak Pak, aišku, kad matematikai turi įsitraukti į aktyvesnę diskusiją apie matematinio įrodymo prigimtį. Jam ir jo kolegoms galiausiai nereikėjo pasikliauti prieštaringai vertinamais skaičiavimo metodais; jie sugebėjo visiškai užtikrintai paneigti spėjimą. Tačiau kadangi matematikos tyrimuose vis dažniau naudojami kompiuteriniai ir dirbtinio intelekto atakos būdai, kai kurie matematikai svarsto, ar šios srities normos galiausiai turės pasikeisti. „Tai filosofinis klausimas“, – sakė Alonas. „Kaip mes vertiname įrodymus, kurie yra teisingi tik su didele tikimybe?
„Manau, kad matematikos ateitis bus priimti tokius tikimybinius įrodymus“, – sakė Doronas Zeilbergeris, matematikas iš Rutgerso universiteto, žinomas kaip daugelio savo darbų bendraautoris. „Po 50 metų, o gal ir mažiau, žmonės turės naują požiūrį.
Kiti stebisi, ar tokia ateitis negresia kažkam gyvybiškai svarbiam. „Galbūt tikimybinis įrodymas suteiktų mažiau supratimo ar intuicijos, kas iš tikrųjų vyksta“, – sakė Alonas.
Pak pasiūlė sukurti atskirus žurnalus tokio pobūdžio rezultatams, kai jie tampa vis dažnesni, kad matematikai neprarastų jų vertės. Tačiau pagrindinis jo tikslas yra pradėti pokalbį. „Nėra teisingo atsakymo”, – sakė jis. „Noriu, kad bendruomenė apmąstytų, ar kitas tokio pobūdžio rezultatas bus svarbus. Technologijoms ir toliau įsiskverbus į matematiką ir keičiant ją, klausimas tik dar labiau aktualus.
Originali istorija perspausdinta su leidimu iš Žurnalas Quanta, redakciniu požiūriu nepriklausomas leidinys Simonso fondas kurios misija yra didinti visuomenės supratimą apie mokslą, įtraukiant matematikos ir fizinių bei gyvosios gamtos mokslų tyrimų raidą ir tendencijas.