OpenAI has released hundreds of papers claiming to make progress on the biggest open problems in mathematics – here are some with the most potential