Benchmarking non-perturbative many-body approaches in the exactly solvable Hatsugai-Kohmoto model | Synapse