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