Terence Tao says:
"we don't need these math problems solved for their own sake. we want deeper understanding and insights"
There are a dozen problems in this OpenAI release I care about, but none have been explained in a way that excites me yet
It's not our priority right now