Anubis是一款开源软件，采用工作量证明机制防止AI爬虫抓取网站内容。用户需完成计算任务才能访问网站，从而增加爬虫成本，保护网站资源。尽管对正常用户影响较小，但其能源消耗和效果的持久性引发争议。Anubis已被多个知名项目采用，以应对AI爬虫的挑战。

工作量证明系统（PoW）被用于防止爬虫和DDoS攻击，但其有效性受到质疑。访客的计算资源被利用，网站运营商未必能获益。Coinhive尝试通过访客挖矿获利，但因黑客利用而失败。PoW可能导致用户体验下降，尤其是低端设备用户。未来需要更有效的解决方案来平衡网站安全与用户体验。

本文提出了一种名为“梯度优化证明”（PoGO）的区块链共识设计，旨在解决矿工提供可验证的大规模机器学习模型训练证据的问题。通过引入量化梯度，优化了存储和计算需求，降低了验证成本，同时保持了模型损失的实际进展。

The proof is trivial with a little help of a necessary condition of complexity theories. All LLM runs under the complexity of $O(n)$, where $n$ is the length of the output. Suppose LLM is AGI,...

The proof is trivial with a little help of a necessary condition of complexity theories. All LLM runs under the complexity of $O(n)$, where $n$ is the length of the output. Suppose LLM is AGI,...

Since the release of my preprint with Tim, Ben, and Freddie proving the Polynomial Freiman-Ruzsa (PFR) conjecture over , I (together with Yael Dillies and Bhavik Mehta) have started a...

We offer a detailed proof of the Riemann mapping theorem, which states that every proper simply connected region is conformally equivalent to the open unit disc.