T techcrunch.com OpenAI forms math advisory group as its AI resolves more than 100 open problems 5 points sophymarine 1 month ago 1 comments