https://martinthoma.medium.com/gpt-4-could-solve-a-60-year-old-challenge-in-computer-science-82d4a9c8fe85