OpenAI Researchers on the Future of Mathematical Reasoning – The a16z Show