The Wikipedia page of the Goldbach's weak conjecture states that "In 2013, Harald Helfgott released a proof of Goldbach's weak conjecture. As of 2018, the proof is widely accepted in the mathematics community, but it has not yet been published in a peer-reviewed journal. The proof was accepted for publication in the Annals of Mathematics Studies series in 2015, and has been undergoing further review and revision since; fully-refereed chapters in close to final form are being made public in the process."
So my question is if some researcher or mathematician wants to use the proof of the Goldbach's weak conjecture by Harald Helfgott as a theorem and apply it as a known result in their proof then can he/she do that? Because the web results say that the proof is widely accepted by the mathematical community as of 2023 although it's still not published in a peer-reviewed journal.