Hacker News 中文摘要

深度求索（DeepSeek）v4.1 flash 的网页聊天版在语言跟随方面表现很差：用英语提问，思考链和回答可能变成中文，也可能保持英语；同一问题点重试，两种结果各占一半。有时用英语问本地主题，若资料多为其他语言，回答还会跟着资料语言走，比如前几天问一个德国本地问题，英文提问却得到德语回复。

交给克劳德（Claude）的指令很短，只说一件事：把页面上写着“Add to Cart”（加入购物车）的按钮改成蓝色。除这一处外，不要让克劳德再改动任何其他东西。其他按钮、标题、正文和整体布局都不能被触碰，全部按当前的样子保留下来。

量子计算是利用量子力学处理信息的新兴技术，或可模拟复杂材料与分子。量子处理器用量子比特，实验准备常耗数月及数百至数千次测量，人工智能有望协助。麻省理工学院（MIT）工程量子系统组（EQuS）研究生比阿特丽斯·扬克列维奇（Beatriz Yankelevich）使用结合Codex的GPT-5.6 Sol探索简化工作流。该组研究超导量子比特，于稀释制冷机内冷至近绝对零度，以微波控制制成芯片。

图形处理器词法分析器（gpu-lexer）把源码拆成词、空格、换行和符号，再用微小 WebGPU 模型结合局部与全文上下文标记每部分。它不限语言，不从语法规则而从周围代码猜测类型，即使训练未见过该语言。相邻标签成为返回的语法跨度。此实验性工具非等价高亮器，在训练外文件上当前模型 11.98% 的令牌标签与语法高亮库（Shiki）不同。

加勒特·兰利（Garrett Langley）是福洛克安全（Flock Safety）创始人，把监控比作浮士德交易：欲使犯罪绝迹须牺牲隐私。上月 TED 演讲中他说人人有权安全，不论肤色立场收入。39岁的他从义警视角回忆：2017年亚特兰大社区频遭窃，他求警局破案。警方称抓人靠车牌，但需路人报疑车或蹲守，无目击证据与识别软件，车贼近乎隐形。

Science.org 网页正在执行安全验证。网站使用安全服务保护页面免受恶意机器人访问，在确认访问者不是机器人之前，只显示验证提示，正文暂不加载。这篇报道涉及人工智能数学突破引发的争议，但开头内容也被安全验证挡住，需要先通过检查才能阅读。

本案涉及蓝鸟项目（Project Bluebird），一个此前名为推特新站（twitter.new）的社交媒体服务，在裁决后立刻改名为推文应用（tweet.app）。该服务旨在重新构想马斯克（Musk）将推特（Twitter）变为X（X）时毁掉的推特服务。蓝鸟项目声称X公司（X Corp.）已放弃推特（TWITTER）、推文（TWEET）及小鸟标志（Bird Logo）商标。2025年，蓝鸟项目提交了推特和推文的ITU申请。法院援引证据指出，X并未放弃推特商标。

追随世纪中叶弗朗西斯（Francis）、阿佩里（Apéry）、希尔伯特-科恩-沃森（Hilbert–Cohn-Vossen）风格的手绘排线曲面，可用鼠标拖动自由旋转模型，按住 Shift 拖动能令其翻滚，滚动滚轮可拉近视角。在触摸屏上，单指滑动转动模型，双指捏合既能靠近也可扭转翻滚。

提供的抓取内容中没有 GrapheneOS 帖子正文，只包含 Mastodon 页面导航、服务器简介与菜单信息。真正需要转述的那条动态并未出现在原文开头，因此无法从中提取连贯语句进行中文预览。请补充该帖的有效正文，再执行缩写。

开放人工智能（OpenAI）使用了一个未发布的模型，对纳维-斯托克斯存在与光滑性问题（Navier–Stokes existence and smoothness problem）给出了解答，该问题是自2000年5月24日起悬赏1,000,000美元的七个千禧年大奖难题（Millennium Prize Problems）之一。这一发现却被纽约大学（NYU）数学教授特里斯坦·巴克斯特（Tristan Buckmaster）的舞弊指控蒙上阴影，他曾与就职于安索匹克（Anthropic）的杰出数学家莱文特·阿尔珀格（Levent Alpöge）合作研究相关问题。