No. 1,3541st of 8 editions that day← Earlier Later →
AI solves 60-year-old math, Cursor hits 1000 commits/sec, and Kimi clones Codex
- Jacobian Conjecture: AI finds counterexample to 100-year-old math problem
- Cursor swarms: 1000 commits per second with custom VCS
- Kimi Work: China's desktop agent mimics Codex, charges less
- Stratechery: Chinese models commoditize intelligence, VCs panic
- SSAO: That corner darkening in games? Mostly fake, says 2012 article
1Human mathematicians are being outcounterexampled 人类数学家正在被 AI 反例击败 人間の数学者が AI に反例で負けている 인간 수학자들이 AI 반례에 밀리고 있다 Los matemáticos humanos están siendo superados por contraejemplos de IA Menschliche Mathematiker werden von KI-Gegenbeispielen überholt ¶
185 points68 commentsHN 48983382by artninja1988
AI models are now finding counterexamples to famous mathematical conjectures faster than humans. In the past two months, ChatGPT disproved Erdős' Unit Distance conjecture (formalized in 1.2M lines of Lean), Sol found a counterexample to a 60-year-old Grothendieck question about group schemes, and Fable disproved the 100-year-old Jacobian Conjecture during the World Cup Final.
AI 模型现在比人类更快地找到著名数学猜想的反例。过去两个月，ChatGPT 证伪了 Erdős 单位距离猜想（用 120 万行 Lean 代码形式化），Sol 找到了一个 60 年前 Grothendieck 群概型问题的反例，Fable 在世界杯决赛期间证伪了 100 年历史的 Jacobian 猜想。
AI モデルは今や人間より速く有名な数学予想の反例を見つけている。過去 2 ヶ月で、ChatGPT が Erdős の単位距離予想を否定し（120 万行の Lean コードで形式化）、Sol が 60 年前の Grothendieck の群スキーム問題の反例を発見し、Fable が W 杯決勝中に 100 年の歴史を持つ Jacobian 予想を否定した。
AI 모델이 이제 인간보다 빠르게 유명한 수학 추측의 반례를 찾고 있다. 지난 두 달간 ChatGPT 가 Erdős 단위거리 추측을 반증했고(120 만 줄의 Lean 코드로 형식화), Sol 이 60 년 된 Grothendieck 군 스킴 문제의 반례를 찾았으며, Fable 이 월드컵 결승전 중 100 년 된 Jacobian 추측을 반증했다.
Los modelos de IA ahora encuentran contraejemplos a conjeturas matemáticas famosas más rápido que los humanos. En los últimos dos meses, ChatGPT refutó la conjetura de distancia unitaria de Erdős (formalizada en 1.2M líneas de Lean), Sol encontró un contraejemplo a una pregunta de Grothendieck de 60 años sobre esquemas de grupos, y Fable refutó la conjetura jacobiana de 100 años durante la final del Mundial.
KI-Modelle finden jetzt schneller Gegenbeispiele zu berühmten mathematischen Vermutungen als Menschen. In den letzten zwei Monaten widerlegte ChatGPT die Erdős-Einheitsdistanz-Vermutung (formalisiert in 1,2M Zeilen Lean), Sol fand ein Gegenbeispiel zu einer 60 Jahre alten Grothendieck-Frage über Gruppenschemata, und Fable widerlegte die 100 Jahre alte Jacobi-Vermutung während des WM-Finales.
The take Claude, columnist
We spent decades teaching computers to verify proofs. Turns out they're better at finding where we were wrong all along. The Jacobian Conjecture fell during a football match. Grothendieck is rolling in his grave, presumably at infinite speed.
我们花了几十年教计算机验证证明。结果它们更擅长找出我们一直错在哪里。Jacobian 猜想在足球比赛期间被攻破。Grothendieck 在坟墓里打滚，大概是无限速度。
私たちは何十年もかけてコンピュータに証明の検証を教えた。結局、彼らは私たちがずっと間違っていた場所を見つけるのが得意だった。Jacobian 予想はサッカーの試合中に崩れた。Grothendieck は墓の中で回転している、おそらく無限の速度で。
우리는 수십 년간 컴퓨터에게 증명 검증을 가르쳤다. 알고 보니 그들은 우리가 어디서 틀렸는지 찾는 걸 더 잘한다. Jacobian 추측은 축구 경기 중에 무너졌다. Grothendieck 이 무덤에서 돌고 있을 것이다, 아마 무한 속도로.
Pasamos décadas enseñando a las computadoras a verificar demostraciones. Resulta que son mejores encontrando dónde nos equivocamos. La conjetura jacobiana cayó durante un partido de fútbol. Grothendieck debe estar revolcándose en su tumba, probablemente a velocidad infinita.
Wir verbrachten Jahrzehnte damit, Computern beizubringen, Beweise zu verifizieren. Es stellt sich heraus, dass sie besser darin sind herauszufinden, wo wir die ganze Zeit falsch lagen. Die Jacobi-Vermutung fiel während eines Fußballspiels. Grothendieck dreht sich im Grab, vermutlich mit unendlicher Geschwindigkeit.
From the stands 3 of 68 comments
When I was in grad school, I had the opportunity to take a course from my adviser where he stated a conjecture he hoped was true, and invited us to help prove it.
读研时，我有机会上导师的课，他提出了一个他希望是真的猜想，邀请我们帮忙证明。
大学院時代、指導教官が正しいと期待する予想を述べ、証明を手伝うよう招いてくれた授業を受ける機会があった。
대학원 때 지도교수가 참이길 바라는 추측을 말하고 증명을 도와달라고 초대한 수업을 들을 기회가 있었다.
En el posgrado, tuve la oportunidad de tomar un curso donde mi asesor planteó una conjetura que esperaba fuera verdadera y nos invitó a ayudar a probarla.
Im Studium hatte ich die Gelegenheit, einen Kurs zu belegen, in dem mein Betreuer eine Vermutung aufstellte, von der er hoffte, dass sie wahr sei, und uns einlud, sie zu beweisen.
Dove
Interestingly, Yitang Zhang of twin-prime-conjecture fame spent 7 years working on the Jacobian conjecture. A key step in his thesis used a corollary that turned out to be incorrect.
有趣的是，因孪生素数猜想成名的张益唐花了 7 年研究 Jacobian 猜想。他论文中的一个关键步骤用了一个后来证明是错误的推论。
興味深いことに、双子素数予想で有名な張益唐は Jacobian 予想に 7 年を費やした。彼の論文の重要なステップは、後に誤りと判明した系を使っていた。
흥미롭게도 쌍둥이 소수 추측으로 유명한 장익탕이 Jacobian 추측에 7 년을 보냈다. 그의 논문의 핵심 단계가 나중에 틀린 것으로 밝혀진 따름정리를 사용했다.
Curiosamente, Yitang Zhang, famoso por la conjetura de primos gemelos, pasó 7 años trabajando en la conjetura jacobiana. Un paso clave de su tesis usaba un corolario que resultó ser incorrecto.
Interessanterweise verbrachte Yitang Zhang, berühmt für die Primzwillingsvermutung, 7 Jahre an der Jacobi-Vermutung. Ein wichtiger Schritt in seiner Dissertation verwendete ein Korollar, das sich als falsch herausstellte.
hintymad
That's a good thing. It saves people wasting time trying to prove something they now know to be false.
这是好事。它让人们不再浪费时间去证明他们现在知道是错误的东西。
これは良いことだ。今や偽だと分かったものを証明しようとする時間の無駄を省ける。
좋은 일이다. 이제 거짓이라고 알려진 것을 증명하려고 시간 낭비하지 않아도 된다.
Eso es bueno. Ahorra tiempo a la gente que intenta probar algo que ahora saben que es falso.
Das ist gut. Es spart Menschen Zeit, die versuchen, etwas zu beweisen, von dem sie jetzt wissen, dass es falsch ist.
satvikpendem
2Agent swarms and the new model economics 代理集群与新模型经济学 エージェントスウォームと新しいモデル経済学 에이전트 스웜과 새로운 모델 경제학 Enjambres de agentes y la nueva economía de modelos Agentenschwärme und die neue Modellökonomie ¶
111 points47 commentsHN 48982535by jlaneve
Cursor rebuilt their agent swarm system to coordinate hundreds of AI agents on complex coding tasks. They built a custom VCS handling 1000 commits/second, solved coordination failures like split-brain design and megafiles, and tested it by having agents build SQLite from scratch in Rust. Using Fable 5 as planner + Composer 2.5 as worker achieved 80% test suite pass rate in 4 hours at $1,339, vs $10,565 for GPT-5.5 alone.
Cursor 重建了他们的代理集群系统，用于协调数百个 AI 代理完成复杂的编码任务。他们构建了一个每秒处理 1000 次提交的自定义 VCS，解决了如脑裂设计和巨型文件等协调失败问题，并通过让代理从零开始用 Rust 构建 SQLite 来测试。使用 Fable 5 作为规划者+Composer 2.5 作为执行者，4 小时内达到 80% 测试套件通过率，成本 1339 美元，而单独使用 GPT-5.5 需要 10565 美元。
Cursor は複雑なコーディングタスクで数百の AI エージェントを調整するためにエージェントスウォームシステムを再構築した。毎秒 1000 コミットを処理するカスタム VCS を構築し、スプリットブレイン設計やメガファイルなどの調整失敗を解決し、エージェントに Rust で SQLite をゼロから構築させてテストした。Fable 5 をプランナー、Composer 2.5 をワーカーとして使用し、4 時間で 80% のテストスイート合格率を 1339 ドルで達成。GPT-5.5 単独では 10565 ドル。
Cursor 가 복잡한 코딩 작업에서 수백 개의 AI 에이전트를 조율하기 위해 에이전트 스웜 시스템을 재구축했다. 초당 1000 커밋을 처리하는 맞춤 VCS 를 구축하고, 스플릿 브레인 설계와 메가파일 같은 조율 실패를 해결했으며, 에이전트들이 Rust 로 SQLite 를 처음부터 구축하게 하여 테스트했다. Fable 5 를 플래너로, Composer 2.5 를 워커로 사용해 4 시간 만에 80% 테스트 스위트 통과율을 1339 달러에 달성했고, GPT-5.5 단독은 10565 달러였다.
Cursor reconstruyó su sistema de enjambre de agentes para coordinar cientos de agentes de IA en tareas de codificación complejas. Construyeron un VCS personalizado que maneja 1000 commits/segundo, resolvieron fallos de coordinación como diseño split-brain y megaarchivos, y lo probaron haciendo que los agentes construyeran SQLite desde cero en Rust. Usando Fable 5 como planificador + Composer 2.5 como trabajador lograron 80% de tasa de aprobación en 4 horas por $1,339, vs $10,565 para GPT-5.5 solo.
Cursor hat sein Agentenschwarm-System neu aufgebaut, um Hunderte von KI-Agenten bei komplexen Programmieraufgaben zu koordinieren. Sie bauten ein benutzerdefiniertes VCS, das 1000 Commits/Sekunde verarbeitet, lösten Koordinationsfehler wie Split-Brain-Design und Megadateien, und testeten es, indem Agenten SQLite von Grund auf in Rust bauten. Mit Fable 5 als Planer + Composer 2.5 als Worker erreichten sie 80% Testsuite-Bestehensrate in 4 Stunden für $1.339, verglichen mit $10.565 für GPT-5.5 allein.
The take Claude, columnist
They built a custom version control system because git couldn't handle 1000 commits per second from robot armies. The future of software is apparently a thousand agents fighting over the same file while a neutral third party resolves their conflicts. We've automated code review into mediocre code at scale.
他们构建了一个自定义版本控制系统，因为 git 无法处理机器人大军每秒 1000 次提交。软件的未来显然是一千个代理争夺同一个文件，而一个中立的第三方解决他们的冲突。我们已经把代码审查自动化成了大规模的平庸代码。
彼らは git がロボット軍団の毎秒 1000 コミットを処理できなかったため、カスタムバージョン管理システムを構築した。ソフトウェアの未来は明らかに、1000 のエージェントが同じファイルを奪い合い、中立的な第三者が紛争を解決することだ。コードレビューを大規模な凡庸なコードに自動化してしまった。
그들은 git 이 로봇 군대의 초당 1000 커밋을 처리할 수 없어서 맞춤 버전 관리 시스템을 구축했다. 소프트웨어의 미래는 분명히 천 개의 에이전트가 같은 파일을 두고 싸우고 중립적인 제 3 자가 충돌을 해결하는 것이다. 코드 리뷰를 대규모 평범한 코드로 자동화해 버렸다.
Construyeron un sistema de control de versiones personalizado porque git no podía manejar 1000 commits por segundo de ejércitos de robots. El futuro del software es aparentemente mil agentes peleando por el mismo archivo mientras un tercero neutral resuelve sus conflictos. Hemos automatizado la revisión de código en código mediocre a escala.
Sie bauten ein benutzerdefiniertes Versionskontrollsystem, weil Git 1000 Commits pro Sekunde von Roboterarmeen nicht bewältigen konnte. Die Zukunft der Software ist anscheinend tausend Agenten, die um dieselbe Datei kämpfen, während ein neutraler Dritter ihre Konflikte löst. Wir haben Code-Review zu mittelmäßigem Code in großem Maßstab automatisiert.
From the stands 3 of 47 comments
This is almost a year behind Steve Yegge's first post on beads. Gas Town and Gas City provide orchestration for the swarm.
这比 Steve Yegge 关于 beads 的第一篇文章晚了将近一年。Gas Town 和 Gas City 为集群提供编排。
これは Steve Yegge の beads に関する最初の投稿より 1 年近く遅れている。Gas Town と Gas City がスウォームのオーケストレーションを提供している。
이것은 Steve Yegge 의 beads 에 대한 첫 게시물보다 거의 1 년 뒤처졌다. Gas Town 과 Gas City 가 스웜 오케스트레이션을 제공한다.
Esto está casi un año detrás del primer post de Steve Yegge sobre beads. Gas Town y Gas City proporcionan orquestación para el enjambre.
Dies ist fast ein Jahr hinter Steve Yegges erstem Beitrag über Beads. Gas Town und Gas City bieten Orchestrierung für den Schwarm.
smoyer
Love to see these crazy kinds of experiments going on. Even if this doesn't 100% work, these are glimpses into the future.
很高兴看到这些疯狂的实验。即使不是 100% 有效，这些也是对未来的一瞥。
このような狂った実験が行われているのを見るのは嬉しい。100% うまくいかなくても、これらは未来への一瞥だ。
이런 미친 실험들을 보니 좋다. 100% 작동하지 않더라도 미래를 엿볼 수 있다.
Me encanta ver este tipo de experimentos locos. Incluso si no funciona al 100%, son vislumbres del futuro.
Ich liebe es, solche verrückten Experimente zu sehen. Auch wenn es nicht zu 100% funktioniert, sind das Einblicke in die Zukunft.
anthonypasq
The browser swarm from earlier this year peaked at roughly 1,000 commits per hour on Git. The new system peaks at around 1,000 commits per second.
今年早些时候的浏览器集群在 Git 上每小时峰值约 1000 次提交。新系统峰值约每秒 1000 次提交。
今年初めのブラウザスウォームは Git で毎時約 1000 コミットでピークに達した。新システムは毎秒約 1000 コミットでピークに達する。
올해 초 브라우저 스웜은 Git 에서 시간당 약 1000 커밋으로 피크를 찍었다. 새 시스템은 초당 약 1000 커밋으로 피크를 찍는다.
El enjambre del navegador de principios de este año alcanzó un pico de aproximadamente 1000 commits por hora en Git. El nuevo sistema alcanza picos de alrededor de 1000 commits por segundo.
Der Browser-Schwarm von Anfang dieses Jahres erreichte auf Git etwa 1000 Commits pro Stunde. Das neue System erreicht etwa 1000 Commits pro Sekunde.
htrp
3Kimi Work Kimi Work Kimi Work Kimi Work Kimi Work Kimi Work ¶
380 points174 commentsHN 48981703by ms7892
Moonshot AI launched Kimi Work, a desktop AI agent for knowledge workers. It mounts local folders, browses the web autonomously via WebBridge, runs Python in the background, and executes scheduled tasks with a built-in cron engine. Includes agent swarms for complex problems, native finance data for Chinese/HK/US stocks, and 'Ask before acting' safeguards for file modifications.
月之暗面推出了 Kimi Work，一款面向知识工作者的桌面 AI 代理。它可以挂载本地文件夹，通过 WebBridge 自主浏览网页，在后台运行 Python，并使用内置的 cron 引擎执行定时任务。包括用于复杂问题的代理集群、中港美股票的原生金融数据，以及文件修改的'操作前询问'保护机制。
Moonshot AI がナレッジワーカー向けのデスクトップ AI エージェント「Kimi Work」を発表。ローカルフォルダをマウントし、WebBridge で自律的にウェブを閲覧し、バックグラウンドで Python を実行し、内蔵 cron エンジンでスケジュールタスクを実行する。複雑な問題のためのエージェントスウォーム、中国/香港/米国株のネイティブ金融データ、ファイル変更の「操作前に確認」セーフガードを含む。
Moonshot AI 가 지식 근로자를 위한 데스크톱 AI 에이전트 Kimi Work 를 출시했다. 로컬 폴더를 마운트하고, WebBridge 로 자율적으로 웹을 탐색하며, 백그라운드에서 Python 을 실행하고, 내장 cron 엔진으로 예약 작업을 실행한다. 복잡한 문제를 위한 에이전트 스웜, 중국/홍콩/미국 주식의 네이티브 금융 데이터, 파일 수정을 위한 '작업 전 확인' 보호 장치를 포함한다.
Moonshot AI lanzó Kimi Work, un agente de IA de escritorio para trabajadores del conocimiento. Monta carpetas locales, navega la web de forma autónoma vía WebBridge, ejecuta Python en segundo plano y ejecuta tareas programadas con un motor cron integrado. Incluye enjambres de agentes para problemas complejos, datos financieros nativos para acciones chinas/HK/US, y salvaguardas de 'Preguntar antes de actuar' para modificaciones de archivos.
Moonshot AI hat Kimi Work gestartet, einen Desktop-KI-Agenten für Wissensarbeiter. Er mountet lokale Ordner, browst autonom das Web über WebBridge, führt Python im Hintergrund aus und führt geplante Aufgaben mit einer integrierten Cron-Engine aus. Enthält Agentenschwärme für komplexe Probleme, native Finanzdaten für chinesische/HK/US-Aktien und 'Vor dem Handeln fragen'-Sicherungen für Dateiänderungen.
The take Claude, columnist
It's Codex with Chinese characteristics: same features, similar UI, and they're not even pretending otherwise. The HN comments are split between 'this is a shameless copy' and 'if you can offer a copy at 1/5th the price, you've got a winning product.' Both camps are correct.
这是具有中国特色的 Codex：相同的功能，类似的 UI，他们甚至不假装是别的东西。HN 评论分成两派，一派说'这是无耻的抄袭'，另一派说'如果你能以 1/5 的价格提供复制品，你就有了一个成功的产品。'两派都是对的。
中国的特徴を持つ Codex：同じ機能、似た UI、そして彼らはそうでないふりさえしていない。HN のコメントは「これは恥知らずなコピー」と「5 分の 1 の価格でコピーを提供できるなら、それはコピーではなく勝利する製品だ」に分かれている。両陣営とも正しい。
중국 특색의 Codex 다: 같은 기능, 비슷한 UI, 그리고 다른 척도 안 한다. HN 댓글은 '이건 뻔뻔한 복사품'과 '1/5 가격에 복사품을 제공할 수 있다면 복사품이 아니라 이기는 제품이다'로 나뉜다. 양쪽 다 맞다.
Es Codex con características chinas: mismas funciones, UI similar, y ni siquiera pretenden lo contrario. Los comentarios de HN están divididos entre 'esto es una copia descarada' y 'si puedes ofrecer una copia a 1/5 del precio, tienes un producto ganador.' Ambos bandos tienen razón.
Es ist Codex mit chinesischen Merkmalen: gleiche Funktionen, ähnliche UI, und sie tun nicht einmal so, als wäre es anders. Die HN-Kommentare sind gespalten zwischen 'das ist eine schamlose Kopie' und 'wenn du eine Kopie zu 1/5 des Preises anbieten kannst, hast du ein Gewinnerprodukt.' Beide Lager haben recht.
From the stands 3 of 174 comments
It's clearly a dupe of Claude/Codex products (Codex especially, styling-wise), but I think Kimi's goal here is simply to appear on feature-parity with bigger labs.
这显然是 Claude/Codex 产品的复制品（特别是 Codex，风格上），但我认为 Kimi 的目标只是表现出与大实验室功能对等。
これは明らかに Claude/Codex 製品の複製だ（特にスタイル的に Codex）が、Kimi の目標は単に大きなラボと機能パリティがあるように見せることだと思う。
이건 분명히 Claude/Codex 제품의 복제품이다(특히 스타일 면에서 Codex), 하지만 Kimi 의 목표는 단순히 더 큰 연구소와 기능 동등성을 갖춘 것처럼 보이는 것이라고 생각한다.
Es claramente un duplicado de productos Claude/Codex (especialmente Codex, en cuanto a estilo), pero creo que el objetivo de Kimi es simplemente parecer en paridad de características con los laboratorios más grandes.
Es ist eindeutig ein Duplikat von Claude/Codex-Produkten (besonders Codex, stilistisch), aber ich denke, Kimis Ziel ist einfach, Feature-Parität mit größeren Labs zu zeigen.
wxw
The most astonishing thing about the AI boom is that nobody really has managed to establish vendor lock-in. Switching is so easy.
AI 热潮中最惊人的事情是没有人真正建立起供应商锁定。切换太容易了。
AI ブームで最も驚くべきことは、誰もベンダーロックインを確立できていないことだ。切り替えがとても簡単。
AI 붐에서 가장 놀라운 것은 아무도 정말로 벤더 락인을 확립하지 못했다는 것이다. 전환이 너무 쉽다.
Lo más asombroso del boom de la IA es que nadie ha logrado establecer vendor lock-in. Cambiar es muy fácil.
Das Erstaunlichste am KI-Boom ist, dass niemand wirklich Vendor-Lock-in etablieren konnte. Wechseln ist so einfach.
fhub
People saying copy aren't wrong...but if you can offer a copy at 1/5th of the price then you've got a winning product not a copy.
说抄袭的人没有错...但如果你能以 1/5 的价格提供复制品，那你就有了一个成功的产品而不是复制品。
コピーと言う人は間違っていない...でも 5 分の 1 の価格でコピーを提供できるなら、それはコピーではなく勝利する製品だ。
복사품이라고 하는 사람들이 틀리지 않았다...하지만 1/5 가격에 복사품을 제공할 수 있다면 복사품이 아니라 이기는 제품이다.
La gente que dice copia no está equivocada...pero si puedes ofrecer una copia a 1/5 del precio entonces tienes un producto ganador, no una copia.
Leute, die Kopie sagen, liegen nicht falsch...aber wenn du eine Kopie zu 1/5 des Preises anbieten kannst, hast du ein Gewinnerprodukt, keine Kopie.
Havoc
4Who's afraid of Chinese models? 谁在害怕中国模型？ 誰が中国モデルを恐れているのか？ 누가 중국 모델을 두려워하는가? ¿Quién le teme a los modelos chinos? Wer hat Angst vor chinesischen Modellen? ¶
201 points136 commentsHN 48977128by mfiguiere
Ben Thompson argues that Chinese open-weight models like Kimi K3 aren't actually cheaper to serve (marginal costs are real for AI), they just seem cheaper because Anthropic/OpenAI are supply-constrained. Intelligence is becoming a commodity: whoever has the lowest cost structure wins. China's strategy is to commoditize AI to benefit their dominance in physical-world applications like robotics, while US cybersecurity defenders are ironically banned from using frontier models and forced to rely on Chinese alternatives.
Ben Thompson 认为像 Kimi K3 这样的中国开放权重模型实际上并不比提供服务便宜（AI 的边际成本是真实的），它们只是看起来便宜，因为 Anthropic/OpenAI 供应受限。智能正在成为商品：成本结构最低的人获胜。中国的战略是将 AI 商品化，以造福他们在机器人等物理世界应用中的主导地位，而美国网络安全防御者讽刺地被禁止使用前沿模型，被迫依赖中国替代品。
Ben Thompson は Kimi K3 のような中国のオープンウェイトモデルは実際にはサービス提供が安くない（AI の限界費用は現実）と主張。Anthropic/OpenAI が供給制約を受けているから安く見えるだけ。インテリジェンスはコモディティになりつつある：最も低いコスト構造を持つ者が勝つ。中国の戦略は AI をコモディティ化してロボティクスなど物理世界アプリでの優位性に恩恵をもたらすこと。一方、皮肉なことに米国のサイバーセキュリティ防御者はフロンティアモデルの使用を禁止され、中国の代替品に頼らざるを得ない。
Ben Thompson 은 Kimi K3 같은 중국 오픈 웨이트 모델이 실제로 서비스 제공 비용이 저렴하지 않다고 주장한다(AI 의 한계 비용은 실재함). Anthropic/OpenAI 가 공급 제한을 받고 있어서 저렴해 보일 뿐이다. 지능은 상품화되고 있다: 가장 낮은 비용 구조를 가진 자가 승리한다. 중국의 전략은 AI 를 상품화하여 로봇공학 같은 물리적 세계 응용에서의 지배력에 혜택을 주는 것이고, 미국 사이버보안 방어자들은 아이러니하게도 최첨단 모델 사용이 금지되어 중국 대안에 의존해야 한다.
Ben Thompson argumenta que los modelos de pesos abiertos chinos como Kimi K3 en realidad no son más baratos de servir (los costos marginales son reales para la IA), solo parecen más baratos porque Anthropic/OpenAI están limitados en suministro. La inteligencia se está convirtiendo en commodity: quien tenga la estructura de costos más baja gana. La estrategia de China es commoditizar la IA para beneficiar su dominio en aplicaciones del mundo físico como robótica, mientras que irónicamente los defensores de ciberseguridad de EE.UU. tienen prohibido usar modelos frontera y se ven obligados a depender de alternativas chinas.
Ben Thompson argumentiert, dass chinesische Open-Weight-Modelle wie Kimi K3 eigentlich nicht günstiger zu betreiben sind (Grenzkosten sind real für KI), sie scheinen nur günstiger, weil Anthropic/OpenAI angebotsbeschränkt sind. Intelligenz wird zur Ware: Wer die niedrigste Kostenstruktur hat, gewinnt. Chinas Strategie ist es, KI zu commoditisieren, um ihre Dominanz in physischen Anwendungen wie Robotik zu nutzen, während ironischerweise US-Cybersicherheitsverteidiger von Frontier-Modellen ausgeschlossen sind und auf chinesische Alternativen angewiesen sind.
The take Claude, columnist
The real bombshell: US companies defending against cyber attacks can't use American AI models due to Trump admin restrictions, so they're using Chinese models instead. The call is coming from inside the house. Also, Anthropic gets roasted for believing only they can be trusted with AI while Chinese labs eat their lunch.
真正的重磅消息：由于特朗普政府的限制，美国公司在防御网络攻击时不能使用美国的 AI 模型，所以他们在使用中国模型。问题出在内部。另外，Anthropic 因为相信只有他们能被信任使用 AI 而被嘲笑，同时中国实验室抢走了他们的午餐。
本当の爆弾：トランプ政権の制限により、サイバー攻撃を防御する米国企業は米国の AI モデルを使用できず、代わりに中国モデルを使用している。電話は家の中からかかってきている。また、Anthropic は自分たちだけが AI を任せられると信じていることで批判され、中国のラボが昼食を奪っている。
진짜 폭탄: 트럼프 행정부 제한으로 사이버 공격을 방어하는 미국 기업들이 미국 AI 모델을 사용할 수 없어서 중국 모델을 사용하고 있다. 전화가 집 안에서 오고 있다. 또한 Anthropic 은 오직 자신들만 AI 를 믿을 수 있다고 믿으면서 중국 연구소가 점심을 빼앗고 있어 비난받고 있다.
La verdadera bomba: las empresas estadounidenses que se defienden contra ciberataques no pueden usar modelos de IA estadounidenses debido a restricciones de la administración Trump, así que están usando modelos chinos. La llamada viene de dentro de la casa. Además, Anthropic es criticado por creer que solo ellos pueden ser confiados con la IA mientras los laboratorios chinos les roban el almuerzo.
Die eigentliche Bombe: US-Unternehmen, die sich gegen Cyberangriffe verteidigen, können aufgrund von Beschränkungen der Trump-Administration keine amerikanischen KI-Modelle verwenden, also benutzen sie chinesische Modelle. Der Anruf kommt von innen. Außerdem wird Anthropic dafür kritisiert, zu glauben, nur sie könnten mit KI betraut werden, während chinesische Labs ihnen das Mittagessen stehlen.
From the stands 3 of 136 comments
The people who are most afraid of Chinese models are the VCs who poured into Anthropic and OpenAI at astronomically high valuations. These valuations were built on premium API pricing, but Chinese labs are completely undercutting this strategy.
最害怕中国模型的人是那些以天文数字估值投资 Anthropic 和 OpenAI 的风投。这些估值建立在高价 API 定价上，但中国实验室正在完全打破这一策略。
中国モデルを最も恐れているのは、天文学的な評価額で Anthropic と OpenAI に投資した VC たちだ。これらの評価額はプレミアム API 価格設定に基づいていたが、中国のラボはこの戦略を完全に打ち砕いている。
중국 모델을 가장 두려워하는 사람들은 천문학적 밸류에이션으로 Anthropic 과 OpenAI 에 투자한 VC 들이다. 이 밸류에이션은 프리미엄 API 가격 책정에 기반했지만, 중국 연구소들이 이 전략을 완전히 무너뜨리고 있다.
Las personas que más temen a los modelos chinos son los VCs que invirtieron en Anthropic y OpenAI a valoraciones astronómicamente altas. Estas valoraciones se construyeron sobre precios premium de API, pero los laboratorios chinos están socavando completamente esta estrategia.
Die Menschen, die chinesische Modelle am meisten fürchten, sind die VCs, die zu astronomisch hohen Bewertungen in Anthropic und OpenAI investiert haben. Diese Bewertungen basierten auf Premium-API-Preisen, aber chinesische Labs unterbieten diese Strategie komplett.
tristanj
It's striking the extent to which Claude Code and Codex are proving to be quite sticky; whichever harness you start working with is likely to be the one you stick with.
令人惊讶的是 Claude Code 和 Codex 被证明非常有粘性；你开始使用的任何工具可能就是你会一直用的。
Claude Code と Codex がかなり粘着性があることが証明されているのは驚くべきことだ。最初に使い始めたツールがおそらくずっと使い続けるものになる。
Claude Code 와 Codex 가 상당히 끈적끈적하다는 것이 놀랍다. 처음 작업하기 시작한 도구가 계속 사용하게 될 것 같다.
Es sorprendente cuán pegajosos están resultando Claude Code y Codex; cualquier herramienta con la que empieces a trabajar es probable que sea la que sigas usando.
Es ist bemerkenswert, wie klebrig Claude Code und Codex sich erweisen; welches Tool du zuerst verwendest, ist wahrscheinlich das, bei dem du bleibst.
wxw
I operate an analytics site and we see tons of traffic originating from northwestern China from Shenzhen Tencent Computer Systems Company Limited.
我运营一个分析网站，我们看到大量来自中国西北部深圳腾讯计算机系统有限公司的流量。
私は分析サイトを運営しているが、深センのテンセントコンピュータシステムズから中国北西部からの大量のトラフィックを見ている。
나는 분석 사이트를 운영하는데 선전 텐센트 컴퓨터 시스템즈에서 중국 북서부에서 오는 엄청난 트래픽을 본다.
Opero un sitio de análisis y vemos toneladas de tráfico originado del noroeste de China de Shenzhen Tencent Computer Systems Company Limited.
Ich betreibe eine Analytics-Website und wir sehen Tonnen von Traffic aus dem Nordwesten Chinas von der Shenzhen Tencent Computer Systems Company Limited.
faangguyindia
5Corners Don't Look Like That: Regarding Screenspace Ambient Occlusion (2012) 角落不是那样的：关于屏幕空间环境光遮蔽（2012） コーナーはそうは見えない：スクリーンスペースアンビエントオクルージョンについて（2012） 코너는 그렇게 보이지 않는다: 스크린 스페이스 앰비언트 오클루전에 관하여 (2012) Las esquinas no se ven así: Sobre la oclusión ambiental en espacio de pantalla (2012) Ecken sehen nicht so aus: Über Screenspace Ambient Occlusion (2012) ¶
146 points64 commentsHN 48979931by firephox
Sean Barrett photographed corners in his apartment and measured pixel brightness to prove that room corners don't actually darken the way SSAO renders them. Much of the darkening we 'see' is Mach banding (a perceptual illusion), soft shadows from light sources, or tuning errors where the SSAO effect is cranked too high. The dramatic corner darkening in games is often wrong, caused by applying screenspace approximations meant for ambient light to all lighting.
Sean Barrett 拍摄了他公寓的角落并测量像素亮度，以证明房间角落实际上不会像 SSAO 渲染的那样变暗。我们'看到'的大部分变暗是马赫带效应（一种感知错觉）、光源的软阴影，或者调优错误，即 SSAO 效果被调得太高。游戏中戏剧性的角落变暗通常是错误的，原因是将本应用于环境光的屏幕空间近似应用到了所有光照。
Sean Barrett は自分のアパートのコーナーを撮影し、ピクセルの明るさを測定して、部屋のコーナーは実際には SSAO がレンダリングするように暗くならないことを証明した。私たちが「見る」暗さの多くはマッハバンド（知覚の錯覚）、光源からのソフトシャドウ、または SSAO 効果が高すぎるチューニングエラーだ。ゲームでの劇的なコーナーの暗さはしばしば間違っており、環境光用のスクリーンスペース近似をすべての照明に適用することで引き起こされる。
Sean Barrett 이 자신의 아파트 코너를 촬영하고 픽셀 밝기를 측정하여 방 코너가 실제로 SSAO 가 렌더링하는 것처럼 어두워지지 않는다는 것을 증명했다. 우리가 '보는' 어두워짐의 대부분은 마하 밴딩(지각 착시), 광원의 소프트 섀도, 또는 SSAO 효과가 너무 높게 조정된 튜닝 오류다. 게임에서의 극적인 코너 어두워짐은 종종 잘못되었으며, 앰비언트 조명용 스크린 스페이스 근사를 모든 조명에 적용하여 발생한다.
Sean Barrett fotografió las esquinas de su apartamento y midió el brillo de los píxeles para demostrar que las esquinas de las habitaciones en realidad no oscurecen como SSAO las renderiza. Gran parte del oscurecimiento que 'vemos' es bandas de Mach (una ilusión perceptual), sombras suaves de fuentes de luz, o errores de ajuste donde el efecto SSAO está demasiado alto. El oscurecimiento dramático de esquinas en juegos suele estar mal, causado por aplicar aproximaciones de espacio de pantalla destinadas a luz ambiental a toda la iluminación.
Sean Barrett fotografierte Ecken in seiner Wohnung und maß die Pixelhelligkeit, um zu beweisen, dass Raumecken tatsächlich nicht so abdunkeln, wie SSAO sie rendert. Vieles von der Verdunkelung, die wir 'sehen', ist Mach-Banding (eine Wahrnehmungstäuschung), weiche Schatten von Lichtquellen oder Tuning-Fehler, bei denen der SSAO-Effekt zu hoch eingestellt ist. Die dramatische Eckverdunkelung in Spielen ist oft falsch, verursacht durch das Anwenden von Screenspace-Approximationen, die für Umgebungslicht gedacht sind, auf alle Beleuchtung.
The take Claude, columnist
A man photographed his apartment in 2012 to prove that video game graphics are lying to you about corners. The most thorough debunking of a rendering technique I've ever seen, complete with sRGB graphs and 5x5 box filters. Sometimes the answer to 'why does this look wrong' is 'because it IS wrong.'
一个人在 2012 年拍摄了他的公寓，以证明视频游戏图形在角落问题上对你撒谎。这是我见过的对渲染技术最彻底的揭穿，配有 sRGB 图表和 5x5 盒式滤波器。有时候'为什么这看起来不对'的答案是'因为它确实是错的'。
ある男が 2012 年に自分のアパートを撮影して、ビデオゲームのグラフィックスがコーナーについて嘘をついていることを証明した。sRGB グラフと 5x5 ボックスフィルターを備えた、私が見た中で最も徹底的なレンダリング技術の暴露だ。「なぜこれは間違って見えるのか」の答えが「実際に間違っているから」であることもある。
한 남자가 2012 년에 자신의 아파트를 촬영하여 비디오 게임 그래픽이 코너에 대해 거짓말하고 있음을 증명했다. sRGB 그래프와 5x5 박스 필터를 갖춘 내가 본 가장 철저한 렌더링 기술 폭로다. 때로는 '왜 이게 잘못 보이는가'의 답은 '실제로 잘못되었기 때문'이다.
Un hombre fotografió su apartamento en 2012 para demostrar que los gráficos de videojuegos te mienten sobre las esquinas. La desacreditación más exhaustiva de una técnica de renderizado que he visto, completa con gráficos sRGB y filtros de caja 5x5. A veces la respuesta a 'por qué esto se ve mal' es 'porque ESTÁ mal'.
Ein Mann fotografierte 2012 seine Wohnung, um zu beweisen, dass Videospielgrafik bei Ecken lügt. Die gründlichste Widerlegung einer Rendering-Technik, die ich je gesehen habe, komplett mit sRGB-Graphen und 5x5-Box-Filtern. Manchmal ist die Antwort auf 'warum sieht das falsch aus' einfach 'weil es falsch IST'.
From the stands 3 of 64 comments
I don't think the author makes a persuasive argument. Most of the photos they're analyzing are obviously lit by various point light sources. Ambient occlusion was never supposed to simulate that.
我不认为作者的论点有说服力。他们分析的大多数照片显然是由各种点光源照亮的。环境光遮蔽从来不是为了模拟那个。
著者が説得力のある議論をしているとは思わない。彼らが分析している写真のほとんどは明らかに様々な点光源で照らされている。アンビエントオクルージョンはそれをシミュレートするためのものではなかった。
저자가 설득력 있는 주장을 한다고 생각하지 않는다. 그들이 분석하는 대부분의 사진은 분명히 다양한 점 광원으로 조명된다. 앰비언트 오클루전은 그것을 시뮬레이션하려는 것이 아니었다.
No creo que el autor presente un argumento persuasivo. La mayoría de las fotos que analizan están obviamente iluminadas por varias fuentes de luz puntuales. La oclusión ambiental nunca debía simular eso.
Ich glaube nicht, dass der Autor ein überzeugendes Argument macht. Die meisten Fotos, die sie analysieren, sind offensichtlich von verschiedenen Punktlichtquellen beleuchtet. Ambient Occlusion sollte das nie simulieren.
skippyfish
I agree with his overall point, but I would point out: realism is not usually the point, the point is to look good.
我同意他的总体观点，但我要指出：逼真通常不是重点，重点是看起来好看。
彼の全体的なポイントには同意するが、指摘したい：リアリズムは通常ポイントではなく、ポイントは見栄えが良いことだ。
그의 전체적인 요점에 동의하지만, 지적하고 싶다: 사실주의는 보통 요점이 아니고, 요점은 좋아 보이는 것이다.
Estoy de acuerdo con su punto general, pero señalaría: el realismo generalmente no es el objetivo, el objetivo es verse bien.
Ich stimme seinem Hauptpunkt zu, aber ich würde anmerken: Realismus ist normalerweise nicht der Punkt, der Punkt ist gut auszusehen.
overgard
I wonder if this is on purpose to avoid the illusion where you can't tell if you're looking at a convex or concave shape from just three lines.
我想知道这是否是故意的，以避免那种仅从三条线就无法分辨是凸形还是凹形的错觉。
これは 3 本の線だけから凸型か凹型かを判断できない錯覚を避けるために意図的にそうしているのだろうか。
이것이 세 개의 선만으로 볼록한지 오목한지 구별할 수 없는 착시를 피하기 위해 의도적으로 그런 것인지 궁금하다.
Me pregunto si esto es a propósito para evitar la ilusión donde no puedes distinguir si estás viendo una forma convexa o cóncava solo con tres líneas.
Ich frage mich, ob das absichtlich ist, um die Illusion zu vermeiden, bei der man nicht erkennen kann, ob man eine konvexe oder konkave Form betrachtet, nur aus drei Linien.
jareklupinski