AI challenges math by solving the unsolvable · Briflio