2026-07-29 12:44 UTC
@ZachWeinersmith@mastodon.social Except when the AI exploits bugs in the proof software as we have seen recently...
Replies (1)
-
@drgroftehauge@sigmoid.social 2026-07-29 12:46
@ZachWeinersmith@mastodon.social Here we go https://infosec.exchange/@0xabad1dea/117002106099986943