I think it's important to point out that OpenBSD is not more secure than others, it's just that it's not widely adopted so no one really does audit it.
Isn't this article about an AI that just audited it?
> not more secure than others
Didnt the audit only found one bug, much less than other kernels from the same audit?