Comment by petters

The problems were first converted into a formal language. So they were partly solved by the AI