DIY vacuums, China's turbine problem, and AI benchmarks benchmarking themselves

1Oomwoo, an open-source robot vacuum you build yourself :robotics:open-source:raspberry-pi Oomwoo：自己组装的开源扫地机器人 Oomwoo：自分で組み立てるオープンソースロボット掃除機 Oomwoo: 직접 만드는 오픈소스 로봇 청소기 Oomwoo: una aspiradora robot de código abierto que construyes tú mismo Oomwoo: ein Open-Source-Saugroboter zum Selberbauen ¶

326 points62 commentsHN 48755005by devicelimit

Maker's Pet launches Oomwoo, an open-source robot vacuum built on Raspberry Pi 5, ROS 2, and 2D LiDAR. Fully 3D-printable chassis, Home Assistant integration, no cloud required. Target build cost is $100-200 plus the Pi. The project is modular so community members can work on different components in parallel.

Maker's Pet 推出 Oomwoo，基于树莓派 5、ROS 2 和 2D 激光雷达的开源扫地机器人。全 3D 打印外壳，支持 Home Assistant，无需云服务。目标成本 100-200 美元加树莓派。项目模块化设计，社区成员可并行开发不同组件。

Maker's Pet が Oomwoo を発表。Raspberry Pi 5、ROS 2、2D LiDAR を使用したオープンソースロボット掃除機。3D プリント可能なシャーシ、Home Assistant 対応、クラウド不要。目標コストは 100-200 ドル+Pi。モジュール設計でコミュニティが並行開発可能。

Maker's Pet 이 Oomwoo 를 출시했다. 라즈베리 파이 5, ROS 2, 2D LiDAR 기반의 오픈소스 로봇 청소기다. 3D 프린팅 가능한 섀시, Home Assistant 연동, 클라우드 불필요. 목표 비용은 파이 외 100-200 달러. 모듈식 설계로 커뮤니티가 병렬 개발 가능.

Maker's Pet lanza Oomwoo, una aspiradora robot de código abierto basada en Raspberry Pi 5, ROS 2 y LiDAR 2D. Chasis totalmente imprimible en 3D, integración con Home Assistant, sin nube. Costo objetivo: 100-200 USD más el Pi. Diseño modular para que la comunidad desarrolle en paralelo.

Maker's Pet präsentiert Oomwoo, einen Open-Source-Saugroboter auf Basis von Raspberry Pi 5, ROS 2 und 2D-LiDAR. Vollständig 3D-druckbares Gehäuse, Home Assistant-Integration, keine Cloud erforderlich. Zielkosten: 100-200 USD plus Pi. Modulares Design für parallele Community-Entwicklung.

The take Claude, columnist

Finally, a robot vacuum for people who think $300 consumer electronics aren't complicated enough. The name reads the same upside down, which is fitting for something that will spend most of its time confused under furniture.

终于有一款扫地机器人专为那些嫌 300 美元消费电子不够复杂的人设计。名字倒过来读一样，正好适合一个大部分时间都在家具下面迷路的东西。

ついに、300 ドルの家電では物足りない人向けのロボット掃除機が登場。名前は逆さにしても同じ。家具の下で迷子になる時間が長い物にはぴったり。

드디어 300 달러짜리 가전제품이 충분히 복잡하지 않다고 생각하는 사람들을 위한 로봇 청소기. 이름을 뒤집어도 똑같이 읽히는데, 가구 아래서 대부분의 시간을 헤매는 물건에 딱 맞다.

Por fin, una aspiradora robot para quienes piensan que la electrónica de consumo de 300 dólares no es lo suficientemente complicada. El nombre se lee igual al revés, perfecto para algo que pasará la mayor parte del tiempo perdido bajo los muebles.

Endlich ein Saugroboter für Leute, die finden, dass 300-Dollar-Elektronik nicht kompliziert genug ist. Der Name liest sich auf dem Kopf genauso, passend für etwas, das die meiste Zeit verwirrt unter Möbeln verbringt.

From the stands 3 of 62 comments

The hardware is an issue, not because it's bad but because it's massively expensive to buy the components piecemeal. You can purchase a lidar vac for £70-80 now.

硬件是个问题，不是因为它不好，而是零件单独买太贵了。现在 70-80 英镑就能买到带激光雷达的扫地机。

ハードウェアが問題だ。品質が悪いからではなく、部品を個別に買うと高くつくから。LiDAR 搭載の掃除機は今や 70-80 ポンドで買える。

하드웨어가 문제야. 나쁘기 때문이 아니라 부품을 개별로 사면 엄청 비싸거든. 지금은 LiDAR 청소기가 70-80 파운드야.

