¿Cuáles son algunos de los proyectos innovadores actuales que se están construyendo en el espacio de los mercados de predicción, además de los agregadores y terminales de trading? Quiero profundizar en algunos de ellos para algo que estoy haciendo. Por favor, etiquétalos a continuación.