A revision of the proof a couple of years later was the first to use computers as proof to go over all the possible (but finite) settings found by mathematicians ?
spam lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor creativity violence