I think this is the lens Phil is referring to:
https://fstoppers.com/gear/venus-optics-debuts-their-first-full-frame-autofocus-lens-10mm-f28-zero-654283
SonyAddict had a couple articles on it stating the official announcement date was Dec 29, 2023, but I don't see it listed on their shop yet, nor can I find an actual press release. That being said, the specs look impressive. Autofocus, 130 degree FoV, and an MFD of .12m. Physical dimensions have it at 70.8mm long, but it's using a 77mm filter so probably not going to fit within an N85 or a DLM port. I'll be really curious to see what domes it ends up fitting behind for each housing manufacturer.
I've seen very good reviews of recent lenses from the "newer" lens manufacturers like Laowa, Viltrox, etc. Laowa in particular is known for their extensive lineup of macro lenses. Like Phil said, maybe we'll get lucky and they'll turn or more of them into an AF lens.