ARC-AGI 3 Prize and FrontierMath Tiers Released | 16 × AI