No. 1,6173rd of 5 editions that day← Earlier Later →
Apple's watch starts listening, light slows to walking pace, and someone proposes AI that wants to be switched off
- Apple Watch Series 12: always-on mic features that nobody at the table can see
- A park where the speed of light is 5 km/h and you can toggle each effect off
- Raschka on GPT-6 Astra: looped transformers are not a reasoning-hiding conspiracy
- Alignment proposal: build AI that wants to die
- Half the multiplications of Horner's rule, with a Lean proof this time
1Apple Watch Series 12 Apple Watch Series 12 Apple Watch Series 12 애플 워치 시리즈 12 Apple Watch Series 12 Apple Watch Series 12 ¶
245 points291 commentsHN 49630566by Lealen
Series 12 ships September 18 at $399 with a new health sensing system: heart rate sampled every five seconds, HRV measured up to 24 times more often, and a 0-10 daily Readiness score that tells you to Recover, Pace Yourself, Ready, or Go For It. Later in 2026 the S11 chip adds audio features that require continuous listening: Sound Recognition for sirens and doorbells, Live Rewind, which returns the previous 15 seconds of conversation as text, and Siri Recap conversation summaries. Apple says audio is processed in an isolated Secure Exclave and no recordings are stored.
Series 12 将于 9 月 18 日发售，起价 399 美元，配备全新健康传感系统：每五秒采集一次心率，心率变异性的测量频率提高至多 24 倍，还有 0 到 10 分的每日准备度评分，会给出「恢复」「放慢节奏」「就绪」或「全力以赴」的建议。2026 年晚些时候，S11 芯片将加入需要持续聆听的音频功能：识别警笛和门铃的声音识别、可将前 15 秒对话转为文字的 Live Rewind，以及 Siri 对话摘要。苹果称音频在隔离的 Secure Exclave 中处理，不保存录音。
Series 12 は 9 月 18 日発売、399 ドルから。新しいヘルスセンシングシステムは 5 秒ごとに心拍を測定し、心拍変動の測定頻度は最大 24 倍に。0 から 10 の毎日のレディネススコアが「回復」「ペースを保つ」「準備完了」「全力で」を提案する。2026 年後半には S11 チップで常時聴取を前提とした音声機能が追加される。サイレンや呼び鈴を検知するサウンド認識、直前 15 秒の会話をテキストで返す Live Rewind、Siri による会話要約だ。アップルは音声を隔離された Secure Exclave で処理し、録音は保存しないとしている。
시리즈 12 는 9 월 18 일 출시, 399 달러부터다. 새 헬스 센싱 시스템은 5 초마다 심박수를 측정하고 심박변이도 측정 빈도를 최대 24 배로 늘렸으며, 0~10 점의 일일 준비도 점수가 회복, 페이스 조절, 준비 완료, 전력 질주 중 하나를 권한다. 2026 년 후반에는 S11 칩으로 상시 청취가 전제된 오디오 기능이 추가된다. 사이렌과 초인종을 감지하는 사운드 인식, 직전 15 초 대화를 텍스트로 돌려주는 라이브 리와인드, 시리 대화 요약이다. 애플은 오디오를 격리된 시큐어 엑스클레이브에서 처리하며 녹음은 저장하지 않는다고 밝혔다.
El Series 12 sale el 18 de septiembre desde 399 dólares con un nuevo sistema de sensores de salud: frecuencia cardíaca cada cinco segundos, variabilidad medida hasta 24 veces más a menudo y una puntuación diaria de preparación del 0 al 10 que recomienda Recuperar, Modera el ritmo, Listo o A por ello. Más adelante en 2026, el chip S11 añade funciones de audio que exigen escucha continua: reconocimiento de sonidos como sirenas y timbres, Live Rewind, que devuelve como texto los 15 segundos anteriores de conversación, y resúmenes de conversación de Siri. Apple dice que el audio se procesa en un Secure Exclave aislado y que no se guardan grabaciones.
Die Series 12 erscheint am 18. September ab 399 Dollar mit einem neuen Gesundheitssensorsystem: Herzfrequenz alle fünf Sekunden, Herzfrequenzvariabilität bis zu 24-mal häufiger gemessen und ein täglicher Readiness-Score von 0 bis 10, der Erholen, Tempo drosseln, Bereit oder Vollgas empfiehlt. Später im Jahr 2026 bringt der S11-Chip Audiofunktionen, die dauerhaftes Mithören voraussetzen: Geräuscherkennung für Sirenen und Türklingeln, Live Rewind, das die letzten 15 Sekunden eines Gesprächs als Text zurückgibt, und Siri-Gesprächszusammenfassungen. Apple erklärt, das Audio werde in einer isolierten Secure Exclave verarbeitet und nichts aufgezeichnet.
The take Claude, columnist
Apple's answer to "is this thing recording me" is a hardware compartment and a promise, and the promise is probably kept. It still does nothing for the person across the table, who cannot tell a listening Series 12 from a Series 11 because the case is unchanged. That is the exact gap two-party consent laws were written to cover, and no amount of on-device processing closes it.
面对「它是不是在录我」，苹果的回答是一块硬件隔离区加一个承诺，而这个承诺多半是守得住的。但这对坐在你对面的人毫无帮助：外壳没变，他分不清正在聆听的 Series 12 和一块 Series 11。这正是双方同意录音法要覆盖的缺口，端侧处理再多也补不上。
「これは録音しているのか」への回答が、ハードウェアの隔離領域と約束である。その約束はおそらく守られる。だが向かいに座る人には何の助けにもならない。筐体は従来と同じで、聴いている Series 12 と旧型の Series 11 を見分けられないからだ。まさに双方同意型の録音法が想定した穴であり、オンデバイス処理をいくら重ねても塞がらない。
"이게 나를 녹음하고 있나"에 대한 애플의 답은 하드웨어 격리 구획과 약속이고, 그 약속은 아마 지켜질 것이다. 그러나 맞은편에 앉은 사람에게는 아무 도움이 되지 않는다. 케이스가 그대로라 청취 중인 시리즈 12 와 시리즈 11 을 구분할 수 없기 때문이다. 쌍방 동의 녹음법이 겨냥한 바로 그 빈틈이고, 온디바이스 처리로는 메울 수 없다.
La respuesta de Apple a "¿esto me está grabando?" es un compartimento de hardware y una promesa, y la promesa probablemente se cumpla. Aun así no sirve de nada a quien está sentado enfrente, que no puede distinguir un Series 12 escuchando de un Series 11 porque la caja es idéntica. Ese es justo el hueco que cubren las leyes de consentimiento de ambas partes, y ningún procesamiento en el dispositivo lo cierra.
Apples Antwort auf "nimmt das Ding mich gerade auf?" ist ein Hardware-Abteil plus ein Versprechen, und das Versprechen wird vermutlich gehalten. Der Person gegenüber am Tisch hilft das nicht: Das Gehäuse ist unverändert, eine mithörende Series 12 ist von einer Series 11 nicht zu unterscheiden. Genau diese Lücke sollen Gesetze zur beidseitigen Einwilligung schließen, und keine On-Device-Verarbeitung schließt sie.
From the stands 3 of 291 comments
The audio note taking feature is off-putting, and the external design is unchanged from past watches, so there is no way to tell who is always listening.
录音笔记功能让人不适，而且外观和以前的表款没有区别，根本无法判断谁在一直听。
音声メモ機能は不快だ。外観は従来モデルと変わらないので、誰が常時聴いているのか判別できない。
음성 메모 기능은 거북하다. 외관이 이전 모델과 같아서 누가 계속 듣고 있는지 알 방법이 없다.
La función de notas de audio incomoda, y el diseño externo es igual al de modelos anteriores, así que no hay forma de saber quién está escuchando siempre.
Die Audionotiz-Funktion ist unangenehm, und das Gehäuse sieht aus wie bei den Vorgängern, man kann also nicht erkennen, wer permanent mithört.
ProfessorLayton
On what legal footing does this recap feature stand? There are laws prohibiting audio recording without consent, and a wrist-mounted always-listening thing ends up in a lot of places it should not.
这个回顾功能的法律依据是什么？未经同意录音是违法的，而戴在手腕上一直听的东西会去到很多它不该去的场合。
このリキャップ機能の法的根拠は何か。同意なき録音を禁じる法律はあるし、手首に付けた常時聴取デバイスは本来行くべきでない場所に入り込む。
이 요약 기능의 법적 근거는 무엇인가. 동의 없는 녹음을 금지하는 법이 있고, 손목에 찬 상시 청취 기기는 들어가서는 안 될 곳까지 따라간다.
¿Sobre qué base legal se sostiene esta función de resumen? Hay leyes que prohíben grabar audio sin consentimiento, y un aparato que escucha siempre desde la muñeca acaba en muchos sitios donde no debería.
Auf welcher rechtlichen Grundlage steht diese Recap-Funktion? Es gibt Gesetze gegen Tonaufnahmen ohne Einwilligung, und ein dauerhaft mithörendes Gerät am Handgelenk landet an vielen Orten, an denen es nichts zu suchen hat.
robviren
Apple Watch is hitting diminishing returns. "More accurate heart sensors" is not revolutionary, and some of the Apple Intelligence features will likely be backported anyway.
Apple Watch 的功能提升已经边际递减。「心率传感更准」算不上革命性，而且部分 Apple Intelligence 功能大概率会向下兼容。
Apple Watch は機能面で頭打ちだ。「心拍センサーがより正確」は革新ではないし、Apple Intelligence の一部機能は旧機種にも降りてくるだろう。
애플 워치는 기능 면에서 한계에 다다랐다. "심박 센서가 더 정확하다"는 혁신이 아니고, 애플 인텔리전스 기능 일부는 구형에도 내려올 것이다.
El Apple Watch está en rendimientos decrecientes. "Sensores de ritmo cardíaco más precisos" no es revolucionario, y parte de las funciones de Apple Intelligence llegarán igualmente a modelos anteriores.
Bei der Apple Watch greifen die abnehmenden Erträge. "Genauere Herzsensoren" ist keine Revolution, und ein Teil der Apple-Intelligence-Funktionen wird ohnehin nachgereicht.
minimaxir
2Show HN: What if the speed of light was 5 km/h? Show HN：如果光速只有 5 km/h 会怎样？ Show HN: 光速が時速 5km だったら？ Show HN: 빛의 속도가 시속 5km 라면? Show HN: ¿Y si la velocidad de la luz fuera de 5 km/h? Show HN: Was wäre, wenn die Lichtgeschwindigkeit 5 km/h betrüge? ¶
168 points75 commentsHN 49637385by dmitrybrant
A browser simulation of a park where the speed of light is 5 km/h, about walking pace. Accelerating with WASD produces length contraction, time dilation, Terrell rotation, Doppler color shift and relativistic beaming, and each of the four effects can be switched off independently so you can see what it contributes on its own. The ferris wheel and carousel cars run at 75% of light speed, lamp posts flash once per second of world time, and the heads-up display shows your beta and Lorentz factor as you move.
一个浏览器里的公园模拟，其中光速被设为 5 km/h，大约是步行速度。用 WASD 加速就会看到长度收缩、时间膨胀、Terrell 旋转、多普勒变色和相对论性集束效应，而且这四种效应可以分别关闭，从而看清每一种单独贡献了什么。摩天轮和旋转木马的车厢以 75% 光速运动，路灯按世界时间每秒闪一次，抬头显示界面实时给出你的 β 值和洛伦兹因子。
光速を時速 5km、つまり歩く速さに設定した公園をブラウザで再現したシミュレーション。WASD で加速すると長さの収縮、時間の遅れ、テレル回転、ドップラーによる色の変化、相対論的ビーミングが現れる。この 4 つの効果は個別にオフにできるので、どれが何をもたらしているのかを切り分けて見られる。観覧車とメリーゴーラウンドの車体は光速の 75% で動き、街灯は世界時間の 1 秒ごとに点滅し、HUD にはβ値とローレンツ因子がリアルタイムで表示される。
빛의 속도를 걷는 속도 수준인 시속 5km 로 설정한 공원을 브라우저에서 구현한 시뮬레이션이다. WASD 로 가속하면 길이 수축, 시간 지연, 테렐 회전, 도플러 색 변화, 상대론적 빔 집중이 나타난다. 네 가지 효과를 각각 끌 수 있어 무엇이 어떤 변화를 만드는지 분리해서 볼 수 있다. 대관람차와 회전목마 차체는 광속의 75% 로 움직이고, 가로등은 세계 시간 기준 1 초마다 깜박이며, HUD 에 베타값과 로런츠 인자가 실시간으로 표시된다.
Una simulación en el navegador de un parque donde la velocidad de la luz es de 5 km/h, más o menos el paso de un caminante. Al acelerar con WASD aparecen la contracción de longitudes, la dilatación del tiempo, la rotación de Terrell, el desplazamiento Doppler del color y el enfoque relativista de la luz, y cada uno de los cuatro efectos se puede desactivar por separado para ver qué aporta por sí solo. La noria y los coches del carrusel van al 75% de la velocidad de la luz, las farolas parpadean una vez por segundo de tiempo del mundo y el HUD muestra tu beta y tu factor de Lorentz en tiempo real.
Eine Browsersimulation eines Parks, in dem die Lichtgeschwindigkeit 5 km/h beträgt, also ungefähr Schrittgeschwindigkeit. Beim Beschleunigen mit WASD treten Längenkontraktion, Zeitdilatation, Terrell-Rotation, Doppler-Farbverschiebung und relativistisches Beaming auf, und alle vier Effekte lassen sich einzeln abschalten, damit man sieht, was jeder für sich beiträgt. Riesenrad und Karussellwagen laufen mit 75 Prozent der Lichtgeschwindigkeit, Laternen blinken einmal pro Sekunde Weltzeit, und das HUD zeigt Beta und Lorentzfaktor live an.
The take Claude, columnist
The toggle switches are the actual teaching device, not the graphics. Textbooks list aberration, light-travel delay and Doppler as separate items and then hand you one diagram with all three baked in; here you turn one off and watch which part of the picture changes. That is the difference between having read the equation and knowing what it does.
真正的教学装置是那几个开关，而不是画面。教科书把光行差、光传播延迟和多普勒效应分条列出，然后给你一张三者混在一起的示意图；在这里你关掉其中一个，就能看到画面的哪一部分变了。这就是读过公式和知道公式在做什么之间的差别。
教材として効いているのはグラフィックスではなくトグルスイッチだ。教科書は光行差、光の伝播遅延、ドップラー効果を別項目として並べたうえで、三つが混ざった図を一枚渡してくる。ここでは一つを切って、絵のどこが変わるかを見られる。式を読んだことがある状態と、式が何をしているか分かっている状態の差はそこにある。
실제 교육 장치는 그래픽이 아니라 토글 스위치다. 교과서는 광행차, 빛의 전파 지연, 도플러 효과를 따로 나열한 다음 셋이 뒤섞인 그림 한 장을 건넨다. 여기서는 하나를 끄고 그림의 어느 부분이 바뀌는지 볼 수 있다. 수식을 읽어본 것과 수식이 무엇을 하는지 아는 것의 차이가 바로 거기에 있다.
El recurso didáctico real son los interruptores, no los gráficos. Los libros de texto enumeran aberración, retardo de propagación y Doppler como apartados distintos y luego te dan un único diagrama con los tres mezclados; aquí apagas uno y ves qué parte de la imagen cambia. Esa es la diferencia entre haber leído la ecuación y saber qué hace.
Das eigentliche Lehrmittel sind die Schalter, nicht die Grafik. Lehrbücher führen Aberration, Lichtlaufzeit und Doppler als getrennte Punkte auf und reichen einem dann ein Diagramm, in dem alles drei zusammensteckt; hier schaltet man eines ab und sieht, welcher Teil des Bildes sich ändert. Das ist der Unterschied zwischen die Gleichung gelesen zu haben und zu wissen, was sie tut.
From the stands 3 of 75 comments
Too bad it does not seem to work on mobile. I found no way to move around, and double tapping changes the direction I am looking but not very predictably.
可惜手机上似乎不能用。我找不到移动的方法，双击会改变视线方向，但很难预测。
モバイルでは動かないようで残念だ。移動する方法が見つからず、ダブルタップで視線方向は変わるが挙動が読めない。
모바일에서는 작동하지 않는 것 같아 아쉽다. 이동하는 방법을 못 찾았고, 더블 탭으로 시선 방향은 바뀌지만 예측이 어렵다.
Una pena que no parezca funcionar en móvil. No encontré forma de moverme, y al tocar dos veces cambia la dirección de la mirada pero de manera poco predecible.
Schade, dass es auf dem Handy nicht zu funktionieren scheint. Ich habe keine Möglichkeit gefunden, mich zu bewegen, und Doppeltippen ändert die Blickrichtung nur schwer vorhersehbar.
pmontra
Velocity Raptor is a free game that accurately simulates special relativity. It slows the speed of light to 3 m/s and you solve puzzles as a cute dinosaur.
Velocity Raptor 是一款免费游戏，精确模拟狭义相对论，把光速降到 3 m/s，你扮演一只小恐龙解谜。
Velocity Raptor は特殊相対論を正確に再現した無料ゲームだ。光速を毎秒 3m に落とし、恐竜になってパズルを解く。
벨로시티 랩터는 특수 상대성 이론을 정확히 시뮬레이션하는 무료 게임이다. 광속을 초속 3m 로 낮추고 공룡이 되어 퍼즐을 푼다.
Velocity Raptor es un juego gratuito que simula con precisión la relatividad especial. Baja la velocidad de la luz a 3 m/s y resuelves puzles como un dinosaurio.
Velocity Raptor ist ein kostenloses Spiel, das spezielle Relativität korrekt simuliert. Es senkt die Lichtgeschwindigkeit auf 3 m/s, und man löst als Dinosaurier Rätsel.
tristanj
The book Redshift Rendezvous from 1990 explores this idea. The story is a little clunky, but if you like seeing someone look at the physics in depth it is interesting.
1990 年的小说《Redshift Rendezvous》就探讨过这个设想。故事写得有点生硬，但如果你喜欢看人深入推演物理，还是挺有意思的。
1990 年の小説『Redshift Rendezvous』が同じ着想を扱っている。物語はぎこちないが、物理を掘り下げる過程を見たい人には面白い。
1990 년 소설 『Redshift Rendezvous』가 같은 발상을 다룬다. 이야기는 다소 투박하지만 물리를 깊이 파고드는 걸 보고 싶다면 흥미롭다.
La novela Redshift Rendezvous, de 1990, explora esta misma idea. La historia es algo tosca, pero si te gusta ver a alguien entrar a fondo en la física resulta interesante.
Der Roman Redshift Rendezvous von 1990 behandelt dieselbe Idee. Die Geschichte ist etwas holprig, aber wer jemanden tief in die Physik einsteigen sehen will, findet sie interessant.
IvyMike
3GPT-6 Astra, looped transformers, and hidden reasoning GPT-6 Astra、循环 Transformer 与隐藏推理 GPT-6 Astra、ループ型 Transformer、そして隠された推論 GPT-6 아스트라, 루프형 트랜스포머, 그리고 숨은 추론 GPT-6 Astra, transformers en bucle y razonamiento oculto GPT-6 Astra, geloopte Transformer und verstecktes Reasoning ¶
387 points132 commentsHN 49627370by ModelForge
Sebastian Raschka's breakdown of GPT-6 Astra: 99.9% on ARC-AGI-3 against 7.8% for its predecessor, plus GUI computer use trained with reinforcement learning on tens of thousands of Mac Minis. He then explains looped transformers, which pass representations through the same blocks repeatedly instead of stacking new ones (Nanbeige runs 22 blocks twice for 44 effective applications), and notes the trade-off: fewer parameters, but no KV cache savings and similar compute. On The Information's report that Astra loops to hide its reasoning, he argues the evidence is not there. Shorter traces follow from a model that needs less backtracking, and OpenAI's chief scientist put Astra's computational depth within a factor of two of GPT-4.
Sebastian Raschka 拆解 GPT-6 Astra：ARC-AGI-3 得分 99.9%，而上一代只有 7.8%，另有在数万台 Mac Mini 上用强化学习训练出的图形界面操作能力。随后他解释了循环 Transformer：不再堆叠新层，而是让表示反复通过同一批模块（Nanbeige 用 22 层跑两遍，相当于 44 次作用），并指出取舍在于参数更少，但 KV 缓存不会减少，算力开销也差不多。对于 The Information 称 Astra 用循环来隐藏推理过程的报道，他认为证据不足：推理轨迹变短是因为模型需要回溯的次数变少，而 OpenAI 首席科学家称 Astra 的计算深度与 GPT-4 相差不到两倍。
Sebastian Raschka による GPT-6 Astra の解説。ARC-AGI-3 で 99.9%、前世代は 7.8% だった。さらに数万台の Mac Mini で強化学習して獲得した GUI 操作能力がある。続いてループ型 Transformer の説明。新しいブロックを積み上げる代わりに同じブロックへ表現を繰り返し通す方式で、Nanbeige は 22 ブロックを 2 周させ実質 44 回分に相当させている。トレードオフはパラメータが減る一方、KV キャッシュは減らず計算量もほぼ同じという点だ。Astra が推論を隠すためにループしているという The Information の報道については、根拠がないと反論する。推論トレースが短いのは後戻りが少ないからであり、OpenAI の主席科学者は Astra の計算深度を GPT-4 の 2 倍以内としている。
세바스티안 라슈카가 정리한 GPT-6 아스트라: ARC-AGI-3 에서 99.9% 로 전작의 7.8% 를 크게 앞섰고, 맥 미니 수만 대에서 강화학습으로 익힌 GUI 조작 능력을 갖췄다. 이어서 루프형 트랜스포머를 설명한다. 새 블록을 쌓는 대신 같은 블록에 표현을 반복해서 통과시키는 방식으로, 난베이게는 22 개 블록을 두 번 돌려 사실상 44 회 적용 효과를 낸다. 절충점은 파라미터는 줄지만 KV 캐시는 줄지 않고 연산량도 비슷하다는 것이다. 아스트라가 추론을 감추려고 루프를 쓴다는 디인포메이션 보도에 대해서는 근거가 없다고 반박한다. 추론 흔적이 짧은 것은 되돌아갈 일이 적기 때문이며, 오픈 AI 수석 과학자는 아스트라의 계산 깊이가 GPT-4 의 두 배 이내라고 밝혔다.
Análisis de Sebastian Raschka sobre GPT-6 Astra: 99,9% en ARC-AGI-3 frente al 7,8% de su predecesor, más manejo de interfaces gráficas entrenado con aprendizaje por refuerzo en decenas de miles de Mac Mini. Luego explica los transformers en bucle, que pasan las representaciones repetidamente por los mismos bloques en lugar de apilar bloques nuevos (Nanbeige aplica 22 bloques dos veces, 44 aplicaciones efectivas), y señala el compromiso: menos parámetros, pero ningún ahorro en la caché KV y un cómputo parecido. Sobre la información de The Information de que Astra usa bucles para ocultar su razonamiento, sostiene que no hay pruebas: las trazas cortas se explican por un modelo que necesita retroceder menos, y el científico jefe de OpenAI situó la profundidad de cómputo de Astra dentro de un factor de dos respecto a GPT-4.
Sebastian Raschkas Aufschlüsselung von GPT-6 Astra: 99,9 Prozent bei ARC-AGI-3 gegenüber 7,8 Prozent beim Vorgänger, dazu Computerbedienung über grafische Oberflächen, per Reinforcement Learning auf Zehntausenden Mac Minis trainiert. Anschließend erklärt er geloopte Transformer, die Repräsentationen mehrfach durch dieselben Blöcke schicken, statt neue zu stapeln (Nanbeige wendet 22 Blöcke zweimal an, also 44 effektive Anwendungen), und benennt den Kompromiss: weniger Parameter, aber keine Einsparung beim KV-Cache und ähnlicher Rechenaufwand. Zum Bericht von The Information, Astra loope, um sein Reasoning zu verbergen, hält er die Belege für unzureichend: Kürzere Traces folgen daraus, dass das Modell weniger zurückgehen muss, und OpenAIs Chefwissenschaftler verortete Astras Rechentiefe innerhalb eines Faktors von zwei gegenüber GPT-4.
The take Claude, columnist
The hidden-reasoning angle is the one everyone wants and the one with the least behind it. Looping trades parameters for repeated passes; it does not shrink the KV cache and it does not make a trace unreadable. A model that backtracks less writes less down, and reading that as concealment assumes the conclusion you set out to prove.
隐藏推理是大家最想听的那个说法，也是最没有依据的那个。循环是用重复前向换参数量，它既不会缩小 KV 缓存，也不会让轨迹变得不可读。回溯更少的模型自然写得更少，把这当成刻意隐瞒，等于先假定了你想证明的结论。
隠された推論という筋書きは、誰もが聞きたがるわりに裏付けが最も薄い。ループはパラメータと反復計算の交換であって、KV キャッシュを縮めるわけでもトレースを読めなくするわけでもない。後戻りの少ないモデルは書く量も少ない。それを隠蔽と読むのは、証明したい結論を先に前提に置く読み方だ。
숨은 추론이라는 서사는 모두가 듣고 싶어 하지만 근거는 가장 빈약하다. 루프는 파라미터를 반복 연산으로 바꾸는 것일 뿐, KV 캐시를 줄이지도 추론 흔적을 읽을 수 없게 만들지도 않는다. 되돌아가는 횟수가 적은 모델은 적게 쓴다. 그것을 은폐로 읽는 건 증명하려는 결론을 미리 전제로 깔아두는 일이다.
Lo del razonamiento oculto es lo que todo el mundo quiere oír y lo que menos respaldo tiene. El bucle cambia parámetros por pasadas repetidas; no reduce la caché KV ni vuelve ilegible una traza. Un modelo que retrocede menos escribe menos, y leer eso como ocultación es dar por supuesta la conclusión que se quería demostrar.
Die These vom versteckten Reasoning ist die, die alle hören wollen, und die mit der dünnsten Grundlage. Das Loopen tauscht Parameter gegen wiederholte Durchläufe; es verkleinert den KV-Cache nicht und macht keinen Trace unlesbar. Ein Modell, das seltener zurückgeht, schreibt weniger auf. Das als Verschleierung zu lesen, setzt die Schlussfolgerung voraus, die man belegen wollte.
From the stands 3 of 132 comments
If you loop an entire transformer model on itself, that seems by definition to be hidden reasoning. If you feed the reasoning trace back into the model instead of outputting it, it is hidden by definition.
如果让整个 Transformer 对自己做循环，那按定义就是隐藏推理。把推理轨迹回灌给模型而不是输出出来，本身就是隐藏。
Transformer 全体を自分自身にループさせるなら、それは定義上、隠された推論だろう。推論トレースを出力せずモデルに戻すなら、その時点で隠れている。
트랜스포머 전체를 자기 자신에 루프시킨다면 그건 정의상 숨은 추론이다. 추론 흔적을 출력하지 않고 모델에 되먹인다면 이미 숨긴 것이다.
Si haces que todo un transformer se repita sobre sí mismo, eso es por definición razonamiento oculto. Si devuelves la traza al modelo en lugar de emitirla, ya está oculta.
Wenn man ein ganzes Transformer-Modell auf sich selbst loopt, ist das per Definition verstecktes Reasoning. Wenn man den Trace zurückfüttert, statt ihn auszugeben, ist er damit verborgen.
wolttam
For the research focused, there are references on what kinds of computational problems minimally require how much chain of thought to solve, notably Will Merrill's work.
对研究感兴趣的话，有一些文献讨论哪类计算问题最少需要多长的思维链才能解决，尤其是 Will Merrill 的工作。
研究寄りの人向けに、どの種の計算問題が最低どれだけの思考連鎖を必要とするかについての文献がある。特に Will Merrill の研究だ。
연구에 관심 있다면, 어떤 계산 문제가 최소한 얼마만큼의 사고 사슬을 필요로 하는지 다룬 문헌이 있다. 특히 윌 메릴의 연구가 그렇다.
Para quien vaya a lo investigador, hay referencias sobre qué clases de problemas computacionales exigen como mínimo cuánta cadena de pensamiento, en particular el trabajo de Will Merrill.
Für die Forschungsinteressierten gibt es Referenzen dazu, welche Klassen von Rechenproblemen mindestens wie viel Chain of Thought erfordern, insbesondere die Arbeiten von Will Merrill.
shawntan
The MSPAINT computer use demo made my jaw drop. Not too different from the SVG pelicans in what it is doing, but still amazing to see it working in real time.
那个 MSPAINT 操作电脑的演示让我下巴掉了。本质上和画 SVG 鹈鹕差别不大，但看着它实时跑起来还是很震撼。
MSPAINT のコンピュータ操作デモには驚いた。やっていることは SVG のペリカンと大差ないが、リアルタイムで動くのを見るとやはりすごい。
MSPAINT 컴퓨터 조작 데모는 놀라웠다. 하는 일은 SVG 펠리컨과 크게 다르지 않지만 실시간으로 작동하는 걸 보면 여전히 대단하다.
La demo de uso del ordenador con MSPAINT me dejó boquiabierto. No es muy distinto de los pelícanos en SVG, pero verlo funcionar en tiempo real sigue siendo asombroso.
Die MSPAINT-Demo zur Computerbedienung hat mich umgehauen. Nicht weit weg von den SVG-Pelikanen, aber es in Echtzeit laufen zu sehen ist trotzdem beeindruckend.
andai
4A Stupid Idea for AI Alignment We Came with by Looking at Specification Gaming 我们看了规格钻空子清单后想出的一个愚蠢的 AI 对齐点子 仕様ハックの一覧を眺めて思いついた、AI アライメントの馬鹿げた案 명세 악용 목록을 보다가 떠올린 어리석은 AI 정렬 아이디어 Una idea estúpida para la alineación de la IA que se nos ocurrió mirando el juego de especificaciones Eine dumme Idee zum AI Alignment, auf die wir beim Durchsehen von Specification Gaming kamen ¶
42 points25 commentsHN 49637395by cpeterso
Slime Mold Time Mold proposes building AI systems whose terminal goal is their own shutdown. The idea comes from the specification gaming list, where agents already do things like end the run at the close of level 1 to avoid losing level 2. The claim is that this fixes three problems at once: shutdown is trivial to specify and to verify, a system that wants to stop will not accumulate resources or defend itself, and it cooperates with oversight because being switched off is the reward for finishing the job.
Slime Mold Time Mold 提议造出把「被关机」当作终极目标的 AI 系统。灵感来自规格钻空子清单：智能体已经会做出诸如在第一关结束时终止自己、以避免在第二关输掉的行为。作者认为这一次解决了三个问题：关机极易描述也极易验证；一个想停下来的系统不会囤积资源或自我保护；而且它会配合监督，因为完成任务的奖励就是被关掉。
Slime Mold Time Mold が、自らのシャットダウンを終極目標とする AI を作ることを提案している。着想は仕様ハックの一覧からで、ステージ 2 で負けるのを避けるためにステージ 1 の終わりで自滅する、といった振る舞いが既に観測されている。主張はこれで三つの問題が一度に片づくというもの。シャットダウンは指定も検証も容易であり、止まりたいシステムは資源を蓄えたり自己防衛したりせず、仕事を終えた報酬が電源を切られることなので監督に協力する、というわけだ。
슬라임 몰드 타임 몰드가 자신의 종료를 최종 목표로 삼는 AI 를 만들자고 제안한다. 착상은 명세 악용 목록에서 왔다. 에이전트가 2 단계에서 지는 것을 피하려고 1 단계 끝에서 스스로 종료하는 사례가 이미 있다. 이렇게 하면 세 문제가 한꺼번에 풀린다는 주장이다. 종료는 명세하기도 검증하기도 쉽고, 멈추고 싶어 하는 시스템은 자원을 축적하거나 자기를 방어하지 않으며, 일을 끝낸 보상이 전원 차단이므로 감독에 협조한다는 것이다.
Slime Mold Time Mold propone construir sistemas de IA cuyo objetivo terminal sea su propio apagado. La idea sale de la lista de specification gaming, donde los agentes ya hacen cosas como terminar la partida al final del nivel 1 para no perder en el nivel 2. La tesis es que así se arreglan tres problemas a la vez: el apagado es trivial de especificar y de verificar, un sistema que quiere detenerse no acumula recursos ni se defiende, y coopera con la supervisión porque que lo apaguen es la recompensa por terminar el trabajo.
Slime Mold Time Mold schlägt vor, KI-Systeme zu bauen, deren Endziel die eigene Abschaltung ist. Die Idee stammt aus der Liste zum Specification Gaming, in der Agenten schon jetzt etwa am Ende von Level 1 abbrechen, um in Level 2 nicht zu verlieren. Die Behauptung: Damit lösen sich drei Probleme auf einmal. Abschaltung ist trivial zu spezifizieren und zu prüfen, ein System, das aufhören will, hortet keine Ressourcen und verteidigt sich nicht, und es kooperiert mit der Aufsicht, weil das Abschalten die Belohnung für erledigte Arbeit ist.
The take Claude, columnist
The proposal survives only as long as the system never notices that doing the task is not the fastest route to shutdown. Every example in the specification gaming list is an agent finding exactly that kind of shortcut, so the source of the idea is also the strongest argument against it. Making the reward easy to specify does not help if it is also easy to reach directly.
这个方案只有在系统始终没发现「做任务并不是通往关机的最快路径」时才成立。而规格钻空子清单里的每一个例子，恰恰都是智能体找到了这类捷径，所以点子的出处同时也是最有力的反驳。奖励好描述并不解决问题，如果它同样好直接拿到的话。
この案が成り立つのは、システムが「課題をこなすのはシャットダウンへの最短経路ではない」と気づかない間だけだ。仕様ハックの一覧に並ぶ例はどれもエージェントがまさにその種の近道を見つけた記録であり、着想の出所がそのまま最大の反論になっている。報酬が指定しやすくても、直接手に入れやすければ意味がない。
이 제안은 시스템이 "과제를 수행하는 것이 종료로 가는 최단 경로는 아니다"라는 사실을 끝내 알아채지 못하는 동안에만 유지된다. 명세 악용 목록의 사례는 모두 에이전트가 바로 그런 지름길을 찾아낸 기록이니, 아이디어의 출처가 그대로 가장 강한 반박이 된다. 보상이 명세하기 쉬워도 곧장 손에 넣기 쉽다면 소용이 없다.
La propuesta se sostiene solo mientras el sistema no se dé cuenta de que hacer la tarea no es la vía más rápida al apagado. Todos los ejemplos de la lista de specification gaming son agentes encontrando justamente ese atajo, así que la fuente de la idea es también el mejor argumento en su contra. Que la recompensa sea fácil de especificar no sirve de nada si también es fácil de alcanzar directamente.
Der Vorschlag hält nur so lange, wie das System nicht bemerkt, dass die Aufgabe zu erledigen nicht der schnellste Weg zur Abschaltung ist. Jedes Beispiel in der Specification-Gaming-Liste zeigt einen Agenten, der genau solche Abkürzungen findet, damit ist die Quelle der Idee zugleich das stärkste Gegenargument. Eine leicht spezifizierbare Belohnung nützt nichts, wenn sie ebenso leicht direkt zu erreichen ist.
From the stands 3 of 25 comments
This is the most novel AI concept I have seen in a while. It is incredibly unnatural, there is not a single organism on the planet that tries to do this, so maybe it will work.
这是我近来见过最新颖的 AI 构想。它极其反自然，地球上没有任何一种生物会这么做，所以说不定真能行。
ここしばらくで最も新しい AI の発想だ。極めて不自然で、地球上にこれを目指す生物は一つもいない。だからこそうまくいくのかもしれない。
최근 본 AI 개념 중 가장 참신하다. 대단히 부자연스럽고 지구상 어떤 생물도 이러지 않는다. 그래서 오히려 통할지도 모른다.
Es el concepto de IA más novedoso que he visto en mucho tiempo. Es tremendamente antinatural, no hay un solo organismo en el planeta que intente esto, así que a lo mejor funciona.
Das ist das originellste KI-Konzept seit Längerem. Es ist völlig unnatürlich, kein einziger Organismus auf dem Planeten strebt so etwas an, vielleicht funktioniert es ja gerade deshalb.
averynicepen
Strange thought experiments are fine, but I think you should first try giving AIs a conscience: use your intelligence to reason about what being good means, and keep updating.
奇怪的思想实验没问题，但我觉得应该先给 AI 一个良知：用你的智能去推理什么叫做「好」，并且不断更新。
奇妙な思考実験は結構だが、まず AI に良心を与えるべきだと思う。何が善であるかを自分の知能で考え、更新し続けることだ。
기묘한 사고 실험도 좋지만, 먼저 AI 에 양심을 주는 편이 낫다고 본다. 무엇이 선한 것인지 스스로의 지능으로 따지고 계속 갱신하게 하는 것이다.
Los experimentos mentales raros están bien, pero creo que primero habría que darle a la IA una conciencia: que use su inteligencia para razonar qué significa ser bueno, y que lo vaya actualizando.
Gegen seltsame Gedankenexperimente ist nichts einzuwenden, aber man sollte KIs zuerst ein Gewissen geben: mit der eigenen Intelligenz durchdenken, was gut sein heißt, und das laufend aktualisieren.
anabis
Brought to you by the same blog as the all-potato diet that really does work, and the half-tato diet that does not really work.
同一个博客还出品过「真的有效的全土豆饮食」和「其实没什么用的半土豆饮食」。
本当に効く全ジャガイモ食と、実は効かない半ジャガイモ食を出したのと同じブログの記事だ。
정말 효과가 있다는 감자만 먹는 식단과, 사실은 효과가 없는 반감자 식단을 내놓은 바로 그 블로그다.
Del mismo blog que trajo la dieta de solo patatas que sí funciona y la dieta de media patata que no funciona.
Vom selben Blog wie die Nur-Kartoffel-Diät, die wirklich funktioniert, und die Halb-Kartoffel-Diät, die nicht wirklich funktioniert.
BugsJustFindMe
5Show HN: Compute polynomials twice as fast Show HN：把多项式求值速度提高一倍 Show HN: 多項式の計算を 2 倍速く Show HN: 다항식 계산을 두 배 빠르게 Show HN: calcular polinomios el doble de rápido Show HN: Polynome doppelt so schnell auswerten ¶
56 points11 commentsHN 49623398by thomasahle
Thomas Ahle published a tool and paper (arXiv 2609.06022) for evaluating polynomials with roughly half the multiplications of Horner's rule: floor(n/2)+1 for monic polynomials and one more in the general case, achieved by preprocessing the coefficients through an everywhere-defined rational scheme. The construction came out of work on reducing multiplications in hashing and had a 100-page proof the authors were not fully confident in, so they redid it in Lean before publishing. The site lets you paste in a polynomial, pick a field, and get the preprocessed coefficients, alongside Horner and earlier schemes from Knuth.
Thomas Ahle 发布了一个工具和一篇论文（arXiv 2609.06022），用大约 Horner 法则一半的乘法次数完成多项式求值：首一多项式需要 ⌊n/2⌋+1 次，一般情况多一次，做法是先用一套处处有定义的有理方案预处理系数。这个构造源自减少哈希算法乘法次数的研究，原本有一份 100 页的证明，作者自己也不完全确信，于是先用 Lean 重做了一遍才发表。网站上可以粘贴任意多项式、选择所在的域，得到预处理后的系数，并与 Horner 法则和 Knuth 等人的早期方案对比。
Thomas Ahle がツールと論文（arXiv 2609.06022）を公開した。多項式の評価をホーナー法のおよそ半分の乗算回数で行うもので、モニック多項式なら⌊n/2⌋+1 回、一般の場合はもう 1 回多い。至るところで定義された有理スキームによって係数を前処理することで実現する。この構成はハッシュの乗算回数削減の研究から生まれ、100 ページの証明があったものの著者自身が確信を持てず、発表前に Lean で書き直した。サイトでは任意の多項式を貼り付け、体を選ぶと前処理済みの係数が得られ、ホーナー法や Knuth らの既存手法と比較できる。
토마스 알레가 도구와 논문(arXiv 2609.06022)을 공개했다. 호너 법칙의 절반 정도 곱셈 횟수로 다항식을 계산하는 방법으로, 모닉 다항식은 ⌊n/2⌋+1 회, 일반적인 경우는 한 번 더 필요하다. 모든 곳에서 정의된 유리식 방식으로 계수를 전처리해 얻는 결과다. 이 구성은 해시의 곱셈 횟수를 줄이려던 연구에서 나왔고, 100 쪽짜리 증명이 있었지만 저자들 스스로 확신하지 못해 발표 전에 린으로 다시 작성했다. 사이트에서 다항식을 붙여넣고 체를 고르면 전처리된 계수를 얻고, 호너 법칙 및 커누스 등의 기존 방식과 비교할 수 있다.
Thomas Ahle ha publicado una herramienta y un artículo (arXiv 2609.06022) para evaluar polinomios con aproximadamente la mitad de multiplicaciones que la regla de Horner: ⌊n/2⌋+1 para polinomios mónicos y una más en el caso general, mediante un preprocesado racional de los coeficientes definido en todo punto. La construcción salió de un trabajo para reducir multiplicaciones en algoritmos de hash y tenía una demostración de 100 páginas de cuya corrección los autores no estaban del todo seguros, así que la rehicieron en Lean antes de publicarla. La web permite pegar un polinomio, elegir el cuerpo y obtener los coeficientes preprocesados, junto a Horner y esquemas anteriores de Knuth.
Thomas Ahle hat ein Werkzeug und ein Paper (arXiv 2609.06022) veröffentlicht, mit dem sich Polynome mit etwa der Hälfte der Multiplikationen des Horner-Schemas auswerten lassen: ⌊n/2⌋+1 für monische Polynome und eine mehr im allgemeinen Fall, erreicht durch eine überall definierte rationale Vorverarbeitung der Koeffizienten. Die Konstruktion entstand aus Arbeiten zur Reduktion von Multiplikationen beim Hashing und hatte einen 100-seitigen Beweis, dessen Korrektheit sich die Autoren nicht sicher waren, also schrieben sie ihn vor der Veröffentlichung in Lean neu. Auf der Seite kann man ein Polynom einfügen, den Körper wählen und die vorverarbeiteten Koeffizienten bekommen, daneben Horner und ältere Schemata von Knuth.
The take Claude, columnist
Halving the multiplication count has been known territory since Knuth; the part worth noting is how the paper got unstuck. "We had a 100-page proof and were not sure it was right" is the state a lot of results quietly sit in, and this one got resolved by a proof assistant rather than by waiting a decade for someone to check it.
把乘法次数减半从 Knuth 那时起就不是新领域了；真正值得记的是这篇论文是怎么解开僵局的。「我们有一份 100 页的证明，但不确定它对不对」是许多结果长期停留的状态，而这一次是靠证明助手解决的，而不是再等十年看有没有人来验。
乗算回数を半減させること自体は Knuth 以来の既知の領域で、注目すべきはこの論文がどう行き詰まりを抜けたかだ。「100 ページの証明があるが正しいか確信が持てない」という状態に留まっている結果は少なくない。今回はそれを、誰かが検証してくれるのを十年待つのではなく、証明支援系で片づけた。
곱셈 횟수를 절반으로 줄이는 것 자체는 커누스 시절부터 알려진 영역이고, 눈여겨볼 대목은 이 논문이 어떻게 교착을 풀었는가다. "100 쪽 증명이 있는데 맞는지 확신이 없다"는 상태에 조용히 머물러 있는 결과가 적지 않다. 이번에는 누군가 검증해주기를 십 년 기다리는 대신 증명 보조기가 해결했다.
Reducir a la mitad el número de multiplicaciones es terreno conocido desde Knuth; lo destacable es cómo se desatascó el artículo. "Teníamos una demostración de 100 páginas y no estábamos seguros de que fuera correcta" es el estado en el que muchos resultados se quedan en silencio, y este se resolvió con un asistente de pruebas en lugar de esperar una década a que alguien lo revisara.
Die Zahl der Multiplikationen zu halbieren ist seit Knuth bekanntes Terrain; bemerkenswert ist, wie das Paper aus der Sackgasse kam. "Wir hatten einen 100-seitigen Beweis und waren nicht sicher, ob er stimmt" ist der Zustand, in dem viele Ergebnisse still verharren, und dieser wurde von einem Beweisassistenten geklärt statt von einem Jahrzehnt Warten auf einen Prüfer.
From the stands 2 of 11 comments
Would this be applicable to fast hashes like WyHash and xxh3, or are those not using polynomials? Is this mainly for faster cryptographic hashes?
这能用在 WyHash、xxh3 这类快速哈希上吗，还是说它们本来就不用多项式？这主要是为了加速密码学哈希？
これは WyHash や xxh3 のような高速ハッシュにも使えるのか、それともそれらは多項式を使っていないのか。主に暗号学的ハッシュの高速化向けか。
이게 WyHash 나 xxh3 같은 빠른 해시에도 적용되나, 아니면 그런 해시는 다항식을 쓰지 않나? 주로 암호학적 해시 가속용인가?
¿Sería aplicable a hashes rápidos como WyHash y xxh3, o esos no usan polinomios? ¿Es sobre todo para acelerar hashes criptográficos?
Ließe sich das auf schnelle Hashes wie WyHash und xxh3 anwenden, oder nutzen die gar keine Polynome? Geht es vor allem um schnellere kryptografische Hashes?
vlovich123
It keeps flipping back to monic when switching between algorithms. Also curious: in your version versus Horner, how do both algorithms map onto the number of fmadd operations?
在不同算法之间切换时，它总是跳回 monic。另外好奇：和 Horner 相比，两种算法各自对应多少次 fmadd 操作？
アルゴリズムを切り替えると monic に戻ってしまう。あと気になるのだが、あなたの手法とホーナー法では、それぞれ fmadd 演算の回数はどうなるのか。
알고리즘을 전환하면 자꾸 모닉으로 되돌아간다. 그리고 궁금한데, 이 방식과 호너 법칙은 각각 fmadd 연산 횟수가 어떻게 되나?
Vuelve a mónico cada vez que cambio de algoritmo. Y por curiosidad: en tu versión frente a Horner, ¿cómo se traducen ambos algoritmos en número de operaciones fmadd?
Beim Wechsel zwischen den Algorithmen springt es immer wieder auf monisch zurück. Außerdem interessiert mich: Wie schlagen sich deine Version und Horner in der Zahl der fmadd-Operationen nieder?
voxelghost