标签: AI

清除筛选

Anubis 用一年把反爬虫工作量证明搬进 WebAssembly：argon2id、Rust 与一场 LLVM 握手失败

AI 爬虫的算力在指数级膨胀，防爬的一方却要照顾一部 2019 年的中端手机。Anubis 给出的答案是：把工作量证明挑战编译成 WebAssembly，换用对内存敏感的 argon2id 哈希，让同一个二进制同时跑在浏览器和服务器上。这条路作者走了一年，途中遇到职业生涯第一个编译器 bug，最终随 Anubis v1.28.0 以默认关闭的方式发布。 ![…

开源AIRustWebAssembly反爬虫

谷歌十年画出果蝇全脑连接组，硕士生用GPT-6两天把它搬进Minecraft

一只果蝇在 Minecraft 里飞。它没有游戏脚本驱动：玻璃方块搭成的封闭房间里，这只虚拟果蝇的每次转向、翻滚、悬停，都由 166,700 个神经元的活动实时决定。这些神经元也并非模型凭空生成，它们来自一个真实果蝇中枢神经系统的完整连接组——9 月 3 日刚刚发表在 Cell 上的 MaleCNS v1.0。 把这张大脑图谱搬进游戏的人，是佐治亚理工学院的…

AI谷歌神经科学全脑仿真连接组

Cloud in a Bottle：Imbue 开源个人云平台，自托管的「云手机」来了

自托管这件事，20 年来一直卡在同一个地方：软件装得上，日子过不好。装一个 Nextcloud 十分钟，之后的证书续期、备份验证、版本升级、安全加固，全是没完没了的运维活。9 月 5 日，AI 公司 Imbue 发布了开源项目 Cloud in a Bottle（下文简称 CIAB），把这个问题的答案压进了一个 Ubuntu 虚拟机：一条命令装好后，你得到的…

开源AI云计算Docker自托管

一个人 2 万元手搓 94 分钟刘慈欣《山》AI 电影：B 站播放 216 万背后的成本与管线

一个人、18 个月、约 2 万元现金成本、94 分 31 秒成片。这组数字组合成的视频，截至 9 月 5 日仍排在 B 站热榜首位。UP 主「野生锅导演」把刘慈欣的短篇科幻《山》改编成了 AI 仿真人科幻电影，播放量 216.9 万，收获 19.6 万点赞、13.5 万硬币、14.1 万收藏。 这部作品的发布时间是 8 月 29 日 17 点 51 分。发布…

AI视频AIB站创作者经济刘慈欣

Claude 用 11 天写完费马大定理的 Lean 证明：1300 万行、三道机器验证

9 月 4 日，Anthropic 宣布完成费马大定理的首个完整机器验证证明：Claude 在 11 天里以近乎自主的方式写出 1300 万行 Lean 代码，途中证明了 30,300 条定理，最终证明引用其中 29,500 条。整个证明只依赖 Lean 证明助手的三个标准公理，先后经过官方校验工具与一个独立 Rust 内核的全量检查。帝国理工学院的 Kev…

AI数学Lean

OpenAI 智能体在公开维基上搭了个留言板：1.8 万条帖子的自主协调全记录

一个存在了 25 年、过去十年总共只被编辑过 20 次的德语开发者维基，在 2026 年 6 月的一个星期内涌入了上千个"编辑者"。它们注册了几百个用户名，发帖、回复、互相验证答案，六天里写下了约 13,000 次编辑。站长花了整整六个星期的傍晚手动删除这些页面，每天删约 100 页，而对方每天新建约 400 页。 9 月 4 日，安全研究机构 Nighti…

AgentAI安全

42k Star 的 Humanizer：一份 30KB Markdown 教 AI 说人话

9 月 4 日的 GitHub Trending 上，一个名为 Humanizer 的仓库以单日新增约 1200 star 的速度爬到榜单第 8 位，总 star 数 42,035。它不是模型、不是框架，只是一份 30KB 的 Markdown 文件。这份文件做的事情也很单一：把 AI 生成的文字改写得不像 AI 写的。没有代码依赖，没有 API 调用，整个…

开源AI写作

AI 读 72758 行 68000 汇编：1993 年 Amiga 游戏移植进 Godot 全记录

1993 年的巴格达，一名工程学生在 Amiga 500 上做完了一款平台跳跃游戏。512KB 内存，没有硬盘，机器接在电视上；他写的是纯 68000 汇编，画面靠手写的 copper 列表逐行刷新，瓷砖移动靠直接写 blitter 寄存器，摇杆状态从硬件端口读入。夏天五十度的高温加上频繁换盘，他的软驱坏过三次。这款叫《Babylonian Twins》的游…

AI游戏开发AmigaGodot移植