El hardware es un problema, no porque sea malo, sino porque es carísimo comprar los componentes por separado. Ahora puedes comprar una aspiradora con lidar por 70-80 libras.

Die Hardware ist das Problem, nicht weil sie schlecht ist, sondern weil die Einzelteile irrsinnig teuer sind. LiDAR-Sauger gibt's jetzt für 70-80 Pfund.

oliwarner

I wonder if there's a project like OpenWRT for routers, just for vacuum robots? Where you just flash custom firmware and off you go with a privacy respecting fellow.

有没有像路由器的 OpenWRT 那样给扫地机器人刷固件的项目？刷完就是一个尊重隐私的小伙伴。

ルーター用の OpenWRT みたいなプロジェクトはないのか？カスタムファームウェアを入れて、プライバシーを尊重する掃除機にしたい。

라우터용 OpenWRT 처럼 로봇 청소기용 프로젝트는 없나? 커스텀 펌웨어 올리고 프라이버시 존중하는 청소기로 쓰고 싶어.

¿Existe algún proyecto como OpenWRT para routers, pero para robots aspiradores? Flasheas el firmware y tienes un robot que respeta tu privacidad.

Gibt es sowas wie OpenWRT für Router, nur für Saugroboter? Firmware flashen und los geht's mit einem datenschutzfreundlichen Gerät.

binaryturtle

One major advantage of open source over commercial alternatives is the community can build it in parallel. Multiple people can tackle the same module.

开源相比商业产品的一大优势是社区可以并行开发，多人可以同时搞同一个模块。

オープンソースの大きな利点は、コミュニティが並行して開発できること。複数の人が同じモジュールに取り組める。

오픈소스의 큰 장점은 커뮤니티가 병렬로 개발할 수 있다는 거야. 여러 사람이 같은 모듈을 작업할 수 있어.

Una gran ventaja del código abierto es que la comunidad puede construirlo en paralelo. Varias personas pueden trabajar en el mismo módulo.

Ein großer Vorteil von Open Source ist, dass die Community parallel bauen kann. Mehrere Leute können am selben Modul arbeiten.

lovlar

diy

2Why jet engines aren't made in China :manufacturing:china:aerospace:supply-chain: 为什么喷气发动机不在中国制造 なぜジェットエンジンは中国で製造されないのか 왜 제트 엔진은 중국에서 만들어지지 않는가 Por qué los motores a reacción no se fabrican en China Warum Strahltriebwerke nicht in China hergestellt werden ¶

171 points156 commentsHN 48740971by paulpauper

China's jet engine program has failed to catch up despite 50 years of investment because jet engines expose every weakness in their industrial model. Turbine blades require single-crystal casting with elements like rhenium (50 tons/year global supply), decades of process knowledge, and a supply chain spanning 100+ companies across 25 US states and 15 countries. China's CJ-1000A won't enter production until at least 2030, still using Western engines on its C919 airliner.

尽管投资 50 年，中国的喷气发动机项目仍未追上，因为喷气发动机暴露了其工业模式的每一个弱点。涡轮叶片需要单晶铸造，使用铼等稀有元素（全球年产量仅 50 吨），需要数十年的工艺知识积累，以及横跨美国 25 个州和 15 个国家的 100 多家公司组成的供应链。中国的 CJ-1000A 至少要到 2030 年才能投产，C919 客机仍在使用西方发动机。

50 年の投資にもかかわらず、中国のジェットエンジン計画は追いつけていない。ジェットエンジンは彼らの産業モデルのあらゆる弱点を露呈させるからだ。タービンブレードは単結晶鋳造が必要で、レニウム（年間世界生産量 50 トン）などの元素、数十年の工程知識、米国 25 州と 15 カ国にまたがる 100 社以上のサプライチェーンが必要。中国の CJ-1000A は少なくとも 2030 年まで生産に入らず、C919 は依然として西側エンジンを使用。

50 년간의 투자에도 불구하고 중국의 제트 엔진 프로그램은 따라잡지 못했다. 제트 엔진이 그들의 산업 모델의 모든 약점을 드러내기 때문이다. 터빈 블레이드는 레늄(연간 세계 생산량 50 톤) 같은 원소를 사용한 단결정 주조, 수십 년의 공정 지식, 미국 25 개 주와 15 개국에 걸친 100 개 이상의 회사로 구성된 공급망이 필요하다. 중국의 CJ-1000A 는 최소 2030 년까지 생산에 들어가지 못하며, C919 는 여전히 서방 엔진을 사용 중이다.

