Mathematician solves previously unsolvable math problems with GPT-5.6

OpenAI's GPT-5.6 helps mathematician Bartosz tackle math problems that were previously unsolvable. The demonstration video highlights the model's advanced reasoning in a specialized domain.