Több mint fél évszázadon át megoldatlan geometriai sejtést sikerült igazolnia a Szegedi Tudományegyetem kutatóinak. A Bolyai Intézet Geometria Tanszék docensének részvételével megvalósult projektben az elméleti matematikusok és a mesterséges intelligencia kutatóinak összefogására volt szükség: a bizonyítás a geometria, a Fourier-analízis, a lineáris programozás, a gráfelmélet, valamint a számítástudomány módszereit ötvözi.