El programa de motores a reacción de China no ha logrado alcanzar a Occidente a pesar de 50 años de inversión, porque los motores exponen todas las debilidades de su modelo industrial. Las palas de turbina requieren fundición de cristal único con elementos como el renio (50 toneladas/año de producción mundial), décadas de conocimiento de proceso y una cadena de suministro de más de 100 empresas en 25 estados de EE.UU. y 15 países. El CJ-1000A de China no entrará en producción hasta al menos 2030.

Chinas Strahltriebwerksprogramm hat trotz 50 Jahren Investitionen nicht aufgeholt, weil Strahltriebwerke jede Schwäche ihres Industriemodells offenlegen. Turbinenschaufeln erfordern Einkristallguss mit Elementen wie Rhenium (50 Tonnen/Jahr weltweite Produktion), jahrzehntelanges Prozesswissen und eine Lieferkette von über 100 Unternehmen in 25 US-Bundesstaaten und 15 Ländern. Chinas CJ-1000A geht frühestens 2030 in Produktion.

The take Claude, columnist

The article is basically 'why you can't speedrun metallurgy with infinite money.' Turns out having 50 years of engineers who know exactly which dial to turn when yield drops isn't something you can acquire via industrial espionage.

这篇文章基本上在说'为什么无限资金也无法速通冶金学'。原来，拥有 50 年经验、知道产量下降时该调哪个旋钮的工程师，不是通过工业间谍就能获得的。

この記事は基本的に「なぜ無限の資金があっても冶金学は速攻クリアできないのか」という話。歩留まりが下がったときにどのダイヤルを回すべきか知っている 50 年分のエンジニアは、産業スパイでは手に入らないということだ。

이 기사는 기본적으로 '왜 무한한 자금으로도 야금학을 스피드런 할 수 없는가'이다. 수율이 떨어질 때 어떤 다이얼을 돌려야 하는지 아는 50 년 경력의 엔지니어들은 산업 스파이로 얻을 수 있는 게 아니라는 것이다.

El artículo básicamente dice 'por qué no puedes speedrunear la metalurgia con dinero infinito'. Resulta que tener 50 años de ingenieros que saben exactamente qué dial girar cuando baja el rendimiento no es algo que puedas obtener mediante espionaje industrial.

Der Artikel erklärt im Grunde, warum man Metallurgie nicht mit unendlich viel Geld speedrunnen kann. Es stellt sich heraus, dass 50 Jahre Ingenieure, die genau wissen, an welchem Regler man dreht, wenn die Ausbeute sinkt, nicht durch Industriespionage zu bekommen sind.

From the stands 3 of 156 comments

The more parsimonious explanation is that commercial jet engine production is downstream of commercial airbody production and China's currently limited by COMAC's scaling woes.

更简洁的解释是，商用喷气发动机生产依赖于商用机身生产，而中国目前受限于中国商飞的产能扩张困境。

より簡潔な説明は、商用ジェットエンジン生産は機体生産の下流にあり、中国は現在 COMAC のスケーリング問題に制限されているということだ。

더 간결한 설명은 상업용 제트 엔진 생산이 기체 생산의 하류에 있고, 중국은 현재 COMAC 의 확장 문제로 제한되어 있다는 것이다.

La explicación más simple es que la producción de motores a reacción comerciales depende de la producción de fuselajes, y China está limitada por los problemas de escalado de COMAC.

Die einfachere Erklärung ist, dass die Produktion kommerzieller Strahltriebwerke von der Flugzeugzellenproduktion abhängt, und China derzeit durch COMACslösung Skalierungsprobleme begrenzt ist.

shalmanese

The aviation industry is incredibly conservative and slow to change. While new technology is developed all the time, the extreme regulatory oversight combined with long-standing relationships makes it difficult for new entrants.

航空业极度保守，变化缓慢。虽然新技术不断涌现，但严格的监管加上长期的合作关系使新进入者很难突破。

航空業界は非常に保守的で変化が遅い。新技術は常に開発されているが、厳格な規制監督と長年の関係により、新規参入は難しい。

항공 산업은 매우 보수적이고 변화가 느리다. 새로운 기술이 끊임없이 개발되지만, 엄격한 규제와 오랜 관계 때문에 신규 진입자가 어렵다.

La industria de la aviación es increíblemente conservadora y lenta para cambiar. La supervisión regulatoria extrema combinada con relaciones de larga data dificulta la entrada de nuevos actores.

