"If you look at the "informal note" with the proof of the result, one thing is clear: the note is essentially unreadable by humans" (Anthropic’s informal note stating the proof more concisely

"If you look at the "informal note" with the proof of the result, one thing is clear: the note is essentially unreadable by humans" (Anthropic’s informal note stating the proof more concisely - 67% of the zeroes are on the line)