2026/07/21 2:13

Kimi Work

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

Summary:

Kimi Work は、Mac および Windows の双方で複雑な知識作業の自動化を可能にし、知的でシステムレベルのデジタル従業員として機能することで、個人コンピューティングに革命的な転換をもたらします。迅速な回答に焦点を当てた標準的な Web チャットアプリとは異なり、このデスクトップアプリケーションは堅牢なスケジューリングとマルチエージェント協力機能を統合し、あなたのローカルなワークフローを深く変革します。自律的なインターネットナビゲーションを行う「WebBridge」という独自技術や、手動介入なしで日常の要約から時次データ確認までのタスクを実行する内蔵 Cron エンジンなどを使用しています。「動作前に許可を求める」という重要なセキュリティ機能により、ローカルファイルの変更に対して明示的なユーザー承認が必要となり、ユーザーには完全なコントロールを保ちつつ、システムはコンピューターを 24 時間 7 日稼働させるように設定されています。「エージェント・スワーム」内の専門化されたエージェントを調整することで、Kimi Work は生データからの洞察を PowerPoint デッキや Excel シートなどのプロフェッショナルな形式に瞬時に変換します。さらに、複雑な API セットアップが不要で A 株や米国株式などグローバル市場データへのアクセスを簡素化します。結局のところ、このプラットフォームは高度な AI 知能をあなたのデスクトップ環境に直接持ち込み、報告書の作成やコードの実行などの反復タスクをシームレスかつovernight（通夜中）に処理する専用のデジタル労働力を創出します。

本文

知識中心業務向けの AI デスクトップ環境：Kimi Work

ローカルファイルと深く連携するインテリジェントなエージェント機能と、ブラウザ自動化による24 時間稼働の最大生産性を実現します。

メイン機能

セットして放置：24/7 アウトomatisation
- 強力な内蔵 Cron エンジンにより、ワークフローは寝ることもありません。
- Kimi は背景で静かに、正確に時刻通りに以下を処理し続けます：
  - 朝早い時間の LLM エージェントによる日報下書き作成
  - 真夜中の Python スクリプトによる大規模データ処理
WebBridge：自律型ウェブエージェント
- Kimi に目標を与えれば、人間のようにインターネットを自由に進めます。
- タブ間を自律的に移動し、重要なデータを抽出しながら複雑なウェブタスクを実行します。
- プロンプトを用意するだけで、クリックやスクロール、調査まで Kimi が代行いたします。
エージェント・スワームと即席オフィス構築
- 群知能を活用して複雑な課題を解決します。
- Kimi は自動的に複数の専門化されたエージェントを調整し、多層的なタスクを並行して分解・解決します。
- 調査完了後、洞察を瞬時に以下の形式へ変換：
  - プロフェッショナルな PowerPoint プレゼンテーション
  - 詳細な Excel シート
財務業務向け：ネイティブグローバル市場データ
- デスクトップのチーフアナリストとして機能します。
- 主要市場（A 株、港股、米国株式など）の深層データを事前に統合済みです。
- 複雑な API セットアップを省略し、以下の操作が可能です：
  - 決算報告書の即座取得
  - 市場異常の検知・分析
  - スプレッドシートの調整（自然な対話を通じて）
- スピード感のある市場環境で重要な優位性を得ましょう。

キーワード

Mac と Kimi の相乗効果
Windows と Kimi の相乗効果

よくある質問

Web アプリとの違いとは？

Kimi ウェブアプリは素早いチャットに最適ですが、Kimi Work はローカルエージェントとして以下の深層ワークフローに対応します：

ローカルフォルダーのマウントと管理
WebBridge による自律的ウェブ探索
Python コードの背景での実行
スケジュールされたタスクの実行

安全性について

あなたのファイルに対しては絶対的な制御権があります。
内蔵の**「動作前に確認を求める」**安全機構により、以下の操作を行う前にあなたの明示的な許可を必ず求めます：
- ローカルディレクトリー内のファイル改変・上書き
- コードの実行
あなたの同意がない限り、何も起こりません。

ブラウザ自動化の活用例

WebBridgeにより、人間のようにブラウザを使用できます。
指示例：
- ウェブサイトの最新ニュースをチェックして要約させる
- 履歴株式データをローカルの Excel にスクレイピングする
Kimi が自律的にクリックやスクロールを行い、データを抽出することで、数時間の手動作業を節約できます。

スケジュールタスクの設定

内蔵の Cron Scheduler は、以下に対応しています：
- LLM エージェントコールの実行
- Python/シェルスクリプトの実行
タスクは毎日、毎時、または特定の条件に応じてトリガーできます。
夜間の実行を確保するには、設定画面で以下のオプションをオンにしてください：
```
[PC を起動状態にする] ✓
```

同じ日のほかのニュース

一覧に戻る →

2026/07/20 23:21

中国のオープンウェイトAI戦略が勝利を収めている

