World in Brief: OpenAI claims to solve a maths mystery; Britain imposes sanctions on Israeli settlers - The Economist

OpenAI claims to have solved a famous unsolved math problem. This would be significant if true, but the snippet offers no details on the claim's validity or implications.