Mathematicians solve E8 structure