Investigadores españoles han encontrado una variedad simpléctica 8-dimensional, no formal y simplemente conexa, respondiendo así afirmativamente a la pregunta propuesta por Babenko y Taimanov en el año 2000. Dicho descubrimiento ha sido publicado en la revista Annals of Mathematics (
annals.princeton.edu/annals/2008/167-3/p08.xhtml)