Profesores, ¿ha habido algún proyecto similar a arena, que utilice AI para hacer trading en mercados de predicción como Polymarket y luego lo muestre?