Radchenko & Wheeler’s new LLM-assisted proof settles the real quadratic case of Hilbert’s 12th problem. Corollary (Appleby, Flammia & Kopp): SIC-POVMs exist in every dimension, so any quantum state can be written as a constrained probability distribution — good news for QBists, if it holds up.