We discuss a branch of Ramsey theory concerning vertex Folkman numbers and how computer algorithms have been used to compute a new Folkman number. We write
Folkman showed in 1970 that this number exists for
and
For
1970-2025 CP (Manitoba, Canada) unless otherwise stated.