A proof in an ICML 2024 paper breaks at the step that jumps from vectors to span
ArthurConmy · x · 2026-08-04
The author says the only theorem they ever “proved” is wrong as stated, and points to the exact failing step in an ICML 2024 paper, Stealing Part of a Production Language Model.
- The proof assumes that if a set of vectors spans a space and a linear map preserves the norm of each vector, then the map must be orthogonal.
- The critique says that inference is invalid: preserving norms on a spanning set does not imply norm preservation on every vector in the span.
- The image highlights the precise broken step in Lemma H.3 / Appendix H, where the argument jumps from individual vectors to the whole span.
Related event: ICML 2024 Paper Authors Acknowledge Error in Model Stealing Theorem(3 posts)→
More from Fun
- AI meme flips the labor story: machines do art, humans do manual work — HomerDoakQuarlesIII · 2026-08-04
- A joke tweet says open-weights models are free and one user has 458 of them — HankYeomans · 2026-08-04
- AI-generated “Space Cats Volume 2” poster turns three cats into cyberpunk heroes — TheChuckTone · 2026-08-04
- AI meme imagines Yann LeCun and Gary Marcus in the same room — silver__tsuki · 2026-08-04
- Users say MiniMax H3 anime videos still look stiff despite strong previews — bickid · 2026-08-04
- A one-line meme repost turns into a full-on AI flex moment — fkasummer · 2026-08-04