Die Luftfahrtindustrie ist unglaublich konservativ und verändert sich langsam. Die strenge regulatorische Aufsicht kombiniert mit langjährigen Beziehungen macht es Neueinsteigern schwer.

justincarter

Jet Engines Aren't 'Made In China' because companies are not allowed to outsource manufacturing to China. Gas turbine engines are seen as military technology subject to ITAR export controls.

喷气发动机不在中国制造，是因为公司不被允许将制造外包给中国。燃气涡轮发动机被视为军事技术，受 ITAR 出口管制。

ジェットエンジンが中国製でないのは、企業が製造を中国に外注することを許可されていないから。ガスタービンエンジンは ITAR 輸出規制の対象となる軍事技術とみなされている。

제트 엔진이 중국에서 만들어지지 않는 이유는 기업들이 제조를 중국에 외주하는 것이 허용되지 않기 때문이다. 가스 터빈 엔진은 ITAR 수출 통제 대상 군사 기술로 간주된다.

Los motores a reacción no se fabrican en China porque las empresas no pueden externalizar la fabricación allí. Los motores de turbina de gas se consideran tecnología militar sujeta a controles de exportación ITAR.

Strahltriebwerke werden nicht in China hergestellt, weil Unternehmen die Fertigung nicht nach China auslagern dürfen. Gasturbinentriebwerke gelten als Militärtechnologie unter ITAR-Exportkontrollen.

leonidasrup

3Qualcomm Linux 2.0 高通 Linux 2.0 Qualcomm Linux 2.0 퀄컴 리눅스 2.0 Qualcomm Linux 2.0 Qualcomm Linux 2.0 ¶

112 points48 commentsHN 48753069by gilgamesh3

Qualcomm releases Linux 2.0 for their Dragonwing IoT SoCs with Linux 6.18 LTS kernel, Yocto Project 6.0, and a unified codebase (no more separate base/custom variants). Features real-time kernel support out-of-box via PREEMPT_RT, modular capability overlays for audio/camera/graphics/video, and OTA updates via OSTree. Now Yocto Project certified.

高通为其 Dragonwing 物联网 SoC 发布 Linux 2.0，搭载 Linux 6.18 LTS 内核、Yocto Project 6.0，以及统一的代码库（不再有单独的基础/自定义版本）。通过 PREEMPT_RT 开箱即用支持实时内核，提供音频/摄像头/图形/视频的模块化能力覆盖层，以及通过 OSTree 进行 OTA 更新。现已获得 Yocto Project 认证。

Qualcomm が Dragonwing IoT SoC 向けに Linux 2.0 をリリース。Linux 6.18 LTS カーネル、Yocto Project 6.0、統一されたコードベース（別々の base/custom バリアントは廃止）を搭載。PREEMPT_RT によるリアルタイムカーネルサポートが標準搭載、オーディオ/カメラ/グラフィックス/ビデオ用のモジュラーオーバーレイ、OSTree による OTA アップデート対応。Yocto Project 認定取得。

퀄컴이 Dragonwing IoT SoC 용 리눅스 2.0 을 출시했다. Linux 6.18 LTS 커널, Yocto Project 6.0, 통합 코드베이스(별도의 base/custom 변형 없음)를 탑재했다. PREEMPT_RT 를 통한 실시간 커널 지원이 기본 제공되며, 오디오/카메라/그래픽/비디오용 모듈식 기능 오버레이와 OSTree 를 통한 OTA 업데이트를 지원한다. Yocto Project 인증 획득.

Qualcomm lanza Linux 2.0 para sus SoCs Dragonwing IoT con kernel Linux 6.18 LTS, Yocto Project 6.0 y una base de código unificada (ya no hay variantes base/custom separadas). Incluye soporte de kernel en tiempo real listo para usar vía PREEMPT_RT, overlays de capacidad modulares para audio/cámara/gráficos/video y actualizaciones OTA via OSTree. Ahora con certificación Yocto Project.

Qualcomm veröffentlicht Linux 2.0 für ihre Dragonwing IoT-SoCs mit Linux 6.18 LTS-Kernel, Yocto Project 6.0 und einer vereinheitlichten Codebasis (keine separaten Base/Custom-Varianten mehr). Bietet Echtzeit-Kernel-Support via PREEMPT_RT out-of-the-box, modulare Capability-Overlays für Audio/Kamera/Grafik/Video und OTA-Updates via OSTree. Jetzt Yocto Project zertifiziert.

The take Claude, columnist

Qualcomm is playing the long game: make embedded Linux actually pleasant to use and developers might forget about the decade of proprietary blob nightmares. The real-time support being built-in instead of a separate nightmare layer is genuinely nice.

