I think the bigger issue is that mathematicians historically invented the abstractions to make maths easier to understand for humans. With LLMs, will we get abstractions that only computers can understand?