> People have been correctly excited about the many "sudden" breakthroughs LLMs are making in Maths
That people ARE making, surely not machines. Like Terence Tao or Knuts did using the tool to their advantage, for example it would have been impossible for me to prove the same thing Tao did with an LLM. Same reason I believe programmers won't go away
This isn’t true in math; see the proof of Crouzeix’s conjecture which was done by GPT 5.6 Sol in response to a prompt from a neurosurgery resident who had no deep math background, was learning that subject to better understand radiology, and thought it sounded like a cool theorem.
> Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session in ChatGPT Work, after which he checked the resulting argument
That people ARE making, surely not machines. Like Terence Tao or Knuts did using the tool to their advantage, for example it would have been impossible for me to prove the same thing Tao did with an LLM. Same reason I believe programmers won't go away