OP-01064 Solution claimed Is there a group that is not sofic? GR · group approximation · Peterson's operator algebra problems · sofic groups