Geometriai színezések modern köntösben

Az előadásban olyan, geometriai színezésekhez kapcsolódó problémákat vizsgálunk, melyek megoldásában jelentős szerepet játszottak nagy számítási kapacitást használó módszerek. Többek között sorra vesszük a már klasszikussá vált négyszín-tételt, gömbök optimális pakolási sűrűségének meghatározását 3, 8 és 24 dimenzióban, valamint az Erdős-Moser sejtést, melyet a mesterséges intelligencia eszközeinek felhasználásával a HUN-REN Rényi Intézet munkatársaival sikerült bizonyítanunk.