OpenAI's GPT-5.4 Pro has solved an open math problem unsolved since 2019, with Epoch AI independently verifying the first AI ...

Bartosz Naskrecki, a mathematician at Adam Mickiewicz University in Pozna, had designed the complex challenge as part of the ...