https://123dok.net/document/qo51l06j-solving-mathematical-puzzles-deep-reasoning-challenge-position-paper.html