You know what did happen millions of years ago when the monkeys started to use tools.

Time of AI to know how to use tools, like a mathematical formal solver. Well, it is already done, but it is not LLM... soooo.. academics only?