[valval]

This is about as funny and original as feeding natural language to an actual calculator app and watching it syntax error.

[xanderlewis]

Not really; there is some asymmetry. One could at least hope (as many seemingly have) that natural language systems like LLMs could also cope with formal reasoning and calculation, but you’d be an idiot to think it goes the other way.