A 100-Year Old Math Fight Led to Google and ChatGPT [video]