Sherrington–Kirkpatrick model