I've been following the work on MathPrompter (https://arxiv.org/pdf/2303.05398.pdf https://arxiv.org/pdf/2303.05398.pdf) for example. These approaches certainly

I've been following the work on MathPrompter (https://arxiv.org/pdf/2303.05398.pdf https://arxiv.org/pdf/2303.05398.pdf) for example. These approaches certainly increase the quality of basic results but without a true semantic model of mathematics we're a looooooong way from replacing a computer algebra system.