Below is an e-mail I received from Intel support regarding this issue. I hope it helps (the date of the e-mail is Dec 19 2012).
Thank you for contacting Intel Customer Support.
I understand you need information about OpenGL* support on the Intel® HD Graphics 4000.
The Intel® HD Graphics 4000 supports OpenGL* 4.0, you need the latest Intel(R) Graphics Driver to enable this feature.
If you are interested in additional information about the graphics controller see here: http://software.intel.com/en-us/articles/quick-reference-guide-to-intel-processor-graphics
Intel Customer Support