W finale Benfica pokonała Red Bull Salzburg 6:0.
W tym okresie zaczął także trenować z pierwszym zespołem, co zakończyło się oficjalnym debiutem w grudniu 2021 roku w wygranym spotkaniu Allianz Cup przeciwko SC Covilha (3:0).
Benfica Oficjalny debiut w pierwszej drużynie zaliczył w 2021 roku, po czym stopniowo był włączany do kadry seniorskiej, grając w tym sezonie, w spotkaniach z Vitorią Guimaraes (3:0), Belenenses SAD (3:1) oraz Pacos de Ferreira (0:2).
12 grudnia 2023 roku rozegrał swój pierwszy pełny mecz w Lidze Mistrzów UEFA, występując przez 90 minut w wygranym 3:1 spotkaniu z Red Bull Salzburg. W tym meczu wyróżnił się w grze obronnej, tworząc duet stoperów z Nicolásem Otamendim.
14 kwietnia 2024 roku zdobył pierwszą bramkę dla pierwszego zespołu Benfiki w wygranym 3:0 meczu z Moreirense w Primeira Liga. Gol padł po rzucie rożnym wykonanym przez Davida Neresa, Araújo oddał strzał głową, po którym piłka odbiła się od słupka po interwencji Kewina Silvy, a następnie po serii rykoszetów dobił ją lewą nogą na 2:0.