When Mythos came out, my immediate thought was "if our models can prove 80-year-old theorems, surely they can find cyber vulnerabilities too." And they did.
Original titleWhen Mythos came out, my immediate thought was "if our models can prove 80-year-old theorems, surely they can find cyber vulnerabilities ...
AISummary
I imagine the researchers there are thinking the same thought in reverse.
Source: Mark Chen · x.com