According to @OpenAI, an internal frontier model produced new math results, released with IAS advisory input and posted at github.com/openai/math.