Abstract: Since the mid-19th century, the four-color theorem has been regarded as a highly controversial topic within mathematical history due to its intuitive simplicity but difficulty in proving, ...