【无需Mac与越狱：7美元ESP32让大模型操控iPhone】

传统iOS自动化往往依赖Mac和繁琐的开发者证书，开源项目 esp32-iphone-agent 提供了一个巧妙解法：仅用一块约40元的ESP32-S3模拟USB键鼠，配合AirPlay无线投屏捕获画面，就能让任意兼容OpenAI接口的视觉大模型直接操作真机。

全程无需越狱，手机端不装任何软件，在Linux环境下也能运行。系统采用规划与执行双角色闭环，点击前会自动校准光标位置，操作后还会比对画面变动实现重试容错，画图、设闹钟等任务均可顺畅完成。

【数学难题被批量破解，DeepMind这次走通了同行评审】| 简文

Google DeepMind在《Science》发表新成果，其AlphaProof Nexus系统自主解决了数十道公开数学难题，不仅攻破9道埃尔德什猜想（其中两道已悬置56年），还一举证明了OEIS数据库里的44个猜想。

该系统以Gemini 3.1 Pro为底座，借助Lean形式化语言反复推演与纠错。在数学界对AI推演灌水充满疑虑的当下，他们没有将草稿直接丢在开源社区，而是老老实实经受住了严格的学术同行评审。