A kutatócsoport közlése szerint Leo Moser osztrák-kanadai matematikus az 1960-as években tette fel azt a geometriai kérdést, hogy sík legfeljebb mekkora hányada színezhető ki úgy, hogy két kiszínezett pont nem lehet pontosan egységnyi távolságra egymástól.

Erdős Pál sejtése szerint ez a hányad nem érheti el az egy negyedet.

A problémával kapcsolatban számos kutatócsoport publikált már részeredményeket, amelyek a kezdeti 0,2857-es sűrűségbecslést az elmúlt hatvan évben fokozatosan 0,2544-ig élesítették. Ambrus Gergely (SZTE és Rényi-intézet), Csiszárik Adrián (ELTE, Rényi-intézet), Matolcsi Máté (BME és Rényi-intézet), Varga Dániel (Rényi-intézet) és Zsámboki Pál (Rényi-intézet) új eredménye szerint a kérdéses sűrűség nem haladhatja meg a 0,247-et. Kutatásuk eredményét a Mathematical Programming folyóirat teszi közzé.

Az aktívan kutatott kérdéskört az elmúlt évtizedekben számos módszerrel vizsgálták, de az Erdős által sejtett egynegyedes korlát elérése továbbra is távolinak tűnt. A sejtés bizonyításához szükséges első áttörést az hozta, hogy a kutatók Varga Dániel ötlete alapján kidolgozták a korábban alkalmazott elméleti módszerek egy közös általánosítását. Ennek segítségével egy keresési feladattá redukálták a problémát: Erdős sejtésének bizonyításához elegendő lett egy bizonyos, speciális tulajdonságokkal rendelkező síkbeli ponthalmazt megtalálni.

Budapesti varázsló: „Minden, ami emberi, akár rossz, akár jó, előbb-utóbb véget ér. Kivéve a matematikát."

Száztíz éve, 1913. március 26-án született Erdős Pál, a múlt század egyik legjelentősebb és legnagyobb hatású matematikusa, akit alig 20 évesen már „budapesti varázslónak" neveztek.

Az elvárt tulajdonságok túl összetettek ahhoz, hogy papír és ceruza segítségével reális legyen a megfelelő ponthalmaz megtalálása. Ezért a keresési problémát a mesterséges intelligencia módszereinek alkalmazásával oldották meg. Ehhez a Rényi-intézet nagy számítási kapacitású számítógépeit vették igénybe, amelyeket a Mesterséges Intelligencia Nemzeti Laboratórium (MILAB) biztosított. Több hónapnyi intenzív kísérletezést követően a számítógép-hálózat végül egyhetes keresés során talált egy 23 pontból álló alakzatot, amely alkalmas volt a sejtés bizonyítására.

Ha máskor is tudni szeretne hasonló dolgokról, lájkolja a HVG Tech rovatának tudományos felfedezésekről is hírt adó Facebook-oldalát.