每日HackerNews RSS
抱歉。
该架构引入了一种混合模型，结合了并行**因果编码器**与**循环解码器**，实现了随序列长度线性扩展的深度。 通过利用循环路径，模型的有效深度随着序列的推进而增加——在处理 $t$ 个标记后会经过 $tL_D$ 个解码器块——同时保持每个标记的计算成本恒定。该模型通过对已知标记进行编码器任务批处理，并对解码器执行独立的迭代更新，从而优先保证硬件效率。 关键技术特征包括： * **统一状态转换：** 系统维护一个由循环输出 ($s_t$) 和局部滑动窗口注意力 (SWA) KV 缓存 ($C_t^D$) 组成的持久状态。 * **内存效率：** 全局编码器内存为交叉注意力提供受限的前缀，而解码器注意力在局部窗口内运行，确保状态在服务边界内保持一致。 * **资源共享：** 该模型采用 48 层编码器和 48 层解码器，通过权重共享来平衡深度推理能力与高效的浮点运算 (FLOP) 利用率。 这种设计使模型能够高性能地处理长序列，从而实现连接提示词处理与标记生成之间的连续状态转换。
抱歉。
正在检查您的浏览器……需要启用 JavaScript
这个 Hacker News 讨论帖探讨了一篇关于数学家担忧人工智能对数学领域影响的博文。讨论揭示了观点上的严重分歧：
* **对学术界的批评者：** 许多评论者认为，数学界是在通过“知识垄断”进行把关。他们主张，教授们只是在保护自己的现状免受冲击，并暗示该群体的精英主义及其对私人资金的依赖，与其目前针对人工智能公司的道德立场相矛盾。
* **该领域的捍卫者：** 另一些人认为，核心问题不在于人工智能的竞争，而在于剥削。他们坚持认为，人工智能公司在未经许可、未给予酬劳或署名的情况下，“窃取”了数学家们多年来无偿分享的研究成果来训练模型，从而损害了推动科学发现的内在动力（自主权和精通感）。
* **怀疑论者：** 一些参与者将整个争议视为一种不得要领的“激愤之辞”。他们认为，如果人类数学家继续专注于概念洞察和教育，人工智能的成果将不会削弱其工作的价值。
归根结底，这场辩论反映了保护人类主导的科学文化，与人工智能发展所带来的破坏性（且往往是掠夺性）本质之间更为广泛的冲突。
该网站正在使用一种名为“Anubis”的安全机制，旨在防止激进的 AI 网络爬虫。Anubis 采用了类似于 Hashcash 的工作量证明（PoW）系统，强制自动化爬虫执行计算任务，从而使大规模数据抓取的成本变得极其高昂。虽然这保护了服务器免受负载过大的影响，但偶尔也会给合法用户带来临时的访问问题。
要访问该网站，您必须启用 JavaScript，因为目前的保护措施依赖于基于浏览器的挑战。开发人员承认这只是一个过渡方案，目前正在研究更复杂的方案（例如识别无头浏览器指纹），以便最终允许合法用户绕过这些干扰。如果您遇到访问问题，请确保针对该域名禁用了注重安全的浏览器扩展程序（如 JShelter），因为它们可能会干扰所需的脚本运行。目前正在开发无需 JavaScript 的解决方案。
这篇 Hacker News 讨论聚焦于一个讽刺的现象：大型人工智能实验室（如 Anthropic 和 OpenAI）正呼吁全行业放缓发展并加强监管。批评者认为这是一种利己的策略——即“监管俘获”，旨在通过扼杀开源开发者和小型初创公司，为既有巨头筑起竞争壁垒。
讨论的要点包括：
* **战略动机：** 评论者认为，这些公司正利用“人工智能安全”和“生存风险”的叙事来巩固其市场地位，特别是在小型、开放权重的模型变得日益具有竞争力和成本效益的情况下。
* **中国因素：** 虽然有人认为暂停研发是防止中国在人工智能领域获得优势的战略必要，但另一些人则认为中国无论如何都会继续研究，且美国政府越来越可能以“国家安全”为借口，将私人人工智能资产的控制权集中化。
* **信任与怀疑：** 人们对“独立”评估机构（如 METR）深表怀疑，认为其成员多为前雇员，与他们本应监管的实验室存在深厚的联系和股权关系。
* **控制的徒劳：** 许多参与者认为，随着模型效率的提升，覆水难收的局面已不可避免；试图通过集中控制来监管这项技术，既不可能实现，也违背了公众利益。
水是一种极其反常的物质。在极端的行星环境下，它会表现出远超我们所熟知形态的奇异状态。由物理学家亚历克西斯·福雷斯蒂耶（Alexis Forestier）领导的科学家团队近期通过将水置于地球大气压 230 万倍、温度超过 2600 开尔文的环境下，证实了一种名为“超离子冰”的全新奇异相态的存在。
在这种超离子状态下，水呈现出固液混合的特性：氧原子形成刚性的六方密排（hcp）晶格，而氢核则保持可移动状态，并在结构中自由扩散。此前发现的超离子冰多呈面心立方（fcc）排列，但研究团队观察到，当压力超过 200 吉帕斯卡时，冰会发生向六方密排相的明确转变。
这一发现对行星科学至关重要，因为据信在天王星和海王星等冰巨星的深处存在着这种超离子冰。由于这些奇异结构会影响电荷和物质在行星内部的运动方式，它们很可能是揭开这些行星奇怪且偏斜的磁场成因的关键。目前需要进一步的研究来确定这种新发现冰相的具体电学和力学性质。
科学家们在极端条件下成功创造出了一种新型冰，其利用了高达 230 万个大气压及 2630 开尔文（2357°C）的高温。
围绕这一发现，《黑客新闻》（Hacker News）上的讨论迅速转向了库尔特·冯内古特的小说《猫的摇篮》中一种虚构的危险物质——“冰九”（Ice-nine）。该物质能在室温下将水冻结，从而引发灾难性的连锁反应。评论者们澄清，这一科学突破并不会带来此类威胁，因为它需要极端的实验室条件才能存在。
讨论还进一步探讨了“多晶型”现象，即同一种物质可以以不同的晶体结构存在。讨论援引了药物利托那韦（Ritonavir）的真实案例：当时该化合物出现了一种新的、更稳定的晶体形态，意外污染了生产线，导致原本有效的版本难以继续生产。这凸显了化学和药理学在管理物质状态方面所面临的现实挑战，尽管这些挑战并不会引发末日。
本仓库提供了二十个独立的示例，旨在演示如何利用现代 LaTeX 工具实现令人信服的“旧式科学论文”美学。这些示例分为三类：纯 LaTeX 文档、使用 *fiziko* 库的独立 MetaPost 图形，以及通过 LuaLaTeX 集成 *fiziko* 图表的 LaTeX 页面。 这些示例采用了专业的排版技术——例如 OpenType 旧体数字、历史连字、非对称页边距和印刷排线——以复刻历史出版物的外观。科学图表（包括光线追踪、机械装置和数学表格）均使用确定性模式生成，在保持雕版印刷风格的同时，确保了可复现性。 每个文件都是独立的，设计为使用 LuaLaTeX 单独编译，其中 *fiziko* 作为矢量图形的外部依赖项。本项目强调易用性，保留了可搜索的文本标签并生成高质量的矢量输出。虽然其美学灵感源于历史文献，但该项目优先考虑现代功能，支持使用不同的特定时期字体进行灵活调整。所有源代码均在 CC BY-SA 4.0 许可协议下提供，而 *fiziko* 库仍作为独立的 GPL-3.0 依赖项。
近期的一篇 Hacker News 帖子讨论了“复刻经典科学文献（Vintage Scientific Papers with LaTeX）”项目，旨在通过高质量的 LaTeX 重新排版历史科学文献。用户们表达了对数字化开创性著作的强烈需求，例如牛顿的《自然哲学的数学原理》或居里夫人的研究手稿，这些文献目前大多仅有低质量的扫描件。
讨论重点强调了人工智能（包括 GPT-4o 和 DeepSeek 等模型）在辅助转录过程中的巨大潜力。用户演示了现代大模型如何生成精准的 XeLaTeX 代码，并利用 TikZ 绘制图表。尽管部分参与者指出了“未经核对的 OCR”可能引入细微偏差，但其他人也展示了 AI 成功还原文本与复杂插图的惊人案例。
该项目激发了人们利用专业工具——如用于线条渲染的 *fiziko* 库——来复刻 19 世纪及 20 世纪初科学出版物独特美学的广泛兴趣。总的来说，社区认为这是一个极具前景的方向：通过将模糊的档案图像转化为清晰、可编辑且无限缩放的数字格式，从而保护人类的智力史。
苹果公司发布了第三代 Apple 基础模型（AFM），这是一套包含五种定制模型的组合，旨在推动 Apple Intelligence 的下一阶段演进。该架构分为两类：用于即时、私密任务的端侧模型，以及通过私有云计算（Private Cloud Compute）进行复杂推理的服务器端模型。 端侧模型系列包括 **AFM 3 Core** 和多模态的 **AFM 3 Core Advanced**。后者采用了一种新颖的稀疏激活架构，将模型存储在闪存中，并仅将必要的参数动态加载到内存（DRAM）中，使其能够突破传统硬件限制。 服务器端模型——**AFM 3 Cloud**、**AFM 3 Cloud (Image)** 和 **AFM 3 Cloud Pro**——负责处理更艰巨的任务，如高级图像生成和复杂的代理推理。这些模型在私有云计算平台上运行，确保用户数据绝不会被存储或共享。 在所有模型中，苹果报告称其在文本和图像理解的人类评估中性能显著提升。这些模型构建于负责任的 AI 原则之上，优先考虑用户隐私、Apple 芯片的高效利用以及更自然的交互体验（如更具表现力的语音和更精准的听写），标志着 Apple Intelligence 生态系统迈出了重要一步。
抱歉。
树演算 Tree Calculus
37 天前
本网站正在使用安全服务来保护自身免受网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
抱歉。
20世纪20年代，随着交通死亡事故激增，美国拒绝了物理限速，转而推行强制责任保险制度。这一旨在让司机承担责任的体系，历经数十年的立法忽视，已名存实亡。
如今，一起交通死亡事故的经济成本平均高达200万美元，但各州强制的最低保险额度却依然极低。例如，加利福尼亚州的最低保险额度已停滞50多年，目前仅能覆盖实际损失的一小部分。由于这些限额极少根据通货膨胀进行调整，且受到政治游说的影响，车祸的大部分经济负担——约占总成本的四分之三——最终落在了纳税人和受害者身上，而非肇事司机。
与此同时，美国超过30%的司机没有保险或保险不足，这往往导致行人和骑行者在受害后难以寻求赔偿。虽然欧盟强制要求数百万美元的最低赔付额并根据通胀自动调整，但美国各州依然优先考虑人为压低保费，而非确保受害者得到赔偿。尽管现代技术已能实现更精准的风险定价，但政策制定者仍不愿将保险额度与实际成本挂钩，这使得公众不得不持续为美国道路交通带来的高昂人身和财务代价买单。
暴雪娱乐已正式宣布重启《星际争霸》系列，计划于2030年发布。与该系列作为即时战略游戏巨头的传统不同，这部新作将开发为一款开放世界射击游戏。 此次公告由副总裁丹·海（Dan Hay）在暴雪嘉年华上发布，并展示了一部写实风格的电影预告片，重点呈现了地球联合理事会（UED）与异虫之间残酷的冲突。片段强调了战争严酷且毫不妥协的本质，将人类士兵描绘成这场冷酷斗争中可牺牲的棋子。虽然预告片高度聚焦于人类视角，并呈现出一种更黑暗、更具电影感的基调，但值得注意的是，神族仅在片中被轻描淡写地提及。 尽管这一沉寂已久的经典IP的回归引发了极大的轰动，但许多粉丝仍持怀疑态度。《星际争霸II》于2010年发布，部分玩家群体仍希望能回归该系列作为战略即时战略游戏的本源，而非涉足这一全新的射击游戏领域。