Can LLMs shed light on Shinichi Mochizuki's proof of the ABC conjecture?
I understand that LLMs can't verify correctness but maybe they can help elucidate the concepts behind it?
If you ask an LLM "tell me about inter-universal Teichmüller theory", how are you going to know if the result is correct?