LLMs and Math
Uber-mathematician Terrance Tao on LLMs: “we are a long way” * Note that the “solutions” to the International Math Olympiad are cherry-picked. In fact ChatGPT solves less than 1%, and even then it’s only after correctly re-formatting the question. * but good for generating suggestions * Simple assistants for proof-building