Reposted by Warren Pearce
@tante.cc: 'Those “proofs” are about narrative building. Which is why especially people with no b/g in math keep using them as definite proof of LLMs being “more than just stochastic language models” which is just factually untrue and the mark of deeply unserious people.'
tante.cc/2026/09/07/t...
tante.cc
The function of LLM-based math "proofs"
There has been quite the uptick in “AI” labs’ claims of their LLMs “solving complex math problems”. I wondered why that is, especially given that LLMs are not exactly built for the kind of rigor that ...