Question: Who has one more Fields Medals, Vladimir Voevodsky or Aleksandr Lyapunov.?
Sentence (from "Vladimir Voevodsky"): He is also known for the proof of the Milnor conjecture and motivic Bloch-Kato conjectures and for the univalent foundations of mathematics and homotopy type theory.
Relevant evidence: No