@nivi I don’t like to prophesy but I imagine in a decade or less kids and mathematicians using LLMs to help will regard them as people presently do pocket calculators.
Not as “solving the problem” (only people do that) - but as just helping with laborious mechanical calculation.