logo

vladimir voevodsky

  • Roberts-HERO

    In Mathematics, Mistakes Aren’t What They Used To Be

    Computers can’t invent, but they’re changing the field anyway.