It will be interesting to see the excuses people come up with when LLMs innevitably start solving millenium prize problems.