See https://openai.com/index/ten-advances-in-mathematics/ for the announcement this refers to.