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

The official OpenAI video features mathematician Bartosz, who uses GPT-5.6 to achieve breakthroughs on problems previously deemed unsolvable. The video provides a detailed look at the model's reasoning process.