原标题：《BB(10) > Graham's Number》 评分: 21 | 作者: surprisetalk 💭 连 README 都读不懂，AI 证明究竟证明给谁看？ 🎯 讨论背景 该帖围绕 GitHub 上一份 AI-assisted proof（由 AI 协助形成或验证的证明）展开：它构造出一台会停机的 10-state Turing machine（仅有 10 个内部状态的抽象计算模型），其运行步数超过 Graham's Number。Busy Beaver 函数 BB(n) 记录 n-state Turing machine 中所有会停机机器的最长运行时间；证明一台候选机器会停机并给出超长运行下界，就足以证明 BB(n) 大于该下界。此问题与 halting problem（判定任意程序是否停机的不可能性）直接相连，因此 BB 的精确值在足够大规模会遭遇形式证明系统的独立性限制。争议不仅在于结果的理论价值，也在于 AI 生成式 README 的可读性、证明能否被人工审计，以及 GitHub rate limit 对独立核验的阻碍。 📌 讨论焦点 结果的具体含义：10
原标题：《AI Models Can Provably Hide Arbitrary Capabilities》 评分: 259 | 作者: sbulaev 💭 测不出的后门，靠一份安全报告就没了吗？ 🎯 讨论背景 这篇研究讨论一种 adversarial 构造：把经加密的 neural network 或计算能力嵌入宿主 LLM 的 model weights，模型收到秘密 trigger 时才解密并执行该能力。其核心含义不是证明现有模型都有后门，而是说明仅凭日常行为测试或 benchmark，无法可靠排除某些刻意隐藏的能力。风险在于 LLM 常被包装成可调用搜索、代码执行、文件与企业系统的 agent；一旦外围程序给予过宽权限，隐藏输出才可能转化为实际数据外传或操作。讨论也关联模型供应链审计：公开权重、训练数据、可复现训练和中间 checkpoints 都能提高可验证性，但无法天然保证不存在加密后门或训练数据投毒。 📌 讨论焦点 标题措辞与研究范围 多位评论者认为，论文讨论的是将行为以加密形式嵌入 model weights，而非 AI agent 具有主观意图地“隐瞒能力”
从口袋走进客厅 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
原标题：《Solar Panels That Plug into Your Wall Are About to Be Everywhere》 评分: 236 | 作者: speckx 💭 面板都白菜价了，为什么审批比太阳更贵？ 🎯 讨论背景 报道讨论的是可由租户或住户自行安装的插座式太阳能，也常称 Balkonkraftwerk（德国流行的低功率阳台光伏套件）：面板经 micro-inverter（把太阳能 DC 转为同步 AC 的设备）向家庭线路注入少量电力。它之所以在欧洲尤其德国普及，在于设备可低至数百欧元、通常限制在 800W，并通过 anti-islanding（停电自动停止输出的防孤岛保护）避免反送电危害外线维修人员。评论的核心背景是传统屋顶光伏虽组件降价，却在美国常被许可、UL/NEC 认证、并网审批和安装流程抬高总价，而插座式方案试图绕开其中部分门槛。争论集中于这种便利是否会让用户把多个设备接在同一回路，导致断路器无法察觉局部导线过载，以及分布式 inverter 和电池大规模接入后怎样维持电网稳定。 📌 讨论焦点 美国许可与安装流程推高屋顶光伏价格 评论者普遍认为
原标题：《A Visual Intro to Complex Numbers》 评分: 29 | 作者: surprisetalk 💭 把二维旋转叫虚数，初学者怎会不迷糊？ 🎯 讨论背景 复数从求解如 x ²=-1 的方程发展而来，可写作 a +bi，并可映射到复平面上的点；因此它们尤其适合描述二维旋转、振荡和相位。电路与电磁学常以 complex representation（复数表示）处理交流信号的幅度和相位，最后可提取对应的可测实数物理量。Cardano 的 casus irreducibilis 是三次方程求实根时仍须途经复数中间量的历史现象，常被用于说明复数不只是人为补丁。讨论围绕一篇可视化入门文章展开，既涉及如何降低初学者的语言障碍，也质疑该文章是否具有可靠的人工写作与教学质量。 📌 讨论焦点 “complex／imaginary”命名妨碍直觉 多位评论认为，“complex”和“imaginary”会让初学者先入为主地觉得它们要么过于困难、要么并不真实，从而遮蔽其实际用途。有人将复数直观地理解为带有两个分量的二维量，认为这比把它说成神秘的“虚数”更容易接受。还有观点
中国车企在欧洲迈入了新阶段。 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
原标题：《A Modern Web App in C》 评分: 627 | 作者: prophittcorey 💭 每次请求都 fork，现代性到底藏在哪？ 🎯 讨论背景 原文介绍作者为游戏营销网站采用 BCHS stack（OpenBSD 操作系统、C 语言、OpenBSD httpd Web server、SQLite 嵌入式数据库）开发后端，并用 CGI 将每个 HTTP 请求交给新启动的 C 可执行文件处理。该选择刻意避开常见的 nginx/Apache 加应用服务器、语言运行时、ORM 和前端框架组合，主张以单二进制、SQLite 文件及少量库获得易部署、易理解的系统。CGI 曾在 1990 年代广泛用于动态网页，后因每请求创建进程的性能问题而被 FastCGI、mod_perl、PHP-FPM 及长驻应用服务器替代；评论争论如今硬件与内核优化是否使它重新适用于小型服务。讨论还以 OpenBSD 的 pledge/unveil 隔离、SQLite 的 WAL 并发模型，以及 Rust/Go 的内存安全和依赖生态为参照，检验这种“回到 C”的现代性边界。 📌 讨论焦点 极
原标题：《Character.ai Files for Bankruptcy》 评分: 80 | 作者: yanis_t 💭 两千万 MAU，怎么连聊天成本都养不起？ 🎯 讨论背景 Character.ai 是面向消费者的 AI 角色聊天与陪伴服务，用户可与预设或自建人格进行长时间对话；帖文前提称其已申请破产。其联合创始人 Noam Shazeer 和 Daniel De Freitas 与 Transformer 的 Attention 研究及 Google 的大语言模型研发有关，评论所引报道称 Google 在 2024 年以逾 20 亿美元吸纳了公司大量核心人才。争论的核心是：平台虽拥有逾 2,000 万 MAU，但 LLM（large language model，大语言模型）持续生成回复的推理成本，可能使免费或低付费用户规模难以变成利润。破产程序还会把用户对话等数据视作可处置资产，这与 23andMe（提供消费级 DNA 检测服务的公司）引发的遗传数据出售担忧相呼应。 📌 讨论焦点 MAU 无法替代可持续单元经济 评论者质疑高用户数为何未能阻止破产：Character.
把「塑造手机」的权利第一次交到用户手上 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
原标题：《Turn a WiFi 7 Router into a 320Msps Software Defined Radio Receiver》 评分: 370 | 作者: djfergus 💭 能出频谱就算懂射频，校准和动态范围不重要？ 🎯 讨论背景 该项目针对 Gemtek W1700K（一款 Wi‑Fi 7 路由器），通过逆向其 MediaTek MT7996（Wi‑Fi 7 射频芯片）的测试与固件路径，导出最高 320Msps、14-bit 的原始 IQ 采样；Airoha AN7581（一款带网络处理能力的路由器 SoC）再通过 10GbE 把数据送往 Linux 主机显示频谱和瀑布图。Wi‑Fi 芯片本质上已是高度集成、但通常被固件锁定用途的 SDR，因此关键在于把为制造校准和合规测试而设的射频能力变成连续、可访问的数据流。此前 RTL-SDR（由电视接收芯片演化的廉价 USB 接收机）降低了低频段实验门槛，而 ESP-SDR（利用 ESP32 Wi‑Fi 微控制器导出射频采样的项目）和本项目试图把这种开放性推进到 2.4GHz、5GHz 及更高频段。讨论也围绕 Cl
