As is evident by my last blog post, I used an LLM for a preprint recently (with Sam Mattheus). It feels necessary to have a second, short post addressing the wide-spread concerns regardings the usage of LLMs and how much money AI companies are investing to solve prominent open problems in mathematics. This has been […]