On Hirschowitz's conjecture on the formal prinicple

A compact complex submanifold of a complex manifold satisfies the formal principle if its formal neighborhood determines its germ. Hirschowitz's conjecture predicts that the zero-section of a globally generated vector bundle on a compact complex manifold satisfies the formal principle. We discuss a new approach to the conjecture, which verifies the prediction on Fano manifolds.