Comment by miguelrochefort

I would be surprised if we did not already have AIs that could invent calculus from first principles.

LLMs solve natural langage and common sense, which are not necessary for discovering calculus.