Pythagoraan kolminkertaisten Boolen ongelma on yksi Ramseyn teorian ongelmista .
Onko mahdollista jakaa luonnollisten lukujen joukko kahteen osaan siten, että jokaisessa osassa ei ole yhtä Pythagoraan kolmoisosaa ?
Lukujen värittämisen kannalta ongelma näyttää tältä: onko mahdollista värjätä luonnollisia lukuja kahdella värillä niin, että mikään Pythagoraan kolmoiskappale ei ole yksivärinen?
Vuonna 2015 Joshua Cooper ja Ralph Overstreet värjäsivät 7664 luonnollista lukua niin, että kaikki Pythagoraan kolmiot olivat monivärisiä [1] .
Marin Geile, Oliver Kuhlman ja Viktor Marek ratkaisivat ongelman toukokuussa 2016. He osoittivat, että luonnollisten lukujen joukko {1,…, 7824} voidaan jakaa siten, että jokaisessa osassa ei ole yhtä Pythagoraan kolmoisosaa, mutta tämä on mahdotonta {1,…, 7825} [2] .
Lause todistettiin kokeilemalla kaikkia vaihtoehtoja käyttämällä Stampede-supertietokoneen 800 ydintä Texasin yliopiston tietokonekeskuksessa kahden päivän ajan. DRAT - todistetiedoston koko oli 200 teratavua . Siitä tehtiin ja arkistoitiin 68 gigatavun varmenne . Luonnollisille luvuille 7824 on useita ratkaisuja, mutta 7825:lle ei ole löydetty ratkaisua [3] .
Marin Geilen, Oliver Kuhlmanin ja Victor Marekin artikkeli valittiin esitykseen SAT 2016 -konferenssissa, joka pidettiin Bordeaux'ssa ( Ranska ) heinäkuussa 2016, ja se palkittiin parhaaksi artikkeliksi [4] [5] .