Which company has the best Math AI model end of June? | Polytreasury: 예측 시장 자동화