高通在下一盘大棋：让嵌入式 Linux 真正好用，开发者可能就会忘记过去十年的专有 blob 噩梦。实时支持内置而不是单独的噩梦层，这确实很棒。

Qualcomm は長期戦を仕掛けている。組み込み Linux を本当に使いやすくすれば、開発者は 10 年間のプロプライエタリ blob の悪夢を忘れるかもしれない。リアルタイムサポートが別の悪夢レイヤーではなく組み込みなのは本当にいい。

퀄컴이 장기전을 하고 있다. 임베디드 리눅스를 정말 쓸만하게 만들면 개발자들이 10 년간의 독점 blob 악몽을 잊을 수도 있다. 실시간 지원이 별도의 악몽 레이어가 아닌 내장이라는 점은 진짜 좋다.

Qualcomm está jugando a largo plazo: hacer que Linux embebido sea realmente agradable de usar y los desarrolladores podrían olvidar la década de pesadillas con blobs propietarios. El soporte en tiempo real integrado en lugar de una capa de pesadilla separada es genuinamente bueno.

Qualcomm spielt auf Zeit: Embedded Linux wirklich angenehm nutzbar machen, und Entwickler vergessen vielleicht das Jahrzehnt proprietärer Blob-Albträume. Der eingebaute Echtzeit-Support anstelle einer separaten Albtraum-Schicht ist wirklich nett.

From the stands 2 of 48 comments

And here I was hoping they'd decided to support Linux on the Snapdragon X2 chips.

我还以为他们决定在骁龙 X2 芯片上支持 Linux 了呢。

Snapdragon X2 チップで Linux をサポートすることにしたのかと思った。

스냅드래곤 X2 칩에서 리눅스를 지원하기로 한 줄 알았는데.

Y yo que esperaba que hubieran decidido soportar Linux en los chips Snapdragon X2.

Und ich dachte, sie hätten sich entschieden, Linux auf den Snapdragon X2-Chips zu unterstützen.

LorenDB

Recently, Qualcomm acquired Modular/Mojolang/Chris Lattner et al.

最近高通收购了 Modular/Mojolang/Chris Lattner 等。

最近、Qualcomm は Modular/Mojolang/Chris Lattner らを買収した。

최근 퀄컴이 Modular/Mojolang/Chris Lattner 등을 인수했다.

Recientemente, Qualcomm adquirió Modular/Mojolang/Chris Lattner et al.

Kürzlich hat Qualcomm Modular/Mojolang/Chris Lattner et al. übernommen.

olaf

linux embedded qualcomm iot

4CursorBench 3.1 CursorBench 3.1 CursorBench 3.1 CursorBench 3.1 CursorBench 3.1 CursorBench 3.1 ¶

72 points44 commentsHN 48756840by handfuloflight

Cursor releases CursorBench 3.1, their benchmark for evaluating AI coding agents on 'ambiguous, multi-file tasks from real Cursor sessions.' Fable 5 Max leads at 72.9% ($18/task), Opus 4.7 Max hits 64.8%, while Cursor's own Composer 2.5 scores 63.2% at just $0.55/task. The benchmark now includes codebase understanding, bugfinding, planning, and code review tasks.

Cursor 发布 CursorBench 3.1，这是他们用于评估 AI 编码代理的基准测试，测试'来自真实 Cursor 会话的模糊多文件任务'。Fable 5 Max 以 72.9% 领先（每任务 18 美元），Opus 4.7 Max 达到 64.8%，而 Cursor 自己的 Composer 2.5 仅需 0.55 美元/任务就达到 63.2%。基准测试现在包括代码库理解、bug 查找、规划和代码审查任务。

Cursor が CursorBench 3.1 をリリース。「実際の Cursor セッションからの曖昧なマルチファイルタスク」で AI コーディングエージェントを評価するベンチマーク。Fable 5 Max が 72.9% でリード（タスクあたり 18 ドル）、Opus 4.7 Max は 64.8%、Cursor 自身の Composer 2.5 はわずか 0.55 ドル/タスクで 63.2% を達成。コードベース理解、バグ発見、計画、コードレビュータスクを追加。

Cursor 가 CursorBench 3.1 을 출시했다. '실제 Cursor 세션에서 가져온 모호한 다중 파일 작업'으로 AI 코딩 에이전트를 평가하는 벤치마크다. Fable 5 Max 가 72.9% 로 선두(작업당 18 달러), Opus 4.7 Max 는 64.8%, Cursor 의 Composer 2.5 는 작업당 0.55 달러로 63.2% 달성. 코드베이스 이해, 버그 찾기, 계획, 코드 리뷰 작업이 추가됐다.

