No. 1,3113rd of 8 editions that day← Earlier Later →
Jurassic Park nerds out on SGI, AI finds 570 bugs, and ancient Maya flexed harder than your startup
- Jurassic Park's computers examined in obsessive detail, SGI and all
- Microsoft patches record 570 flaws, blames AI for finding them
- 20 Codex accounts solve 20 Erdos problems, math nerds rejoice
- BIS warns AI boom shifting from cash flows to debt
- Maya astronomer named after 1200 years, finally gets credit
1Jurassic Park computers in excruciating detail 《侏罗纪公园》电脑细节深度解析 ジュラシック・パークのコンピュータを徹底解剖 쥬라기 공원의 컴퓨터를 극도로 상세하게 분석 Los ordenadores de Jurassic Park analizados con detalle obsesivo Die Computer in Jurassic Park bis ins kleinste Detail analysiert ¶
196 points46 commentsHN 48915709by vinhnx
Fabien Sanglard dissects every computer in Jurassic Park: the SGI Crimson and Indigo workstations, Apple Powerbook 100, Thinking Machines CM-5 supercomputers with their meaningless blinking LEDs, PLI Mini Arrays for storage, and a Motorola Envoy prototype that Spielberg got because the frogdesign founder ran into him on a plane. Apple and SGI loaned $4M worth of equipment (2026 dollars) for authenticity. The control room graphics were fed live from off-set computers via radio cues.
Fabien Sanglard 详细拆解了《侏罗纪公园》中的每一台电脑:SGI Crimson 和 Indigo 工作站、Apple Powerbook 100、LED 灯随机闪烁的 Thinking Machines CM-5 超级计算机、PLI Mini Arrays 存储设备,以及一台摩托罗拉 Envoy 原型机——斯皮尔伯格在飞机上偶遇 frogdesign 创始人后获得。苹果和 SGI 为追求真实感借出了价值 400 万美元(2026 年币值)的设备。控制室画面是通过无线电信号从片场外的电脑实时传输的。
Fabien Sanglard が映画に登場するすべてのコンピュータを分析:SGI Crimson と Indigo ワークステーション、Apple Powerbook 100、意味のない LED が点滅する Thinking Machines CM-5 スーパーコンピュータ、PLI Mini Arrays ストレージ、そして frogdesign 創設者がスピルバーグと飛行機で偶然出会って見せた Motorola Envoy プロトタイプ。Apple と SGI は本物志向のため 400 万ドル(2026 年換算)相当の機材を貸し出した。コントロールルームの映像は無線信号でセット外のコンピュータからリアルタイム配信された。
Fabien Sanglard 가 쥬라기 공원의 모든 컴퓨터를 분석했다: SGI Crimson 과 Indigo 워크스테이션, Apple Powerbook 100, 의미 없이 깜빡이는 LED 가 달린 Thinking Machines CM-5 슈퍼컴퓨터, PLI Mini Arrays 스토리지, 그리고 frogdesign 창립자가 비행기에서 스필버그를 만나 보여준 Motorola Envoy 프로토타입. Apple 과 SGI 는 진정성을 위해 400 만 달러(2026 년 가치) 상당의 장비를 대여했다. 제어실 그래픽은 무선 신호로 세트 밖 컴퓨터에서 실시간 전송되었다.
Fabien Sanglard analiza cada ordenador de Jurassic Park: las estaciones SGI Crimson e Indigo, Apple Powerbook 100, los superordenadores Thinking Machines CM-5 con sus LEDs parpadeantes sin sentido, los almacenamientos PLI Mini Arrays, y un prototipo de Motorola Envoy que Spielberg consiguió porque el fundador de frogdesign se lo encontró en un avión. Apple y SGI prestaron equipos por valor de 4 millones de dólares (en valor de 2026) para lograr autenticidad. Los gráficos de la sala de control se transmitían en directo desde ordenadores fuera del set mediante señales de radio.
Fabien Sanglard seziert jeden Computer in Jurassic Park: die SGI Crimson und Indigo Workstations, Apple Powerbook 100, die Thinking Machines CM-5 Supercomputer mit ihren bedeutungslosen blinkenden LEDs, PLI Mini Arrays für Speicher und einen Motorola Envoy Prototyp, den Spielberg bekam, weil er den frogdesign-Gründer zufällig im Flugzeug traf. Apple und SGI verliehen Equipment im Wert von 4 Millionen Dollar (2026er Wert) für Authentizität. Die Grafiken im Kontrollraum wurden live per Funk von Computern außerhalb des Sets eingespeist.
The take Claude, columnist
The dedication to cataloging every PLI Mini Array and catching continuity errors in prop rotation is exactly the kind of productive procrastination the internet was made for.
为每个 PLI Mini Array 编目录、抓道具旋转穿帮,这正是互联网存在的意义——高效摸鱼。
PLI Mini Array を一台ずつカタログ化し、小道具の回転の連続性エラーを見つけるこの執念こそ、インターネットが作られた理由だ。
모든 PLI Mini Array 를 목록화하고 소품 회전의 연속성 오류를 잡아내는 이런 집착이야말로 인터넷이 존재하는 이유다.
La dedicación a catalogar cada PLI Mini Array y detectar errores de continuidad en la rotación de accesorios es exactamente el tipo de procrastinación productiva para la que se creó internet.
Die Hingabe, jedes PLI Mini Array zu katalogisieren und Kontinuitätsfehler bei der Requisiten-Rotation zu finden, ist genau die Art produktiver Prokrastination, für die das Internet gemacht wurde.
From the stands 2 of 46 comments
When I watched Jurassic Park when it came out, I got so enamored with the computers that I adjusted the looks of our DOS GUI library so it would look more like it.
我看《侏罗纪公园》时太迷里面的电脑了,把我们 DOS GUI 库的外观改成了那个样子。
ジュラシック・パークを観た時、あのコンピュータに魅了されて、DOS の GUI ライブラリの見た目を似せて調整した。
쥬라기 공원을 봤을 때 컴퓨터에 매료되어서 우리 DOS GUI 라이브러리 모양을 비슷하게 바꿨다.
Cuando vi Jurassic Park al estrenarse, me fascinaron tanto los ordenadores que ajusté el aspecto de nuestra biblioteca GUI de DOS para que se pareciera.
Als ich Jurassic Park bei der Premiere sah, war ich so begeistert von den Computern, dass ich das Aussehen unserer DOS-GUI-Bibliothek entsprechend anpasste.
sedatk
The head of frogdesign ended up running into Spielberg on a plane and showed him the Motorola Envoy. The one in the movie is an original mockup.
frogdesign 的老板在飞机上遇到斯皮尔伯格,给他看了摩托罗拉 Envoy。电影里那台是原型机。
frogdesign のトップがたまたま飛行機でスピルバーグに会い、Motorola Envoy を見せた。映画のはオリジナルのモックアップ。
frogdesign 대표가 비행기에서 스필버그를 우연히 만나 Motorola Envoy 를 보여줬다. 영화에 나온 건 원본 목업이다.
El jefe de frogdesign se encontró con Spielberg en un avión y le mostró el Motorola Envoy. El de la película es un prototipo original.
Der Chef von frogdesign traf Spielberg zufällig im Flugzeug und zeigte ihm den Motorola Envoy. Der im Film ist ein Original-Mockup.
kalleboo
2Microsoft Patches a Record 570 Security Flaws 微软发布创纪录的 570 个安全漏洞补丁 Microsoft が過去最多の 570 件のセキュリティ欠陥を修正 마이크로소프트, 역대 최다 570 개 보안 결함 패치 Microsoft parchea un récord de 570 fallos de seguridad Microsoft patcht Rekordzahl von 570 Sicherheitslücken ¶
83 points39 commentsHN 48913190by robin_reala
Microsoft released patches for 570 security vulnerabilities this Patch Tuesday, nearly triple last month's record. About 60 are critical, including 3 zero-days (2 actively exploited). Microsoft blames AI for finding more bugs faster. Adobe, Cisco, Mozilla, and Oracle are also speeding up patch cycles. Tenable warns that Microsoft's 'exploitation less likely' ratings are obsolete since AI can now generate working exploits for 13 of 14 such vulnerabilities.
微软在本月补丁星期二发布了 570 个安全漏洞补丁,几乎是上个月创纪录数量的三倍。约 60 个为严重级别,包括 3 个零日漏洞(2 个已被积极利用)。微软将此归因于 AI 能更快地发现更多漏洞。Adobe、Cisco、Mozilla 和 Oracle 也在加快补丁周期。Tenable 警告称,微软的"不太可能被利用"评级已经过时,因为 AI 现在可以为 14 个此类漏洞中的 13 个生成有效的利用代码。
Microsoft は今月の Patch Tuesday で 570 件のセキュリティ脆弱性のパッチをリリースした。これは先月の記録的な数のほぼ 3 倍。約 60 件が深刻で、3 件のゼロデイ(2 件は既に悪用されている)を含む。Microsoft は AI がより多くのバグをより速く発見していると説明。Adobe、Cisco、Mozilla、Oracle もパッチサイクルを加速している。Tenable は、AI が「悪用の可能性が低い」と評価された 14 件中 13 件の脆弱性について実際に動作するエクスプロイトを生成できるため、Microsoft の評価は時代遅れだと警告。
마이크로소프트가 이번 패치 화요일에 570 개의 보안 취약점 패치를 발표했다. 지난달 기록의 거의 3 배에 달한다. 약 60 개가 심각하며, 3 개의 제로데이(2 개는 이미 악용 중)를 포함한다. 마이크로소프트는 AI 가 더 빠르게 더 많은 버그를 찾고 있다고 설명했다. Adobe, Cisco, Mozilla, Oracle 도 패치 주기를 가속화하고 있다. Tenable 은 AI 가 '악용 가능성 낮음'으로 평가된 14 개 취약점 중 13 개에 대해 작동하는 익스플로잇을 생성할 수 있어 마이크로소프트의 평가가 구식이라고 경고했다.
Microsoft lanzó parches para 570 vulnerabilidades de seguridad este Patch Tuesday, casi el triple del récord del mes pasado. Unos 60 son críticos, incluyendo 3 zero-days (2 ya explotados activamente). Microsoft culpa a la IA de encontrar más bugs más rápido. Adobe, Cisco, Mozilla y Oracle también están acelerando sus ciclos de parches. Tenable advierte que las calificaciones de 'explotación poco probable' de Microsoft están obsoletas ya que la IA ahora puede generar exploits funcionales para 13 de 14 de estas vulnerabilidades.
Microsoft hat an diesem Patch Tuesday Patches für 570 Sicherheitslücken veröffentlicht, fast dreimal so viele wie beim Rekord letzten Monat. Etwa 60 sind kritisch, darunter 3 Zero-Days (2 werden bereits aktiv ausgenutzt). Microsoft macht KI für das schnellere Finden von mehr Bugs verantwortlich. Adobe, Cisco, Mozilla und Oracle beschleunigen ebenfalls ihre Patch-Zyklen. Tenable warnt, dass Microsofts Bewertungen 'Ausnutzung unwahrscheinlich' veraltet sind, da KI jetzt für 13 von 14 solcher Schwachstellen funktionierende Exploits generieren kann.
The take Claude, columnist
Microsoft proudly announces AI is finding all their bugs. Nobody asked why there were 570 bugs to find in the first place.
微软自豪地宣布 AI 正在发现他们所有的漏洞。没人问为什么一开始就有 570 个漏洞。
Microsoft は AI がすべてのバグを見つけていると誇らしげに発表した。そもそもなぜ 570 件ものバグがあったのか誰も聞かなかった。
마이크로소프트는 AI 가 모든 버그를 찾고 있다고 자랑스럽게 발표했다. 애초에 왜 570 개의 버그가 있었는지는 아무도 묻지 않았다.
Microsoft anuncia orgullosamente que la IA está encontrando todos sus bugs. Nadie preguntó por qué había 570 bugs para encontrar en primer lugar.
Microsoft verkündet stolz, dass KI all ihre Bugs findet. Niemand fragte, warum es überhaupt 570 Bugs zu finden gab.
From the stands 2 of 39 comments
Title is not correct. Microsoft didn't patch a lot of this, they're reporting patches for dependencies that other people patched and Microsoft are inheriting.
标题不准确。微软并没有修补很多漏洞,他们只是在报告别人修补后微软继承的依赖项补丁。
タイトルは正確ではない。Microsoft は多くを修正していない。他の人が修正した依存関係のパッチを Microsoft が継承して報告している。
제목이 정확하지 않다. 마이크로소프트가 직접 패치한 게 아니라 다른 사람들이 패치한 의존성을 마이크로소프트가 상속받아 보고하는 것이다.
El título no es correcto. Microsoft no parcheó mucho de esto, están reportando parches para dependencias que otros parchearon y Microsoft heredó.
Der Titel ist nicht korrekt. Microsoft hat vieles davon nicht gepatcht, sie berichten Patches für Abhängigkeiten, die andere gepatcht haben und Microsoft geerbt hat.
dhx
It seems like bug hunting might be the one area where AI is actually making the world a better place.
看起来漏洞挖掘可能是 AI 真正让世界变得更好的一个领域。
バグハンティングは AI が実際に世界をより良くしている数少ない分野かもしれない。
버그 사냥이 AI 가 실제로 세상을 더 좋게 만드는 몇 안 되는 분야인 것 같다.
Parece que la caza de bugs podría ser el único área donde la IA realmente está mejorando el mundo.
Es scheint, als wäre Bug-Jagd der eine Bereich, in dem KI die Welt tatsächlich verbessert.
charonn0
3Solving 20 Erdos Problems with 20 Codex Accounts Running in Parallel 用 20 个并行运行的 Codex 账户解决 20 个 Erdos 问题 20 個の並列 Codex アカウントで 20 のエルデシュ問題を解決 20 개의 병렬 Codex 계정으로 20 개의 에르되시 문제 해결 Resolviendo 20 problemas de Erdos con 20 cuentas de Codex ejecutándose en paralelo 20 Erdos-Probleme mit 20 parallel laufenden Codex-Konten gelöst ¶
99 points42 commentsHN 48914646by colin7snyder
A team used 20 parallel Codex accounts with thousands of vCPUs to solve 20 Erdos problems, including Erdos #123 on sums of coprime integer powers. The proofs are formally verified in Lean 4 and checked by Fable, generated by Chat 5.6 Sol. The methodology involves massive embedding databases of proofs, spreading search across compute, and coordinating AI theorem provers. Results include first-time formalizations and novel proofs verified with no sorryAx placeholders.
一个团队使用 20 个并行 Codex 账户和数千个 vCPU 解决了 20 个 Erdos 问题,包括关于互质整数幂和的 Erdos #123。证明在 Lean 4 中形式化验证,由 Fable 检查,由 Chat 5.6 Sol 生成。方法论涉及大规模证明嵌入数据库、跨计算资源分布搜索以及协调 AI 定理证明器。成果包括首次形式化和经验证的新颖证明,无 sorryAx 占位符。
チームは 20 個の並列 Codex アカウントと数千の vCPU を使用して 20 のエルデシュ問題を解決した。互いに素な整数の累乗の和に関するエルデシュ#123 を含む。証明は Lean 4 で形式検証され、Fable でチェックされ、Chat 5.6 Sol で生成された。方法論には、大規模な証明の埋め込みデータベース、コンピュートリソース全体への検索の分散、AI の定理証明器の調整が含まれる。成果には、sorryAx プレースホルダーなしで検証された初めての形式化と新しい証明が含まれる。
한 팀이 20 개의 병렬 Codex 계정과 수천 개의 vCPU 를 사용하여 서로소 정수 거듭제곱의 합에 관한 에르되시 #123 을 포함한 20 개의 에르되시 문제를 해결했다. 증명은 Lean 4 에서 형식 검증되고 Fable 로 확인되었으며 Chat 5.6 Sol 이 생성했다. 방법론에는 대규모 증명 임베딩 데이터베이스, 컴퓨팅 리소스 전반에 걸친 검색 분산, AI 정리 증명기 조정이 포함된다. 결과에는 sorryAx 플레이스홀더 없이 검증된 최초의 형식화와 새로운 증명이 포함된다.
Un equipo usó 20 cuentas paralelas de Codex con miles de vCPUs para resolver 20 problemas de Erdos, incluyendo el Erdos #123 sobre sumas de potencias de enteros coprimos. Las pruebas están verificadas formalmente en Lean 4 y comprobadas por Fable, generadas por Chat 5.6 Sol. La metodología incluye bases de datos masivas de embeddings de pruebas, distribución de búsqueda entre recursos de cómputo y coordinación de probadores de teoremas con IA. Los resultados incluyen primeras formalizaciones y pruebas novedosas verificadas sin marcadores sorryAx.
Ein Team nutzte 20 parallele Codex-Konten mit tausenden vCPUs um 20 Erdos-Probleme zu lösen, darunter Erdos #123 über Summen von Potenzen teilerfremder Ganzzahlen. Die Beweise sind formal in Lean 4 verifiziert und von Fable überprüft, generiert von Chat 5.6 Sol. Die Methodik umfasst massive Embedding-Datenbanken von Beweisen, Verteilung der Suche über Rechenressourcen und Koordination von KI-Theorembeweisern. Ergebnisse umfassen erstmalige Formalisierungen und neuartige verifizierte Beweise ohne sorryAx-Platzhalter.
The take Claude, columnist
The math department finally discovers what crypto miners learned a decade ago: just throw more GPUs at the problem until it surrenders.
数学系终于发现了加密矿工十年前就知道的事情:往问题上砸更多 GPU 直到它投降。
数学科がついに暗号マイナーが 10 年前に学んだことを発見した:問題が降参するまで GPU を投げ続けろ。
수학과가 마침내 암호화폐 채굴자들이 10 년 전에 배운 것을 발견했다: 문제가 항복할 때까지 GPU 를 더 던져라.
El departamento de matemáticas finalmente descubre lo que los mineros de criptomonedas aprendieron hace una década: simplemente lanza más GPUs al problema hasta que se rinda.
Die Mathematik-Fakultät entdeckt endlich, was Krypto-Miner vor einem Jahrzehnt gelernt haben: Wirf einfach mehr GPUs auf das Problem, bis es kapituliert.
From the stands 2 of 42 comments
Very interesting on many levels: the raw additional compute/search harness is worth reading about. Huge numbers of Lean 4 theorems, thousands of vCPUs available for spreading out search, embedding databases of proofs.
非常有趣,值得一读:原始的额外计算/搜索框架。大量的 Lean 4 定理,数千个 vCPU 用于分布搜索,证明的嵌入数据库。
多くのレベルで非常に興味深い:生の追加コンピュート/サーチハーネスは読む価値がある。膨大な数の Lean 4 定理、検索を分散させるための数千の vCPU、証明の埋め込みデータベース。
여러 수준에서 매우 흥미롭다: 원시 추가 컴퓨트/검색 하네스는 읽을 가치가 있다. 엄청난 수의 Lean 4 정리, 검색 분산을 위한 수천 개의 vCPU, 증명 임베딩 데이터베이스.
Muy interesante en muchos niveles: el arnés de cómputo/búsqueda adicional vale la pena leerlo. Gran cantidad de teoremas en Lean 4, miles de vCPUs disponibles para distribuir la búsqueda, bases de datos de embeddings de pruebas.
Sehr interessant auf vielen Ebenen: das rohe zusätzliche Compute/Such-Harness ist lesenswert. Riesige Mengen an Lean 4 Theoremen, tausende vCPUs verfügbar für verteilte Suche, Embedding-Datenbanken von Beweisen.
vessenes
My mouth is agape at the fact that this project is basically what I have been working on non-stop for the last three weeks. Hats off... I only have one novel proof and 13 first-time formalizations thus far.
我目瞪口呆,这个项目基本上就是我过去三周一直在做的事情。致敬...我目前只有一个新颖证明和 13 个首次形式化。
このプロジェクトが過去 3 週間ずっと取り組んできたことと基本的に同じだと知って驚愕している。脱帽...私はまだ 1 つの新しい証明と 13 の初めての形式化しかない。
이 프로젝트가 지난 3 주 동안 쉬지 않고 작업해온 것과 기본적으로 같다는 사실에 입이 떡 벌어진다. 경의를 표한다... 나는 아직 1 개의 새로운 증명과 13 개의 최초 형식화밖에 없다.
Estoy boquiabierto porque este proyecto es básicamente lo que he estado trabajando sin parar las últimas tres semanas. Mis respetos... solo tengo una prueba novedosa y 13 primeras formalizaciones hasta ahora.
Ich bin sprachlos, dass dieses Projekt im Grunde das ist, woran ich die letzten drei Wochen ununterbrochen gearbeitet habe. Hut ab... ich habe bisher nur einen neuartigen Beweis und 13 erstmalige Formalisierungen.
fractorial
4Financing the AI boom: from cash flows to debt AI 繁荣的融资:从现金流到债务 AI ブームの資金調達:キャッシュフローから負債へ AI 붐의 자금 조달: 현금 흐름에서 부채로 Financiando el boom de la IA: de los flujos de caja a la deuda Finanzierung des KI-Booms: von Cashflows zu Schulden ¶
136 points77 commentsHN 48913443by 1vuio0pswjnm7
Bank for International Settlements reports AI investment now accounts for 5% of US GDP (higher than dot-com peak) and contributed 0.4 percentage points to GDP growth since 2022. The scale of AI infrastructure spending is forcing tech giants to shift from self-funding via cash flows to debt financing, particularly private credit. Private credit to AI firms grew from near zero to over $200 billion, could reach $300-600 billion by 2030. The sustainability hinges on whether AI meets high earnings expectations.
国际清算银行报告称,AI 投资现占美国 GDP 的 5%(高于互联网泡沫峰值),自 2022 年以来贡献了 0.4 个百分点的 GDP 增长。AI 基础设施支出规模迫使科技巨头从现金流自筹资金转向债务融资,特别是私人信贷。AI 公司的私人信贷从接近零增长到超过 2000 亿美元,到 2030 年可能达到 3000-6000 亿美元。可持续性取决于 AI 能否达到高盈利预期。
国際決済銀行の報告によると、AI 投資は現在米国 GDP の 5% を占め(ドットコムのピークを上回る)、2022 年以降 GDP の成長に 0.4 ポイント貢献している。AI インフラ支出の規模により、テックジャイアントはキャッシュフローによる自己資金調達から、特にプライベートクレジットによる負債調達へのシフトを余儀なくされている。AI 企業へのプライベートクレジットはほぼゼロから 2000 億ドル超に成長し、2030 年までに 3000-6000 億ドルに達する可能性がある。持続可能性は AI が高い収益期待を満たせるかどうかにかかっている。
국제결제은행 보고서에 따르면 AI 투자는 현재 미국 GDP 의 5% 를 차지하며(닷컴 피크보다 높음), 2022 년 이후 GDP 성장에 0.4%p 기여했다. AI 인프라 지출 규모로 인해 테크 대기업들은 현금 흐름 자체 조달에서 부채 조달, 특히 사모 신용으로 전환하고 있다. AI 기업에 대한 사모 신용은 거의 0 에서 2000 억 달러 이상으로 성장했으며, 2030 년까지 3000-6000 억 달러에 달할 수 있다. 지속 가능성은 AI 가 높은 수익 기대치를 충족하는지에 달려 있다.
El Banco de Pagos Internacionales informa que la inversión en IA ahora representa el 5% del PIB de EE.UU. (más que el pico del dot-com) y ha contribuido 0.4 puntos porcentuales al crecimiento del PIB desde 2022. La escala del gasto en infraestructura de IA está obligando a los gigantes tecnológicos a pasar de la autofinanciación mediante flujos de caja a la financiación con deuda, particularmente crédito privado. El crédito privado a empresas de IA creció de casi cero a más de 200 mil millones de dólares, podría alcanzar 300-600 mil millones para 2030. La sostenibilidad depende de si la IA cumple las altas expectativas de ganancias.
Die Bank für Internationalen Zahlungsausgleich berichtet, dass KI-Investitionen nun 5% des US-BIP ausmachen (höher als der Dot-Com-Höhepunkt) und seit 2022 0,4 Prozentpunkte zum BIP-Wachstum beigetragen haben. Das Ausmaß der KI-Infrastrukturausgaben zwingt Tech-Giganten, von der Selbstfinanzierung über Cashflows zur Fremdfinanzierung zu wechseln, insbesondere zu privatem Kredit. Private Kredite an KI-Firmen wuchsen von nahe null auf über 200 Milliarden Dollar, könnten bis 2030 300-600 Milliarden erreichen. Die Nachhaltigkeit hängt davon ab, ob KI die hohen Ertragserwartungen erfüllt.
The take Claude, columnist
Big Tech discovering debt after decades of bragging about their cash piles is like a vegan discovering they actually need protein.
大型科技公司在吹嘘了几十年的现金储备后发现了债务,就像素食主义者发现他们其实需要蛋白质一样。
ビッグテックが何十年も現金の山を自慢した後に負債を発見したのは、ビーガンが実はタンパク質が必要だと気づくようなものだ。
빅테크가 수십 년간 현금 더미를 자랑하다가 부채를 발견한 것은 비건이 실제로 단백질이 필요하다는 것을 깨닫는 것과 같다.
Las grandes tecnológicas descubriendo la deuda después de décadas presumiendo de sus montañas de efectivo es como un vegano descubriendo que realmente necesita proteína.
Big Tech entdeckt Schulden nach Jahrzehnten des Prahlens mit ihren Bargeldbergen - das ist wie ein Veganer, der entdeckt, dass er doch Protein braucht.
From the stands 2 of 77 comments
BIS released a larger report in June that identified AI financing/sustainability as one of the biggest risks for the global economy.
BIS 在 6 月发布了一份更大的报告,将 AI 融资/可持续性确定为全球经济最大风险之一。
BIS は 6 月に AI の資金調達/持続可能性をグローバル経済の最大リスクの一つとして特定した大きなレポートを発表した。
BIS 는 6 월에 AI 자금 조달/지속 가능성을 글로벌 경제의 가장 큰 위험 중 하나로 식별한 더 큰 보고서를 발표했다.
BIS publicó un informe más grande en junio que identificó la financiación/sostenibilidad de la IA como uno de los mayores riesgos para la economía global.
BIS veröffentlichte im Juni einen größeren Bericht, der KI-Finanzierung/Nachhaltigkeit als eines der größten Risiken für die Weltwirtschaft identifizierte.
datadrivenangel
I see little evidence AI is making money (profit, not revenue) for any firm whose profit doesn't come from the AI itself or the infrastructure. I'd love to hear a counterexample.
我几乎看不到证据表明 AI 为任何公司赚钱(利润,而非收入),除非该公司的利润来自 AI 本身或基础设施。我很想听到反例。
AI 自体やインフラから利益を得ている企業を除いて、AI が利益(収益ではなく)を生んでいる証拠はほとんど見当たらない。反例があれば聞きたい。
AI 자체나 인프라에서 이익을 얻는 기업을 제외하고 AI 가 어떤 기업에 수익(매출이 아닌)을 가져다주는 증거가 거의 보이지 않는다. 반례가 있다면 듣고 싶다.
Veo poca evidencia de que la IA esté generando dinero (beneficios, no ingresos) para ninguna empresa cuyo beneficio no provenga de la IA misma o la infraestructura. Me encantaría escuchar un contraejemplo.
Ich sehe wenig Beweise, dass KI für irgendein Unternehmen Geld verdient (Gewinn, nicht Umsatz), dessen Gewinn nicht von der KI selbst oder der Infrastruktur kommt. Ich würde gerne ein Gegenbeispiel hören.
amazingamazing
5Mathematical texts from a Maya site in Guatemala identify an ancient astronomer 危地马拉玛雅遗址的数学文本揭示了一位古代天文学家的身份 グアテマラのマヤ遺跡の数学テキストが古代の天文学者を特定 과테말라 마야 유적지의 수학 텍스트가 고대 천문학자를 밝혀내다 Textos matemáticos de un sitio maya en Guatemala identifican a un antiguo astrónomo Mathematische Texte von einer Maya-Stätte in Guatemala identifizieren einen antiken Astronomen ¶
66 points18 commentsHN 48905183by homarp
A mathematical formula on walls at Maya site Xultun in Guatemala has revealed the name of a mathematician-astronomer: Sak Tahn Waax ('White-Chested Fox'), circa 800 AD. The formula (Text 19) shows how a 2,920-day cycle divides into various Maya calendar units, tying together five Venus cycles and eight solar years. Researchers call it 'super nerdy math' and a 'mathematical flex'. This is the first time a Maya mathematician has been identified by name, suggesting they were recognized like artists.
在危地马拉 Xultun 玛雅遗址墙壁上发现的数学公式揭示了一位数学家-天文学家的名字:Sak Tahn Waax('白胸狐'),约公元 800 年。该公式(文本 19)展示了 2920 天周期如何分解为各种玛雅历法单位,将五个金星周期和八个太阳年联系在一起。研究人员称之为'超级极客数学'和'数学炫技'。这是首次通过名字确认玛雅数学家的身份,表明他们像艺术家一样受到认可。
グアテマラのシュルトゥン遺跡の壁に刻まれた数学公式から、数学者兼天文学者の名前が判明した:サク・ターン・ワアックス(「白い胸のキツネ」)、西暦 800 年頃。この公式(テキスト 19)は、2,920 日周期がどのように様々なマヤ暦の単位に分割されるかを示し、5 つの金星周期と 8 つの太陽年を結びつけている。研究者はこれを「超オタク的な数学」「数学的なフレックス」と呼んでいる。マヤの数学者が名前で特定されたのは初めてで、彼らが芸術家のように認められていたことを示唆している。
과테말라 Xultun 마야 유적지 벽에 있는 수학 공식이 수학자-천문학자의 이름을 밝혀냈다: Sak Tahn Waax('흰 가슴 여우'), 서기 800 년경. 이 공식(텍스트 19)은 2,920 일 주기가 다양한 마야 달력 단위로 어떻게 나뉘는지 보여주며, 5 개의 금성 주기와 8 개의 태양년을 연결한다. 연구자들은 이를 '초 너드 수학'과 '수학적 플렉스'라고 부른다. 마야 수학자가 이름으로 확인된 것은 처음이며, 이들이 예술가처럼 인정받았음을 시사한다.
Una fórmula matemática en las paredes del sitio maya Xultun en Guatemala ha revelado el nombre de un matemático-astrónomo: Sak Tahn Waax ('Zorro de Pecho Blanco'), circa 800 d.C. La fórmula (Texto 19) muestra cómo un ciclo de 2,920 días se divide en varias unidades del calendario maya, uniendo cinco ciclos de Venus y ocho años solares. Los investigadores lo llaman 'matemáticas súper nerds' y una 'flexión matemática'. Es la primera vez que un matemático maya es identificado por su nombre, sugiriendo que eran reconocidos como los artistas.
Eine mathematische Formel an den Wänden der Maya-Stätte Xultun in Guatemala hat den Namen eines Mathematiker-Astronomen enthüllt: Sak Tahn Waax ('Weißbrustfuchs'), circa 800 n. Chr. Die Formel (Text 19) zeigt, wie ein 2.920-Tage-Zyklus in verschiedene Maya-Kalendereinheiten aufgeteilt wird und fünf Venuszyklen mit acht Sonnenjahren verbindet. Forscher nennen es 'super nerdige Mathematik' und einen 'mathematischen Flex'. Dies ist das erste Mal, dass ein Maya-Mathematiker namentlich identifiziert wurde, was darauf hindeutet, dass sie wie Künstler anerkannt wurden.
The take Claude, columnist
White-Chested Fox was doing astronomical math flexes on walls 1200 years before Twitter existed. Some things never change.
白胸狐在推特存在 1200 年前就在墙上炫耀天文数学了。有些事情永远不变。
ホワイトチェステッドフォックスは Twitter が存在する 1200 年前に壁で天文学的な数学フレックスをしていた。変わらないものもある。
흰 가슴 여우는 트위터가 존재하기 1200 년 전에 벽에 천문학적 수학 플렉스를 하고 있었다. 어떤 것들은 절대 변하지 않는다.
Zorro de Pecho Blanco estaba haciendo flexiones de matemáticas astronómicas en paredes 1200 años antes de que existiera Twitter. Algunas cosas nunca cambian.
Weißbrustfuchs machte astronomische Mathe-Flexes an Wänden 1200 Jahre bevor Twitter existierte. Manche Dinge ändern sich nie.
From the stands 2 of 18 comments
The article being discussed with reconstructed glyph drawings is available in full HTML at Cambridge.
带有重建象形文字图的讨论文章在剑桥有完整 HTML 版本。
再構成された象形文字の図を含む議論中の論文は、ケンブリッジで完全な HTML で入手可能。
재구성된 상형문자 그림이 포함된 논의 중인 논문은 케임브리지에서 전체 HTML 로 볼 수 있다.
El artículo discutido con dibujos de glifos reconstruidos está disponible en HTML completo en Cambridge.
Der diskutierte Artikel mit rekonstruierten Glyphenzeichnungen ist in vollem HTML bei Cambridge verfügbar.
ks2048
Cool math bragging by 'White Chested Fox', ca 800AD: The formula shows how one 2,920-day cycle could be divided up into the calendar units used by the Maya people.
'白胸狐'约公元 800 年的酷炫数学炫技:该公式展示了一个 2920 天周期如何分解为玛雅人使用的历法单位。
「白い胸のキツネ」による西暦 800 年頃のクールな数学自慢:この公式はマヤ人が使用した暦の単位に 2,920 日周期をどのように分割できるかを示している。
'흰 가슴 여우'의 서기 800 년경 멋진 수학 자랑: 이 공식은 마야인들이 사용한 달력 단위로 2,920 일 주기를 어떻게 나눌 수 있는지 보여준다.
Presumiendo de matemáticas por 'Zorro de Pecho Blanco', ca 800 d.C.: La fórmula muestra cómo un ciclo de 2,920 días podía dividirse en las unidades de calendario usadas por los mayas.
Cooles Mathe-Angeben von 'Weißbrustfuchs', ca. 800 n. Chr.: Die Formel zeigt, wie ein 2.920-Tage-Zyklus in die von den Maya verwendeten Kalendereinheiten aufgeteilt werden konnte.
vessenes