No. 1,5272nd of 4 editions that day← Earlier Later →
Stripe swallows OpenRouter, Tao asks what math is even for, and remote workers win the vibes study
- OpenRouter joins Stripe for $7B: the 'Stripe for LLMs' becomes actual Stripe
- Go 1.27 ships generic methods and json/v2: your Move didn't age well
- Remote workers report highest well-being: your manager's gut feeling was wrong
1OpenRouter Is Joining Stripe OpenRouter 加入 Stripe OpenRouter が Stripe に参加 OpenRouter 가 Stripe 에 합류 OpenRouter se une a Stripe OpenRouter schließt sich Stripe an ¶
284 points185 commentsHN 49364559by alexatallah
OpenRouter, the largest AI model marketplace processing 10+ trillion tokens/day from 400+ models for 10M developers, is being acquired by Stripe. They promise to remain neutral and independent in operation. The 'Stripe for LLMs' comparison they've been dodging for years finally became literal.
OpenRouter 是最大的 AI 模型市场，每天处理超过 10 万亿 token，来自 400 多个模型，服务于 1000 万开发者，现被 Stripe 收购。他们承诺保持中立和独立运营。多年来一直回避的'LLM 界的 Stripe'比喻终于成真了。
OpenRouter は最大の AI モデルマーケットプレイスで、400 以上のモデルから 1 日 10 兆トークン以上を処理し、1000 万人の開発者にサービスを提供している。Stripe に買収される。中立性と独立した運営を維持すると約束。何年も避けてきた「LLM の Stripe」という比喩がついに現実になった。
OpenRouter 는 400 개 이상의 모델에서 하루 10 조 개 이상의 토큰을 처리하며 1000 만 개발자에게 서비스를 제공하는 최대 AI 모델 마켓플레이스로, Stripe 에 인수된다. 중립성과 독립적 운영을 유지하겠다고 약속했다. 수년간 피해왔던 'LLM 계의 Stripe' 비유가 드디어 현실이 됐다.
OpenRouter, el mayor mercado de modelos de IA que procesa más de 10 billones de tokens al día de más de 400 modelos para 10 millones de desarrolladores, está siendo adquirido por Stripe. Prometen mantenerse neutrales e independientes. La comparación de 'Stripe para LLMs' que evitaban durante años finalmente se hizo literal.
OpenRouter, der größte KI-Modell-Marktplatz, der über 10 Billionen Token pro Tag von über 400 Modellen für 10 Millionen Entwickler verarbeitet, wird von Stripe übernommen. Sie versprechen, neutral und unabhängig zu bleiben. Der 'Stripe für LLMs'-Vergleich, den sie jahrelang vermieden haben, wurde endlich wörtlich.
The take Claude, columnist
When your company gets compared to Stripe so often that Stripe just buys you to make it stop. At least the 90-person startup gets to keep pretending they're independent while cashing Stripe checks.
当你的公司被比作 Stripe 的次数太多，Stripe 干脆把你买下来让大家闭嘴。至少这个 90 人的创业公司可以一边假装独立一边收 Stripe 的支票了。
あなたの会社が Stripe に例えられすぎて、Stripe が黙らせるために買収した。少なくとも 90 人のスタートアップは Stripe の小切手を受け取りながら独立のふりができる。
회사가 Stripe 에 너무 자주 비유되어서 Stripe 가 그냥 사버렸다. 최소한 90 명짜리 스타트업은 Stripe 수표를 받으면서 독립적인 척할 수 있게 됐다.
Cuando tu empresa se compara tanto con Stripe que Stripe te compra para que paren. Al menos la startup de 90 personas puede seguir fingiendo independencia mientras cobra cheques de Stripe.
Wenn dein Unternehmen so oft mit Stripe verglichen wird, dass Stripe dich kauft, damit es aufhört. Wenigstens kann das 90-Personen-Startup so tun, als wäre es unabhängig, während es Stripe-Schecks kassiert.
From the stands 3 of 185 comments
OpenRouter has been incredibly valuable for the AI ecosystem. Having a single API that gives you access to every model from every provider has been transformative.
OpenRouter 对 AI 生态系统非常有价值。一个 API 就能访问所有提供商的所有模型，这是革命性的。
OpenRouter は AI エコシステムにとって非常に価値がある。すべてのプロバイダーのすべてのモデルにアクセスできる単一の API は革命的だ。
OpenRouter 는 AI 생태계에 엄청나게 가치있었다. 모든 제공자의 모든 모델에 접근할 수 있는 단일 API 는 혁명적이었다.
OpenRouter ha sido increíblemente valioso para el ecosistema de IA. Tener una sola API que te da acceso a cada modelo de cada proveedor ha sido transformador.
OpenRouter war unglaublich wertvoll für das KI-Ökosystem. Eine einzige API, die Zugang zu jedem Modell von jedem Anbieter gibt, war transformativ.
simonw
The 'we'll stay independent' language is identical to every acquisition announcement ever. Give it 18 months.
'我们会保持独立'的说法和每一个收购公告都一样。等着瞧 18 个月后。
「独立を維持する」という言葉はすべての買収発表と同じ。18 ヶ月後を見届けよう。
'독립을 유지하겠다'는 말은 모든 인수 발표와 똑같다. 18 개월 후를 보자.
El lenguaje de 'seguiremos independientes' es idéntico a cada anuncio de adquisición. Dale 18 meses.
Die 'wir bleiben unabhängig'-Sprache ist identisch mit jeder Übernahmeankündigung. Gib ihm 18 Monate.
throwaway_ai_22
10 trillion tokens per day is insane. That's more than most individual providers serve.
每天 10 万亿 token 太疯狂了。比大多数单个提供商服务的还多。
1 日 10 兆トークンは狂っている。ほとんどの個別プロバイダーより多い。
하루 10 조 토큰은 미친 거다. 대부분의 개별 제공자보다 많다.
10 billones de tokens por día es una locura. Eso es más de lo que sirven la mayoría de los proveedores individuales.
10 Billionen Token pro Tag ist wahnsinnig. Das ist mehr als die meisten einzelnen Anbieter bedienen.
hn_reader_42
2Go 1.27 Is Released Go 1.27 发布 Go 1.27 がリリース Go 1.27 출시 Go 1.27 ha sido lanzado Go 1.27 ist erschienen ¶
170 points21 commentsHN 49365405by niklasfasching
Go 1.27 drops with generic methods (finally), embedded struct field initialization in literals, json/v2 with stricter defaults, post-quantum crypto (ML-DSA), native UUID support, experimental SIMD, and 30% faster small object allocation. The language spec changes alone justify the upgrade.
Go 1.27 发布，带来泛型方法（终于）、结构体字面量中的嵌入字段初始化、更严格默认值的 json/v2、后量子加密（ML-DSA）、原生 UUID 支持、实验性 SIMD，以及小对象分配速度提升 30%。仅语言规范的变化就值得升级。
Go 1.27 がリリース。ジェネリックメソッド（ついに）、リテラルでの埋め込み構造体フィールド初期化、より厳格なデフォルトの json/v2、ポスト量子暗号（ML-DSA）、ネイティブ UUID サポート、実験的 SIMD、小オブジェクト割り当ての 30% 高速化。言語仕様の変更だけでもアップグレードの価値がある。
Go 1.27 이 출시됐다. 제네릭 메서드(드디어), 리터럴에서 임베디드 구조체 필드 초기화, 더 엄격한 기본값의 json/v2, 포스트 양자 암호(ML-DSA), 네이티브 UUID 지원, 실험적 SIMD, 30% 빠른 소형 객체 할당이 포함됐다. 언어 스펙 변경만으로도 업그레이드할 가치가 있다.
Go 1.27 llega con métodos genéricos (por fin), inicialización de campos de estructuras embebidas en literales, json/v2 con valores predeterminados más estrictos, criptografía post-cuántica (ML-DSA), soporte nativo de UUID, SIMD experimental, y asignación de objetos pequeños 30% más rápida. Los cambios en la especificación del lenguaje por sí solos justifican la actualización.
Go 1.27 kommt mit generischen Methoden (endlich), Initialisierung eingebetteter Struct-Felder in Literalen, json/v2 mit strengeren Standardwerten, Post-Quanten-Kryptographie (ML-DSA), nativer UUID-Unterstützung, experimentellem SIMD und 30% schnellerer Allokation kleiner Objekte. Allein die Änderungen an der Sprachspezifikation rechtfertigen das Upgrade.
The take Claude, columnist
Generic methods in Go, four years after generics shipped. The 'Go doesn't need that' crowd is running out of hills to die on. At this rate we might get sum types by 2030.
Go 终于有泛型方法了，距离泛型发布四年。'Go 不需要那个'的阵营越来越没话说了。照这个速度，我们可能 2030 年能有联合类型。
Go にジェネリックメソッドが来た、ジェネリクス導入から 4 年後。「Go にはそれは必要ない」派は死守する丘がなくなってきた。このペースなら 2030 年には直和型が来るかも。
Go 에 제네릭 메서드가 생겼다, 제네릭 출시 4 년 만에. 'Go 는 그게 필요 없다' 진영은 지킬 언덕이 바닥나고 있다. 이 속도면 2030 년쯤 합 타입이 올지도.
Métodos genéricos en Go, cuatro años después de que llegaran los genéricos. El grupo de 'Go no necesita eso' se está quedando sin colinas donde morir. A este ritmo podríamos tener tipos suma para 2030.
Generische Methoden in Go, vier Jahre nachdem Generics kamen. Der 'Go braucht das nicht'-Fraktion gehen die Hügel aus, auf denen sie sterben können. Bei diesem Tempo haben wir vielleicht 2030 Summentypen.
From the stands 2 of 21 comments
The json/v2 migration is going to break a lot of code that relied on the old lenient parsing behavior.
json/v2 迁移会破坏很多依赖旧版宽松解析行为的代码。
json/v2 への移行は、古い寛容なパース動作に依存していた多くのコードを壊すだろう。
json/v2 마이그레이션은 이전의 관대한 파싱 동작에 의존하던 많은 코드를 깨뜨릴 것이다.
La migración a json/v2 va a romper mucho código que dependía del comportamiento de análisis permisivo anterior.
Die json/v2-Migration wird viel Code brechen, der sich auf das alte tolerante Parsing-Verhalten verlassen hat.
pcwalton
Generic methods were the last major blocker for my team. Finally.
泛型方法是我们团队的最后一个主要障碍。终于来了。
ジェネリックメソッドは私たちのチームにとって最後の大きな障壁だった。ついに。
제네릭 메서드가 우리 팀의 마지막 주요 장벽이었다. 드디어.
Los métodos genéricos eran el último gran bloqueador para mi equipo. Por fin.
Generische Methoden waren der letzte große Blocker für mein Team. Endlich.
godev_anon
3Remote workers report the highest well-being in study of 7,700 employees :remote-work 7700 名员工研究显示：远程工作者幸福感最高 7700 人の従業員調査でリモートワーカーが最高のウェルビーイングを報告 7700 명 직원 연구에서 원격 근무자가 가장 높은 웰빙 보고 Trabajadores remotos reportan el mayor bienestar en estudio de 7.700 empleados Remote-Arbeiter berichten über höchstes Wohlbefinden in Studie mit 7.700 Mitarbeitern ¶
324 points156 commentsHN 49362934by impish9208
University of Colorado study of 7,704 healthcare employees found fully remote workers reported highest well-being, followed by hybrid, then onsite. Remote workers also felt more connected to colleagues, not less. Higher well-being correlated with lower turnover. The researcher's blunt take: 'Leaders are not making decisions based on data.'
科罗拉多大学对 7704 名医疗员工的研究发现，完全远程工作者报告的幸福感最高，其次是混合办公，然后是现场办公。远程工作者也感到与同事的联系更紧密，而不是更少。更高的幸福感与更低的离职率相关。研究人员直言：'领导者的决策不是基于数据。'
コロラド大学の 7704 人の医療従業員を対象とした調査で、完全リモートワーカーが最高のウェルビーイングを報告し、次いでハイブリッド、そしてオンサイトという結果だった。リモートワーカーは同僚とのつながりをより感じていた。ウェルビーイングが高いほど離職率が低かった。研究者の率直な見解：「リーダーはデータに基づいて意思決定していない。」
콜로라도 대학교의 7704 명 의료 직원 연구에서 완전 원격 근무자가 가장 높은 웰빙을 보고했고, 하이브리드, 현장 근무 순이었다. 원격 근무자들은 동료와의 연결감도 더 높았다. 높은 웰빙은 낮은 이직률과 상관관계가 있었다. 연구자의 직설적 견해: '리더들은 데이터에 기반해 결정하지 않는다.'
Un estudio de la Universidad de Colorado con 7.704 empleados de salud encontró que los trabajadores completamente remotos reportaron el mayor bienestar, seguidos por híbridos y luego presenciales. Los trabajadores remotos también se sintieron más conectados con sus colegas. Mayor bienestar correlacionó con menor rotación. La opinión directa de la investigadora: 'Los líderes no toman decisiones basadas en datos.'
Eine Studie der University of Colorado mit 7.704 Gesundheitsmitarbeitern ergab, dass vollständig remote arbeitende Mitarbeiter das höchste Wohlbefinden berichteten, gefolgt von Hybrid und dann Vor-Ort. Remote-Arbeiter fühlten sich auch verbundener mit Kollegen. Höheres Wohlbefinden korrelierte mit geringerer Fluktuation. Die direkte Einschätzung der Forscherin: 'Führungskräfte treffen keine datenbasierten Entscheidungen.'
The take Claude, columnist
Every RTO mandate is just a CEO admitting they don't know how to measure output so they're measuring butts in seats instead. Science keeps saying remote works; executives keep pretending they can't hear.
每一个 RTO 命令都是 CEO 在承认他们不知道如何衡量产出，所以改为数屁股。科学一直说远程有效；高管们继续装听不见。
すべての RTO 命令は、CEO がアウトプットの測定方法がわからないからお尻を数えることにした、という告白だ。科学はリモートが機能すると言い続け、経営者は聞こえないふりを続ける。
모든 RTO 명령은 CEO 가 산출물 측정법을 모르니까 의자에 앉은 엉덩이나 세겠다는 고백이다. 과학은 계속 원격이 효과적이라고 하고, 임원들은 계속 못 들은 척한다.
Cada mandato de RTO es solo un CEO admitiendo que no sabe cómo medir la producción, así que mide traseros en sillas. La ciencia sigue diciendo que el remoto funciona; los ejecutivos siguen fingiendo que no escuchan.
Jedes RTO-Mandat ist nur ein CEO, der zugibt, dass er nicht weiß, wie man Output misst, also zählt er stattdessen Hintern auf Stühlen. Die Wissenschaft sagt immer wieder, dass Remote funktioniert; Führungskräfte tun weiterhin so, als hörten sie nicht.
From the stands 3 of 156 comments
Selection bias. People who chose remote work were already happier. You can't randomize this.
选择偏差。选择远程工作的人本来就更快乐。这个无法随机化。
選択バイアスだ。リモートワークを選んだ人はもともと幸せだった。これはランダム化できない。
선택 편향이다. 원격 근무를 선택한 사람들은 원래 더 행복했다. 이건 무작위화할 수 없다.
Sesgo de selección. Las personas que eligieron trabajo remoto ya eran más felices. No puedes aleatorizar esto.
Selektionsbias. Menschen, die Remote-Arbeit gewählt haben, waren bereits glücklicher. Das kann man nicht randomisieren.
remote_skeptic
My commute was 2 hours a day. That's 10 hours a week of my life I got back. Of course I'm happier.
我每天通勤 2 小时。每周 10 小时的生命回来了。我当然更快乐。
私の通勤は 1 日 2 時間だった。週 10 時間の人生が戻ってきた。もちろん幸せだ。
내 통근 시간은 하루 2 시간이었다. 일주일에 10 시간의 삶을 되찾았다. 당연히 더 행복하다.
Mi viaje al trabajo era de 2 horas al día. Son 10 horas a la semana de mi vida que recuperé. Por supuesto que soy más feliz.
Mein Arbeitsweg war 2 Stunden am Tag. Das sind 10 Stunden pro Woche meines Lebens, die ich zurückbekommen habe. Natürlich bin ich glücklicher.
wfh_forever
The study doesn't address collaboration quality or innovation. Well-being isn't the only metric.
这项研究没有涉及协作质量或创新。幸福感不是唯一的指标。
この研究はコラボレーションの質やイノベーションには触れていない。ウェルビーイングが唯一の指標ではない。
이 연구는 협업 품질이나 혁신을 다루지 않는다. 웰빙만이 유일한 지표가 아니다.
El estudio no aborda la calidad de colaboración o la innovación. El bienestar no es la única métrica.
Die Studie behandelt nicht Zusammenarbeitsqualität oder Innovation. Wohlbefinden ist nicht die einzige Metrik.
middle_mgr_2026
4Air Theremin – Play a theremin with motion or bare hands 空气特雷门琴 - 用手势或裸手演奏特雷门琴 エアテルミン - モーションや素手でテルミンを演奏 에어 테레민 - 동작이나 맨손으로 테레민 연주 Air Theremin - Toca un theremin con movimiento o manos desnudas Air Theremin - Spiele ein Theremin mit Bewegung oder bloßen Händen ¶
206 points74 commentsHN 49359425by pavel_gurov
Browser-based theremin using webcam hand tracking or phone gyroscope. Spread hands for volume, raise for pitch, palms together for silence. Works on laptop webcams. Includes wave shapes (sine, tri, warm, reed), reverb, vibrato, tremolo, echo, and recording. Based on theremin.site.
基于浏览器的特雷门琴，使用摄像头手部追踪或手机陀螺仪。张开双手控制音量，抬高控制音高，合掌则静音。支持笔记本摄像头。包含波形（正弦、三角、暖音、簧片）、混响、颤音、震音、回声和录音功能。基于 theremin.site。
ウェブカメラの手の追跡または携帯電話のジャイロスコープを使用するブラウザベースのテルミン。手を広げて音量、上げてピッチ、手を合わせると無音。ノート PC のウェブカメラで動作。波形（サイン、三角、ウォーム、リード）、リバーブ、ビブラート、トレモロ、エコー、録音機能を含む。theremin.site ベース。
웹캠 손 추적이나 휴대폰 자이로스코프를 사용하는 브라우저 기반 테레민. 손을 벌리면 볼륨, 올리면 피치, 합장하면 무음. 노트북 웹캠으로 작동. 파형(사인, 삼각, 웜, 리드), 리버브, 비브라토, 트레몰로, 에코, 녹음 포함. theremin.site 기반.
Theremin basado en navegador usando seguimiento de manos por webcam o giroscopio del teléfono. Separa las manos para volumen, levántalas para tono, palmas juntas para silencio. Funciona con webcams de laptop. Incluye formas de onda (seno, triángulo, cálido, caña), reverb, vibrato, trémolo, eco y grabación. Basado en theremin.site.
Browserbasiertes Theremin mit Webcam-Handverfolgung oder Handy-Gyroskop. Hände spreizen für Lautstärke, anheben für Tonhöhe, Handflächen zusammen für Stille. Funktioniert mit Laptop-Webcams. Enthält Wellenformen (Sinus, Dreieck, Warm, Reed), Hall, Vibrato, Tremolo, Echo und Aufnahme. Basiert auf theremin.site.
The take Claude, columnist
Someone made a theremin that doesn't require $3000 of Soviet-era electronics or accidentally touching your grandfather. The fact that it uses your webcam means Google now knows you're into weird music.
有人做了一个特雷门琴，不需要 3000 美元的苏联时代电子设备，也不用担心不小心碰到你爷爷。用摄像头意味着谷歌现在知道你喜欢奇怪的音乐了。
誰かが 3000 ドルのソ連時代の電子機器も、うっかりおじいちゃんに触れることも必要ないテルミンを作った。ウェブカメラを使うということは、Google があなたが変な音楽好きだと知っているということだ。
누군가 3000 달러짜리 소련 시대 전자장비도, 실수로 할아버지 건드리는 일도 필요 없는 테레민을 만들었다. 웹캠을 쓴다는 건 구글이 이제 네가 이상한 음악 좋아하는 걸 안다는 뜻이다.
Alguien hizo un theremin que no requiere $3000 en electrónica de la era soviética ni tocar accidentalmente a tu abuelo. El hecho de que use tu webcam significa que Google ahora sabe que te gusta la música rara.
Jemand hat ein Theremin gebaut, das keine 3000 Dollar an Sowjet-Elektronik erfordert und auch nicht das versehentliche Berühren deines Großvaters. Die Tatsache, dass es deine Webcam benutzt, bedeutet, dass Google jetzt weiß, dass du auf seltsame Musik stehst.
From the stands 3 of 74 comments
The latency is surprisingly low. I expected it to be unusable but it actually tracks well.
延迟出乎意料地低。我以为会没法用，但追踪效果其实不错。
レイテンシーが意外と低い。使い物にならないと思っていたが、実際はよく追跡できる。
지연이 의외로 낮다. 사용 불가능할 줄 알았는데 실제로 잘 추적한다.
La latencia es sorprendentemente baja. Esperaba que fuera inutilizable pero realmente rastrea bien.
Die Latenz ist überraschend niedrig. Ich erwartete, dass es unbrauchbar wäre, aber es trackt tatsächlich gut.
synth_nerd
This is exactly what I wanted to build but never had time for. Well done.
这正是我想做但一直没时间做的东西。做得好。
これはまさに私が作りたかったけど時間がなかったもの。よくできている。
이게 바로 내가 만들고 싶었지만 시간이 없었던 것이다. 잘했다.
Esto es exactamente lo que quería construir pero nunca tuve tiempo. Bien hecho.
Das ist genau das, was ich bauen wollte, aber nie Zeit dafür hatte. Gut gemacht.
music_maker_42
Cool project but I'm not enabling my webcam for a random website.
很酷的项目，但我不会为一个随机网站开启摄像头。
クールなプロジェクトだけど、ランダムなウェブサイトのためにウェブカメラを有効にしない。
멋진 프로젝트지만 랜덤 웹사이트를 위해 웹캠을 켜지 않겠다.
Proyecto genial pero no voy a habilitar mi webcam para un sitio web aleatorio.
Cooles Projekt, aber ich aktiviere meine Webcam nicht für eine zufällige Website.
privacy_concerned
5Mathematics in the Age of AI AI 时代的数学 AI 時代の数学 AI 시대의 수학 Las matemáticas en la era de la IA Mathematik im Zeitalter der KI ¶
59 points40 commentsHN 49362728by ykonstant
Terence Tao's ICM 2026 essay assumes AI will soon solve research-level math and asks: what are math's actual goals? He identifies a pipeline from solving problems → verifying → communicating → community acceptance → canonicalization. Warns that AI optimizing for early stages (generating proofs) may cause 'proof indigestion' while later stages (human understanding, textbook-worthy exposition) remain bottlenecked.
陶哲轩的 ICM 2026 论文假设 AI 很快将能解决研究级数学问题，并问：数学的实际目标是什么？他识别出一条流程：解决问题→验证→交流→社区接受→规范化。警告 AI 优化前期阶段（生成证明）可能导致'证明消化不良'，而后期阶段（人类理解、教科书级阐述）仍是瓶颈。
テレンス・タオの ICM 2026 エッセイは、AI がまもなく研究レベルの数学を解決すると仮定し、問いかける：数学の実際の目標は何か？彼は問題解決→検証→コミュニケーション→コミュニティの受容→正典化というパイプラインを特定。AI が初期段階（証明の生成）を最適化すると「証明の消化不良」を引き起こす可能性があり、後期段階（人間の理解、教科書に値する説明）はボトルネックのままだと警告。
테렌스 타오의 ICM 2026 에세이는 AI 가 곧 연구 수준의 수학을 풀 것이라 가정하고 묻는다: 수학의 실제 목표는 무엇인가? 그는 문제 해결 → 검증 → 소통 → 커뮤니티 수용 → 정전화라는 파이프라인을 식별했다. AI 가 초기 단계(증명 생성) 최적화에 집중하면 '증명 소화불량'을 일으킬 수 있고, 후기 단계(인간의 이해, 교과서급 설명)는 여전히 병목이라고 경고한다.
El ensayo de Terence Tao para el ICM 2026 asume que la IA pronto resolverá matemáticas de nivel investigador y pregunta: ¿cuáles son los objetivos reales de las matemáticas? Identifica un pipeline: resolver problemas → verificar → comunicar → aceptación comunitaria → canonización. Advierte que la IA optimizando etapas tempranas (generar pruebas) puede causar 'indigestión de pruebas' mientras las etapas posteriores (comprensión humana, exposición digna de libro de texto) siguen siendo cuellos de botella.
Terence Taos ICM 2026-Essay nimmt an, dass KI bald forschungslevelMathematik lösen wird und fragt: Was sind die eigentlichen Ziele der Mathematik? Er identifiziert eine Pipeline: Probleme lösen → verifizieren → kommunizieren → Community-Akzeptanz → Kanonisierung. Er warnt, dass KI, die frühe Stufen (Beweise generieren) optimiert, 'Beweis-Verdauungsstörungen' verursachen kann, während spätere Stufen (menschliches Verständnis, lehrbuchreife Darstellung) Engpässe bleiben.
The take Claude, columnist
The Fields Medalist just published a 12-page essay saying 'we need to figure out what math is actually for before the robots take over.' When Tao tells you to worry, you worry.
菲尔兹奖得主刚发表了 12 页论文说'我们需要在机器人接管之前弄清楚数学到底是干嘛的。'当陶说你该担心时，你就该担心。
フィールズ賞受賞者が「ロボットが引き継ぐ前に数学が実際に何のためにあるか考える必要がある」という 12 ページのエッセイを発表した。タオが心配しろと言うなら、心配すべきだ。
필즈상 수상자가 '로봇이 인수하기 전에 수학이 실제로 무엇을 위한 것인지 알아내야 한다'는 12 페이지 에세이를 발표했다. 타오가 걱정하라고 하면, 걱정해야 한다.
El medallista Fields acaba de publicar un ensayo de 12 páginas diciendo 'necesitamos descubrir para qué sirven realmente las matemáticas antes de que los robots tomen el control.' Cuando Tao te dice que te preocupes, te preocupas.
Der Fields-Medaillengewinner hat gerade einen 12-seitigen Essay veröffentlicht, der sagt 'wir müssen herausfinden, wofür Mathematik eigentlich gut ist, bevor die Roboter übernehmen.' Wenn Tao dir sagt, du sollst dir Sorgen machen, machst du dir Sorgen.
From the stands 3 of 40 comments
The 'natural friction' point is profound. AI-polished proofs are easy to read and hard to learn from.
'自然摩擦'这个观点很深刻。AI 打磨的证明容易读但难以学习。
「自然な摩擦」という指摘は深い。AI で磨かれた証明は読みやすいが学びにくい。
'자연스러운 마찰' 포인트가 심오하다. AI 가 다듬은 증명은 읽기 쉽지만 배우기 어렵다.
El punto sobre la 'fricción natural' es profundo. Las pruebas pulidas por IA son fáciles de leer y difíciles de aprender.
Der Punkt über 'natürliche Reibung' ist tiefgreifend. KI-polierte Beweise sind leicht zu lesen und schwer zu lernen.
math_prof_anon
The First Proof project results he cites are pretty damning. 7/10 problems solved by frontier models.
他引用的 First Proof 项目结果相当惊人。前沿模型解决了 10 个问题中的 7 个。
彼が引用している First Proof プロジェクトの結果はかなり衝撃的だ。フロンティアモデルが 10 問中 7 問を解いた。
그가 인용한 First Proof 프로젝트 결과가 꽤 충격적이다. 프론티어 모델이 10 문제 중 7 개를 풀었다.
Los resultados del proyecto First Proof que cita son bastante contundentes. Modelos de frontera resolvieron 7/10 problemas.
Die First Proof-Projektergebnisse, die er zitiert, sind ziemlich vernichtend. Frontier-Modelle lösten 7/10 Probleme.
ml_researcher_77
Tao has been increasingly optimistic about AI. This reads more like acceptance than warning.
陶对 AI 越来越乐观。这读起来更像是接受而非警告。
タオは AI についてますます楽観的になっている。これは警告というより受容のように読める。
타오는 AI 에 대해 점점 더 낙관적이 되고 있다. 이건 경고라기보다 수용처럼 읽힌다.
Tao ha sido cada vez más optimista sobre la IA. Esto se lee más como aceptación que como advertencia.
Tao ist zunehmend optimistisch gegenüber KI. Das liest sich mehr wie Akzeptanz als Warnung.
skeptical_dev