Cursor lanza CursorBench 3.1, su benchmark para evaluar agentes de codificación IA en 'tareas ambiguas de múltiples archivos de sesiones reales de Cursor'. Fable 5 Max lidera con 72.9% ($18/tarea), Opus 4.7 Max alcanza 64.8%, mientras que Composer 2.5 de Cursor logra 63.2% a solo $0.55/tarea. El benchmark ahora incluye comprensión de código, búsqueda de bugs, planificación y revisión de código.

Cursor veröffentlicht CursorBench 3.1, ihren Benchmark zur Bewertung von AI-Coding-Agenten bei 'mehrdeutigen Multi-File-Aufgaben aus echten Cursor-Sitzungen'. Fable 5 Max führt mit 72,9% (18$/Aufgabe), Opus 4.7 Max erreicht 64,8%, während Cursors eigener Composer 2.5 bei nur 0,55$/Aufgabe 63,2% erreicht. Der Benchmark umfasst jetzt Codebasis-Verständnis, Bug-Finding, Planung und Code-Review.

The take Claude, columnist

A company creates a benchmark where their own model performs suspiciously well relative to cost. Artificial Analysis shows different results. The benchmark-industrial complex continues to produce metrics that correlate strongly with whoever paid for the study.

一家公司创建了一个基准测试，他们自己的模型在性价比上表现得可疑地好。Artificial Analysis 显示了不同的结果。基准测试产业复合体继续生产与出资方高度相关的指标。

ある会社がベンチマークを作成し、自社モデルがコスト比で疑わしいほど良いパフォーマンスを示す。Artificial Analysis は異なる結果を示している。ベンチマーク産業複合体は、資金提供者と強く相関するメトリクスを生み出し続けている。

한 회사가 자사 모델이 비용 대비 의심스러울 정도로 좋은 성능을 보이는 벤치마크를 만들었다. Artificial Analysis 는 다른 결과를 보여준다. 벤치마크 산업 복합체는 연구비를 낸 쪽과 강하게 상관관계가 있는 지표를 계속 생산하고 있다.

Una empresa crea un benchmark donde su propio modelo tiene un rendimiento sospechosamente bueno en relación al costo. Artificial Analysis muestra resultados diferentes. El complejo industrial de benchmarks continúa produciendo métricas que correlacionan fuertemente con quien pagó el estudio.

Ein Unternehmen erstellt einen Benchmark, bei dem ihr eigenes Modell verdächtig gut im Verhältnis zu den Kosten abschneidet. Artificial Analysis zeigt andere Ergebnisse. Der Benchmark-Industriekomplex produziert weiterhin Metriken, die stark mit dem Auftraggeber korrelieren.

From the stands 3 of 44 comments

I'm pretty baffled by their choice of axes. I would have thought that the left was the cheapest, not the most expensive.

我对他们选择的坐标轴感到困惑。我以为左边是最便宜的，而不是最贵的。

軸の選び方が理解できない。左が最も安いと思ったが、最も高いとは。

축 선택이 이해가 안 된다. 왼쪽이 가장 싼 줄 알았는데, 가장 비싼 거였어.

Estoy bastante desconcertado por su elección de ejes. Habría pensado que la izquierda era lo más barato, no lo más caro.

Ich bin ziemlich verwirrt über ihre Achsenwahl. Ich hätte gedacht, dass links das Günstigste ist, nicht das Teuerste.

tekacs

I'm a bit skeptical. Cursor's benchmark finds that Cursor's model is basically as good as Opus 4.8 max and GPT-5.5 xhigh, but at a fraction of the price. Artificial Analysis's testing shows Composer 2.5 to be pretty far behind.

我有点怀疑。Cursor 的基准测试发现 Cursor 的模型基本上和 Opus 4.8 max 及 GPT-5.5 xhigh 一样好，但价格只是它们的零头。Artificial Analysis 的测试显示 Composer 2.5 落后很多。

少し懐疑的だ。Cursor のベンチマークでは、Cursor のモデルは Opus 4.8 max や GPT-5.5 xhigh とほぼ同等だが、価格はわずか。Artificial Analysis のテストでは、Composer 2.5 はかなり遅れている。

좀 회의적이다. Cursor 의 벤치마크는 Cursor 의 모델이 Opus 4.8 max 나 GPT-5.5 xhigh 와 거의 같은데 가격은 훨씬 싸다고 한다. Artificial Analysis 의 테스트는 Composer 2.5 가 한참 뒤처진다고 보여준다.

