OpenAI’s GPT-5.4 Pro has solved an open mathematical problem that human researchers could not crack since 2019, according to independent verification by Epoch AI. Contributed by mathematicians Will ...