Benchmark Bets Big on Exa, Which Wants to Be Google for the AI Era