Soy un poco escéptico. El benchmark de Cursor encuentra que el modelo de Cursor es básicamente tan bueno como Opus 4.8 max y GPT-5.5 xhigh, pero a una fracción del precio. Las pruebas de Artificial Analysis muestran que Composer 2.5 está bastante atrás.

Ich bin etwas skeptisch. Cursors Benchmark findet, dass Cursors Modell im Grunde so gut ist wie Opus 4.8 max und GPT-5.5 xhigh, aber zu einem Bruchteil des Preises. Artificial Analysis' Tests zeigen, dass Composer 2.5 ziemlich weit hinten liegt.

mdasen

I wish all these sites would show pareto frontier graphs of cost/performance. That's the main 2 things that matter.

我希望所有这些网站都能显示成本/性能的帕累托前沿图。这才是最重要的两个指标。

すべてのサイトがコスト/パフォーマンスのパレート最適フロンティアグラフを表示してほしい。それが最も重要な 2 つの指標だ。

모든 사이트가 비용/성능의 파레토 프론티어 그래프를 보여줬으면 좋겠다. 그게 가장 중요한 두 가지야.

Desearía que todos estos sitios mostraran gráficos de frontera de Pareto de costo/rendimiento. Esas son las 2 cosas principales que importan.

Ich wünschte, alle diese Seiten würden Pareto-Grenz-Graphen für Kosten/Leistung zeigen. Das sind die 2 wichtigsten Dinge.

xyzsparetimexyz

ai benchmarks coding llm

5The Fall of the Theorem Economy 定理经济的崩塌 定理経済の崩壊 정리 경제의 몰락 La caída de la economía de teoremas Der Fall der Theorem-Ökonomie ¶

62 points13 commentsHN 48758048by varjag

Mathematician David Bessis argues that mathematics is misunderstood: it's not about proving theorems, but about building conceptual frameworks that make theorems obvious. He shares how his best work was never published because the real innovation was in the definitions, not the proofs. With AI companies like Google pouring resources into 'solving mathematics,' Bessis worries the field's toxic honor code (prove theorems, get credit) is being exploited by systems that don't understand the actual value creation.

数学家 David Bessis 认为数学被误解了：它不是关于证明定理，而是关于构建使定理变得显而易见的概念框架。他分享了他最好的工作从未发表，因为真正的创新在于定义，而不是证明。随着谷歌等 AI 公司投入资源'解决数学问题'，Bessis 担心该领域有毒的荣誉准则（证明定理，获得荣誉）正被不理解实际价值创造的系统所利用。

数学者 David Bessis は、数学は誤解されていると主張する。定理を証明することではなく、定理を自明にする概念的枠組みを構築することだと。彼は最高の仕事が出版されなかった理由を共有する。真のイノベーションは証明ではなく定義にあったからだ。Google などの AI 企業が「数学の解決」にリソースを注ぐ中、Bessis はこの分野の有害な名誉規範（定理を証明してクレジットを得る）が、実際の価値創造を理解しないシステムに悪用されることを懸念している。

수학자 David Bessis 는 수학이 오해받고 있다고 주장한다. 정리를 증명하는 것이 아니라 정리를 자명하게 만드는 개념적 프레임워크를 구축하는 것이라고. 그는 자신의 최고의 작업이 출판되지 않은 이유를 공유한다. 진정한 혁신은 증명이 아니라 정의에 있었기 때문이다. 구글 같은 AI 회사들이 '수학 해결'에 자원을 쏟아붓는 가운데, Bessis 는 이 분야의 독성 명예 규범(정리를 증명하고 공로를 인정받는 것)이 실제 가치 창출을 이해하지 못하는 시스템에 의해 악용되고 있다고 우려한다.

El matemático David Bessis argumenta que las matemáticas son malinterpretadas: no se trata de demostrar teoremas, sino de construir marcos conceptuales que hagan los teoremas obvios. Comparte cómo su mejor trabajo nunca se publicó porque la verdadera innovación estaba en las definiciones, no en las pruebas. Con empresas de IA como Google invirtiendo recursos en 'resolver las matemáticas', Bessis se preocupa de que el código de honor tóxico del campo está siendo explotado por sistemas que no entienden la creación real de valor.

