OpenAI announces 722 mathematical discoveries in one go New Scientist