OpenAI claims to have solved maths problem that stumped humans for decades โ€” NewsToolBar