## 日本語訳: 中国は、強力な GPU など高性能チップへの輸出規制から生じるハードウェアの制約を克服するために、「オープンウェイト」戦略を活用して米国との格差を急速に縮めつつあります。このアプローチでは、モデルの核心となるコードが公開されカスタマイズ可能であり、閉じたシステムに依存するわけではありません。その結果、中国のモデルは OpenAI などの米国の巨頭と同等の性能を達成しながらも、費用はごくわずかです。企業がこれらのポータブルな技術を簡単に切り替えることができるため、作業プロセスへの影響なく外国製の代替品を採用するリスクは低く、企業にとっては大きな不安要因ではありません。専門家は、スタートアップが間もなく中国製モデルを使用することをデフォルトとする可能性が 80% あると予測しており、これはグローバルな AI 覇権の潜在的な転換を示しています。最終的に、この移行は、ロックされた独占的な手法が開放的で協力的な枠組みに対して敗退しつつあることを示しています。これら安価でありながら高性能なツールが国家安全保障や科学的研究の中心になるにつれ、米国はますます開かれたグローバル環境に適応しなければ重要な分配優位を失う危険に直面します。

2026/07/21 2:07

Jelly UI: ネイティブ HTML フォーム要素用のソフトボディ物理演算

## 日本語翻訳: Jelly UI は、依存関係を持たず、セットアップを最小限にした軽量な Web Components ライブラリであり、複雑な動作（例：ソフトボディ物理学）を外部パッケージやビルドステップなしに単一の script タグでプロジェクトに統合し、柔らかく触覚的な製品インタフェースを作成することを目的としています。このライブラリの主な利点は、外部パッケージまたはビルドステップを必要とせず、単一の script タグだけで複雑な挙動（例：ソフトボディ物理学）をプロジェクトに直接統合できることです。ライブラリには、`<jelly-button>` などの即用可能な 40 つの Custom Elements が用意されており、リアルなフォームコントロール、ダークモード、RTL 対応、WCAG AA レベルの色トークンによる高いアクセシビリティなどを標準機能として備えています。物理的なインタラクションのメタファーを厳格な準拠ルールと組み合わせることで、Jelly UI は開発者がコードオーバーヘッドなしでアクセシブルな物理学ベースのインタフェースを素早くプロトタイプ化することを可能にします。この簡素化されたアプローチにより、統合時間が短縮されながら、現代の Web 開発における堅牢なパフォーマンスとユーザー体験の標準を維持することができます。

2026/07/21 4:03

人間の数学者が反例に負けている

## Japanese Translation: 2026 年中期、AI システム Sol と Fable は、かつて人間には数年を要する複雑な証明を急速に生成し、形式的検証することで数学において転換点を迎えた。2026 年 5 月上旬、ChatGPT は Golod–Shafarevich 数論を用いて Erdős の単位距離予想を反証した。わずか一週間後、Logical Intelligence は Lean で証明を自動形式化し、以前形式化されていなかった硬い類体論の結果を含む検証を行った。6 月 26 日、Boris Alexeev は、Sol が約 120 万行に及ぶ Erdős の反例の完全な Lean 形式化を作成したと発表した（これは 3 週間以内であった）。彼はこれをサンドボックス内で安全に実行し、任意のコマンドの実行をブロックした。7 月 6 日〜10 日に Logos Research が主催するワークショップでは、参加者は Sol と Fable の両方に加え Logos のツールも使用し、有限平坦群スキームに関する偽の結果を主張する LLM が生成した PDF に直面した際、AI は明確な反例を生成し、著者が論理を修正することを可能にした——これにより、AI が単に不確実性を表現するだけでなく、主張が間違っていることを示す証明を生成できるようになったことが示された。その後すぐに、Sol はまた Grothendieck による位数 4 の有限自由群スキームに関する問題への反例を見出した（これは 4 で殺されない）。Fable は非形式的な 12 ページの PDF を自動形式化し、mathlib の概念（例えば HopfAlgebra）を用いて 5 分以内でコンパイルおよび検証された 1,076 行の Lean ファイルを生成した。このことは mathlib への PR が提出されたが、Erdős および Grothendieck の解決に関連する報道混乱の間、プレスリリースは発行されなかった。他方で、Andrew Yang は Sol と Fable を用いて約 20 万行の Lean コードを記述し、モデュラリティ昇華定理プロジェクトを約 2 週間で完了させた。ハーバード大学も PhD および教職員に対して無料でアクセスを提供したことで、高度なツールに対するサブスクリプション費用に関する議論が巻き起こった。7 月下旬、ジャコビアン予想——およそ 100 年にわたって未解決のオープン問題であったもの——は、Paul Lezeau が DeepMind の Formal Conjectures リポジトリで手動で形式化した後に形式的検証された。人間によるステートメント捕捉に関する合意が得られた後、AI が生成した証明はそのリポジトリで自明に検証される。価格モデル（サブスクリプション対無料の機関アクセス）については依然として議論が続いているが、全体としての影響は AI が重負荷なコードの生成と検証を扱い、証明の最終的な受諾を効率化し、数十年にわたる問題に対する急速な進歩を可能にする計算数学における革命である。