8/3 is not really correct.
The deadline for players to opt out of the 2020 season will fall no earlier than Tuesday, Aug. 4, multiple sources tell Mike Florio of PFT. The deadline could also fall later, depending on how fast the NFL and the NFLPA complete their paperwork. The NFL and the NFLPA verbally agreed to the opt out provision, but they have yet to fully execute the side agreement. Per their deal, the deadline will fall seven days after everything is formally signed.
As far as I have seen, the deal has not been signed yet.