Nauczyciele, czy wcześniej były jakieś projekty podobne do arena, które używały AI do handlu na rynkach prognoz takich jak Polymarket i pokazywały to?