The English edition is being prepared.

AI challenges maths by solving the unsolvable