25岁广州女孩用AI验成了！两大菲尔兹奖得主心血，无误

人类证出来的最难素数定理，AI刚从头验了一遍。

但真正硬核的，是被验证的数学本身。

打开Axiom团队公开的验证论文，整个证明分14个章节共132页，从最基础的算术函数定义一路搭到最终组装。

目前，仓库已在GitHub上开源，分成PrimeGapsTheory和PrimeGapsCert两部分。任何人都可以本地跑lake env comparator自己验证。

【开源免费】Browser-use 是一个用户AI代理直接可以控制浏览器的工具。它能够让AI 自动执行浏览器中的各种任务，如比较价格、添加购物车、回复各种社交媒体等。

项目地址：https://github.com/browser-use/browser-use

【开源免费】AutoGPT是一个允许用户创建和运行智能体的（AI Agents）项目。用户创建的智能体能够自动执行各种任务，从而让AI有步骤的去解决实际问题。

项目地址：https://github.com/Significant-Gravitas/AutoGPT

项目地址：https://github.com/geekan/MetaGPT/blob/main/docs/README_CN.md