Incredible.
Snippet from Lisi's presentation
"All fields of the standard model and gravity are unified as an E8 principal bundle connection. A non-compact real form of the E8 Lie algebra has G2 and F4 subalgebras which break down to strong su(3), electroweak su(2) x u(1), gravitational so(3,1), the frame-Higgs, and three generations of fermions related by triality. The interactions and dynamics of these 1-form and Grassmann valued parts of an E8 superconnection are described by the curvature and action over a four dimensional base manifold."
and the Lie8 itself is impressive as well
Lie (pronounced Lee) groups were invented by 19th-century Norwegian mathematician Sophus Lie in his study of symmetrical objects, especially spheres, and differential calculus.
The E8 group, which dates to 1887, is the most complicated Lie group, with 248 dimensions, and was long considered impossible to solve.
"To say what precisely it is is something even many mathematicians can't understand," said Jeffrey Adams, the project's leader and a math professor at the University of Maryland.
The problem's proof, announced Monday at the Massachusetts Institute of Technology, took the researchers four years to find. It involves about 60 times as much data as the Human Genome Project.
When stored in highly compressed form on a computer hard drive, the solution takes up 60 gigabytes
.....
The solution was presented by MIT's David Vogan in a talk entitled, "The Character Table for E8, or How We Wrote Down a 453,060 x 453,060 Matrix and Found Happiness."
How it all ties together:
http://uk.youtube.com/watch?v=-xHw9zcCvRQ
