This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs).
This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs). Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we'r