Arena CEO @ml_angelopoulos reveals the longstanding statistics conjecture his Stanford professor wife had been working on that OpenAI's Sol solved one-shot: "I do a lot of advanced math when I do my chatbot tasks. I have a background in statistics, and my wife is also a statistician and a Stanford professor. She and I like to prove theorems together." "All the theorems that are coming out, they're all using OpenAI models. And that's for a reason." "There was one problem my wife and I had…