AI has won gold at the world’s hardest maths event. For the first time, AI programs that use entirely natural language like ChatGPT, have used general reasoning to solve incredibly difficult tests at ...