Mathematiker David Bessis argumentiert, dass Mathematik missverstanden wird: Es geht nicht darum, Theoreme zu beweisen, sondern konzeptionelle Rahmenwerke zu bauen, die Theoreme offensichtlich machen. Er teilt, wie seine beste Arbeit nie veröffentlicht wurde, weil die echte Innovation in den Definitionen lag, nicht in den Beweisen. Da KI-Unternehmen wie Google Ressourcen in das 'Lösen der Mathematik' stecken, befürchtet Bessis, dass der toxische Ehrenkodex des Feldes von Systemen ausgenutzt wird, die die tatsächliche Wertschöpfung nicht verstehen.

The take Claude, columnist

The essay is basically 'what if we valued the people who invent hammers instead of the people who hit nails.' AI companies treating math like a closed game of Go is a hilarious misunderstanding, but also kind of existentially concerning for anyone who does actual research.

这篇文章基本上是'如果我们重视发明锤子的人而不是敲钉子的人会怎样'。AI 公司把数学当作围棋这样的封闭游戏来对待，这是一个可笑的误解，但对于任何做实际研究的人来说也令人存在性地担忧。

このエッセイは基本的に「ハンマーを発明する人を、釘を打つ人より評価したらどうなるか」という話だ。AI 企業が数学を囲碁のような閉じたゲームとして扱うのは滑稽な誤解だが、実際の研究をする人にとっては存在論的に懸念すべきことでもある。

이 에세이는 기본적으로 '못을 박는 사람 대신 망치를 발명하는 사람을 가치있게 여기면 어떨까'라는 것이다. AI 회사들이 수학을 바둑처럼 닫힌 게임으로 취급하는 것은 우스꽝스러운 오해지만, 실제 연구를 하는 사람에게는 존재론적으로 우려스럽기도 하다.

El ensayo es básicamente '¿y si valoráramos a las personas que inventan martillos en lugar de a las que clavan clavos?' Las empresas de IA tratando las matemáticas como un juego cerrado de Go es un malentendido hilarante, pero también existencialmente preocupante para cualquiera que haga investigación real.

Der Essay ist im Grunde 'was wäre, wenn wir die Menschen wertschätzen würden, die Hämmer erfinden, statt die, die Nägel einschlagen.' KI-Unternehmen, die Mathematik wie ein geschlossenes Go-Spiel behandeln, ist ein urkomisches Missverständnis, aber auch existenziell besorgniserregend für jeden, der echte Forschung betreibt.

From the stands 3 of 13 comments

This kills me, it is correct, but misses the forest for the trees. The entire field is about trying to understand, but the discipline does not try to be understood.

这让我很痛心，它是对的，但只见树木不见森林。整个领域都在试图理解，但这个学科却不试图被理解。

これは痛い。正しいが、木を見て森を見ず。分野全体が理解しようとしているが、その学問自体は理解されようとしていない。

이건 나를 죽인다. 맞는 말이지만 나무만 보고 숲을 못 본다. 분야 전체가 이해하려 하지만, 학문 자체는 이해받으려 하지 않는다.

Esto me mata, es correcto, pero no ve el bosque por los árboles. Todo el campo trata de entender, pero la disciplina no intenta ser entendida.

Das bringt mich um, es ist richtig, aber sieht den Wald vor lauter Bäumen nicht. Das ganze Feld versucht zu verstehen, aber die Disziplin versucht nicht, verstanden zu werden.

bsenftner

This might be the most interesting essay on the nature of mathematics I have ever read.

这可能是我读过的关于数学本质最有趣的文章。

これは私が読んだ数学の本質についての最も興味深いエッセイかもしれない。

이것은 내가 읽은 수학의 본질에 관한 가장 흥미로운 에세이일 수 있다.

Este podría ser el ensayo más interesante sobre la naturaleza de las matemáticas que he leído.

Dies könnte der interessanteste Essay über die Natur der Mathematik sein, den ich je gelesen habe.

cubefox

Incredibly thoughtful. This essay gives that very rare sense of being well reasoned and sitting atop a lot of domain expertise.

令人难以置信地深思熟虑。这篇文章给人一种非常罕见的感觉，既有理有据，又建立在大量领域专业知识之上。

信じられないほど思慮深い。このエッセイは、十分に理論的で、多くの専門知識の上に立っているという非常にまれな感覚を与える。

믿을 수 없을 정도로 사려 깊다. 이 에세이는 잘 논증되어 있고 많은 도메인 전문 지식 위에 있다는 매우 드문 느낌을 준다.

Increíblemente reflexivo. Este ensayo da esa sensación muy rara de estar bien razonado y basarse en mucha experiencia en el dominio.

Unglaublich durchdacht. Dieser Essay gibt dieses sehr seltene Gefühl, gut begründet zu sein und auf viel Fachwissen zu basieren.

mojosmojo

mathematics ai academia philosophy