Mythos 发布后：能证明 80 年前定理的模型也找到了网络安全漏洞
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.
AI 导读
Mark Chen 表示，Mythos 问世后，能够证明 80 年前定理的模型也成功找到了网络安全漏洞。他推测相关研究人员可能正从相反方向思考数学证明与漏洞发现之间的联系。
查看原帖over the weekend i had another obvious thing to check, namely whether claude autonomously resolves the famed sum-product conjecture over the reals. answer: yes
正文
当前显示原文，中文全文译文尚未就绪。
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.
I imagine the researchers there are thinking the same thought in reverse.