A notorious "ugly" proof is that of the 4-color theorem. It has been proven usin... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

GuB-42 on June 23, 2023 | parent | context | favorite | on: Mathematicians Have Found a Shape with a Pattern T...

A notorious "ugly" proof is that of the 4-color theorem.

It has been proven using a computer. The problem was first reduced to a few hundred cases, then a brute force algorithm was used to solve each case.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact