最新文章

一个人 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移植

苹果取消可折叠MacBook/iPad混合设备，Omdia称产品计划终止

2026 年 9 月 3 日，市场研究机构 Omdia 发布研究报告，其中一句话给一条传闻多年的产品线画上了句号：「16.1 英寸至 18 英寸可折叠 MacBook 的产品计划已经取消。」9to5Mac 与 MacRumors 当天先后报道了这一消息。 被取消的设备，是过去几年苹果爆料圈最有想象力的产品之一：一款展开后约 18 至 20 英寸的可折叠设备，…

苹果折叠屏MacBookOLEDiPad

GPT-6 Astra 发布：评测全面登顶、两项数学纪录与一句安全坦白

OpenAI 在 9 月 3 日发布 GPT-6 Astra，官方博客的描述没有留余地：「迄今最智能、最对齐的模型」。总裁 Greg Brockman 在媒体发布会上说得更远，结尾一句是「欢迎来到 AGI 时代」，还补了一句个人表态：「我个人认为我们已经到了。」这是 OpenAI 第一次在正式场合把自家模型与 AGI 的关系说到这个程度。 GPT-6 Ast…

OpenAI网络安全AI模型大语言模型GPT-6