AI is claimed to have solved the 4D Kakeya problem · Digg