OpenAI's SearchGPT, AlphaProof Dominates Math, LLaMA 3.1, GPT4o Voice, Mistral Large 2 | Matthew Berman | Podwise