“Brian Armstrong believes that AI agents from providers like Gemini, Grok, and OpenAI could be used to reliably resolve prediction market contracts by using a majority consensus from their responses.”