La macchina capace di inventare domande matematiche mai viste prima