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. W

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?