It was patched before the public disclosure, go read the security bulletin [1]. CVE-2023-24033, CVE-2023-26496, CVE-2023-26497, and CVE-2023-26498 are the big modem vulnerabilities.

[1] https://source.android.com/docs/security/bulletin/pixel/2023...