What OpenGL application are you referring to specifically?
It's an application I have developed, I can send it to you if you want.
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