OpenAI solves the unit distance math problem as NYU researcher Ravid Shwartz-Ziv states mathematics has long been viewed as a solved domain for AI due to verifiable outputs

I think it's really great that OpenAI solved the unit distance math problem, but, as @ChrSzegedy and @KempeLab said in our podcast, we've known for a while that math is a solved problem (at least some aspects of it). Math is easy because it has verifiable outputs and a very deterministic, clean end-to-end judgment process. But what about social science? The big question right now is whether we see something similar there. My guess is not in the near future, but who knows…