How a recurring rhetorical move keeps proving the wrong thing There is now a recognisable pattern in AI commentary. It runs roughly as follows. A paper appears on arXiv. It contains real mathematics — definitions, lemmas, a theorem, sometimes several. The theorem establishes that a particular formal object, under a particular set of assumptions, has … Continue reading The Problem with “Mathematically Proven” Claims About LLMs