解法: ミリン予想を経由したド・ブランジュによるビーバーバッハ予想の証明(1984年)
Louis de Branges は以前にも誤りであることが判明した他の結果を発表していたため、68年来の問題を解決したという1984年の彼の主張は、直ちに受け入れられるのではなく、数学界から本当の懐疑をもって迎えられた。
ド・ブランジュが訪問していたレニングラードのステクロフ研究所のチームが、彼の長い原稿を一行ずつ丹念に検討して議論が正しいことを確認し、証明を出版へと導く助けをした——その後、Carl FitzGeraldやChristian Pommerenkeのような数学者たちが、同じアイデアを通るより短く整理された道筋を見出した。
ド・ブランジュは1984年に原稿を配布した。以前にも無効であることが判明した他の数学的な進展を発表していたため、数学界は直ちにその主張を受け入れなかった。ド・ブランジュがサバティカルで滞在していたサンクトペテルブルク(当時レニングラード)のステクロフ数学研究所の数学者チームが、証明を鑑識的に検証し、いくつかのギャップを埋め、その正しさを確認した。結果は1985年に16ページの論文としてActa Mathematicaに掲載された。
その直後、Carl FitzGeraldとChristian Pommerenkeは独立に重要な単純化を見出し、「The de Branges theorem on univalent functions」(Trans. Amer. Math. Soc., 1985年)を発表した。これはド・ブランジュの元の議論から余計な関数解析的な機構を取り除き、レーヴナー鎖からアスキー・ガスパーへの道筋を、より洗練された純粋に関数論的な形で提示するもので——本質的にステップ3–7で概説した証明のバージョンである。
この定理のその後には、さらに驚くべき単純化がある:Lenard Weinsteinは1990年頃に4ページの初等的な微積分による証明を与え、Doron ZeilbergerとShalosh B. Ekhad(Zeilbergerのコンピュータ)は1993年に短いコンピュータ支援検証を作成した。これらは、ド・ブランジュが正しい単調な量を特定したことが、問題をいかに完全に解決したかを裏付けている。