原标题：《Step 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouter》 评分: 128 | 作者: AnneWodell 💭 1M 上下文又怎样，228GB 都装不下谁用？ 🎯 讨论背景 StepFun（开发 Step 系列模型的 AI 公司）将 Step 5 Preview 上架到 OpenRouter（聚合多家模型 API 的调用平台），标题主打 1M context 和 MoE（Mixture of Experts，按输入选择部分专家参数参与计算的模型架构）。评论所称 600B-A27B 通常表示约 600B 总参数、每次推理约激活 27B 参数；这虽有利于降低计算量，却不等于模型权重可轻易放进个人设备内存。讨论以 Artificial Analysis（第三方模型评测与比较平台）的综合分数、价格和速度数据为参考，但也质疑通用 composite benchmark 无法衡量工具调用、sub-agent 编排等具体能力。此前 Step 3.5/3.7 曾以小型快速模型获得注意，而 Qwen、Dee
MAKE 溜背 GREAT AGAIN。 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
原标题：《OpenAI, the Partition Principle, and Mathematics》 评分: 122 | 作者: md224 💭 砸出七百篇难读证明，验证义务就自动外包给学界？ 🎯 讨论背景 争议源于 OpenAI 在 GitHub 发布一批 AI 生成的数学研究稿件：据评论所引信息，系统尝试约 4,000 个问题，形成 719 份手稿，覆盖 372 组问题，其中包括与 Partition Principle（组合数学中的分割原理）相关的结果。原文作者是该问题方向的知名研究者，曾承诺若问题被解决会赠送 Sam Altman 威士忌，但认为 OpenAI 的稿件结构混乱、难以吸收，因此拒绝把它当作有价值的学术贡献。部分结果附有 Lean（交互式定理证明器）的形式化代码，使“结论是否为真”与“人类是否理解证明”成为分离又相互牵连的问题。AGMAI（数学与人工智能咨询组织）此前虽讨论过已产生结果该如何发布，但明确反对 AI 公司以专有模型测试高级开放数学题；争议集中在 OpenAI 是否遵循了其关于归因、可读性、失败统计和社区协作的建议。 📌 讨论焦点 发布方式
数学家该怎么证明自己真的不需要 AI #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
李想口中的全球爆款。 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
原标题：《New gTLD Application for .lan》 评分: 124 | 作者: mzajc 💭 把局域网的 .lan 卖成公网域名，除了骗子谁受益？ 🎯 讨论背景 申请者正向 ICANN（协调全球 DNS 顶级域委派的组织）的新一轮 gTLD 计划申请 .lan，但 .lan 已被许多局域网设备和 DNS 配置当作内部命名后缀。OpenWrt（开源路由器操作系统）及其衍生设备常把 .lan 查询留在本地，用户也会用它访问 NAS、Plex 或自托管服务，因此公网委派可能产生 Name Collision（私有名称与全球 DNS 名称冲突）。IETF（互联网工程任务组）的 RFC 8375 推荐 home.arpa 作为家庭网络域名，ICANN 在 2024 年保留了 .internal；但这些替代品出现较晚或被认为不够简洁，而 .local 已专供 mDNS（多播 DNS）使用。争议延续了 .dev 等此前本地常用后缀被商业化后的教训，并牵涉 ICANN 的撞名风险审查与公众异议机制是否足以保护既有网络。 📌 讨论焦点 既有 .lan 部署的安全与可用性风险
原标题：《Man discovers his parents' coffee machine used 1TB of data in 10 days》 评分: 695 | 作者: ck2 💭 咖啡还没煮好，家庭画像先卖完了？ 🎯 讨论背景 事件源于一张 UniFi（Ubiquiti 的网络管理设备）仪表盘截图：一台 Keurig（美国胶囊咖啡机品牌）的联网咖啡机被显示在 10 天内使用了约 1TB 流量。后续说明称，这一数字若属实主要是局域网内的探测或广播流量，而不是家庭宽带向外上传的数据；同时也有人指出 UniFi 的流量统计可能存在严重误差，尚缺少抓包证据。讨论将其联系到 IoT（Internet of Things，联网物联网设备）和 surveillance capitalism（依赖收集个人行为数据获利的商业模式）：智能电视、家电、路由器可能从家庭网络位置收集可用于广告画像或安全攻击的信息。争议的核心因此不仅是咖啡机是否真的产生 1TB 流量，也包括厂商是否应拥有扫描家庭内网、默认收集遥测数据及将其商业化的权限。 📌 讨论焦点 1TB 流量的证据与含义存疑 讨论首先澄清
原标题：《AI-ready biological data: $1.8B global commitment》 评分: 123 | 作者: ray__ 💭 砸 18 亿美元后，基因数据也要绑定 Facebook 吗？ 🎯 讨论背景 该倡议承诺投入 18 亿美元，使生物医学数据更适合由 AI 训练和分析；评论者认为关键在于高通量 wet-lab 实验产生的、可跨实验室比较的真实测量数据，而非单纯增加模型算力。Biohub（由 Mark Zuckerberg 相关慈善资金发起的生物医学研究机构）与 NIH（美国国立卫生研究院）及 DoE（美国能源部）一同出现，因而引出了基因和健康数据是否会被私营平台身份体系关联的担忧。讨论也延续了 SETI@Home、Folding@home 与 BOINC（伯克利开发的志愿分布式计算平台）的传统：公众能否用闲置电脑或 AI 订阅资源参与科研。与此同时，商业 AI 服务的 ToS、账号监控机制，以及公共科研数据集被下线的现象，都限制了“开放共享数据与算力”的愿景。 📌 讨论焦点 数据质量而非算力才是瓶颈 评论认为，生物 AI 的核心短板从来不是 co
原标题：《ETH-68: Ethernet Audio Interface for Linux》 评分: 141 | 作者: chabad360 💭 默认公网 IP 狂发包，也叫专业音频？ 🎯 讨论背景 ETH-68 是一款以 STM32H7 微控制器为核心的原型网络音频接口，通过 UDP/Ethernet 把模拟音频接入 Linux 主机上的 JACK（专业低延迟音频服务器）或 PipeWire（Linux 音视频路由框架）。它针对现场扩声、录音和软件 DSP 场景：用轻便 Cat6 或光纤替代多芯模拟分线缆，将舞台端输入输出与远处的调音、监听或广播电脑连接。专业网络音频的难点不只是带宽，而是端到端采样时钟、网络抖动和操作系统调度；缓冲太小会产生 xrun，太大则会增加演奏者可感知的监听延迟。该设计以约 3.62 ms 往返延迟对标 Linux 下昂贵的 PCIe 音频卡和 Dante（专有网络音频系统），但尚未确定量产或开源模式。 📌 讨论焦点 舞台与 Linux 音频的网络化用途 ETH-68 被解释为一台将 6 路模拟输入和 8 路平衡 TRS 输出接入 Ethernet
苹果全家桶的风，还是吹到了客厅。 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
