Учителя, были ли ранее какие-либо проекты, похожие на arena, которые использовали AI для торговли на предсказательных рынках, таких как Polymarket, и затем демонстрировали результаты?