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 ...