I can think of at least one prominent mathematician and anime fan who might've written that anonymous proof.