Meet a mathematician solving previously unsolvable math problems with GPT-5.6

OpenAI's video features mathematician Bartosz, who describes using GPT-5.6 to solve math problems previously considered unsolvable. The demonstration highlights the model's advanced reasoning in mathematics.