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 proving mathematical theorems requires. There’s a whole bunch of – really hard – math problems out there looking for […]