Mark Chen· @markchen90 · X·· 2026-06-04AI 评分30
AI 导读
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.
I imagine the researchers there are thinking the same thought in reverse.
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在 X 查看被引用的帖子
来源：Mark Chen · x.com