“There is a solution to the Connes embedding problem using tools from theoretical computer science that is difficult to fully verify. One of my goals is to prove it analytically” by ICMAT | Jun 5, 2025 | Interviews
