descriptive claim
The Lean proof establishes that zlib compression followed by decompression returns the original data for any data and any compression level.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And then it proves that for any compression level, for any data, if you compress the data and then decompress, you get the original data back.”1:18:59Report a misattribution
0.95how strongly it was put, not whether it is true
0.85importance to the conversation
0.96confidence the claim was read correctly