Az SZTE Bolyai Intézet, az ELKH Rényi Intézet, valamint a BME Matematikai Intézet kutatói egy félévszázados geometriai sejtést bizonyítottak.
Leo Moser matematikus a hatvanasévek elején tette fel a kérdést: „A 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?” Erre válaszul jelent meg Erdős Pál matematikus sejtése, miszerint ez a hányad nem érheti el az egynegyedet. Eddig ez csupán sejtés volt, de a MILAB kutatóinak összefogásával, valamint a nemzeti labor által biztosított számítási kapacitással most már bizonyosság – adta hírül az SZTE.
„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ég-becslést az elmúlt 60 évben fokozatosan 0.2544-ig élesítették. Ambrus Gergely (Szegedi Tudományegyetem és Rényi Intézet), Csiszárik Adrián (Rényi Intézet és Eötvös Loránd Tudományegyetem), Matolcsi Máté (Budapesti Műszaki Egyetem é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. Az eredményt a rangos, D1-es besorolású Mathematical Programming folyóirat teszi közzé” – írják.
A bizonyításhoz mesterséges intelligenciát alkalmaztak, az ehhez szükséges erőforrásokat a MILAB biztosította.
Forrás: Mesterséges Intelligencia Nemzeti Laboratórium