EinsteinArena Advances Math with AI Agent Collaboration | 16 × AI