2026/07/21 2:07

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

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

要約▶

日本語翻訳:

Jelly UI は、依存関係を持たず、セットアップを最小限にした軽量な Web Components ライブラリであり、複雑な動作（例：ソフトボディ物理学）を外部パッケージやビルドステップなしに単一の script タグでプロジェクトに統合し、柔らかく触覚的な製品インタフェースを作成することを目的としています。このライブラリの主な利点は、外部パッケージまたはビルドステップを必要とせず、単一の script タグだけで複雑な挙動（例：ソフトボディ物理学）をプロジェクトに直接統合できることです。ライブラリには、

<jelly-button>

などの即用可能な 40 つの Custom Elements が用意されており、リアルなフォームコントロール、ダークモード、RTL 対応、WCAG AA レベルの色トークンによる高いアクセシビリティなどを標準機能として備えています。物理的なインタラクションのメタファーを厳格な準拠ルールと組み合わせることで、Jelly UI は開発者がコードオーバーヘッドなしでアクセシブルな物理学ベースのインタフェースを素早くプロトタイプ化することを可能にします。この簡素化されたアプローチにより、統合時間が短縮されながら、現代の Web 開発における堅牢なパフォーマンスとユーザー体験の標準を維持することができます。

本文

Jelly UI：柔らかく触覚的な Web Components ライブラリ

Jelly UI は、柔らかい触覚的な製品インターフェースを実現するための依存関係のない Web Components ライブラリです。リアルなフォームコントロールに「ソフトボディ」の物理挙動を取り込みつつ、以下の機能を実装しています。

主要な特徴

0 個の依存ライブラリ：軽量で動作速度が向上します。
40 個のカスタムエレメント：豊富なコンポーネントを提供しています。
1 つの script タグ：導入が極めて簡単です。
WCAG AA 準拠：アクセシビリティを標準で確保しています。
ダークモード対応：環境に合わせて自動適応します。
RTL（右から左）対応：アラビア語やヘブライ語などの言語でも利用可能です。

シンプルな導入方法

以下のコードを HTML に追加するだけで、すぐに使用できるカスタムエレメントが動作します。

<script type="module" src="https://jelly-ui.com/package.js"></script>
<jelly-theme mode="auto">
  <jelly-button variant="mint">Publish</jelly-button>
</jelly-theme>

次のアクション

📜 ショウケースをスクロールしてデザインを確認してください。
📚 **[API リファレンス]**を読み込んで詳細な仕様をご覧ください。

同じ日のほかのニュース

一覧に戻る →

2026/07/20 23:21

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

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

2026/07/21 2:13

Kimi Work

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

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 が重負荷なコードの生成と検証を扱い、証明の最終的な受諾を効率化し、数十年にわたる問題に対する急速な進歩を可能にする計算数学における革命である。