BTC $77,523.33 -5.11%
ETH $2,224.52 -5.99%
BNB $699.67 -6.60%
XRP $1.25 -4.29%
SOL $94.68 -7.61%
TRX $0.3342 +0.94%
DOGE $0.0757 -5.90%
ADA $0.1926 -6.58%
BCH $291.99 +1.98%
LINK $11.04 -7.63%
HYPE $92.18 -2.03%
AAVE $125.62 -8.21%
SUI $0.8873 -6.82%
XLM $0.1719 -0.44%
ZEC $1,226.72 -9.65%
AAPL $346.69 -0.81%
AMZN $238.76 -3.38%
GOOGL $282.64 -1.68%
MSFT $522.94 -0.16%
META $623.44 -1.25%
NVDA $205.80 -3.88%
TSLA $400.67 -1.30%
SNDK $1,170.23 -14.62%
INTC $65.06 -30.07%
SPCX $138.44 -4.09%
MU $882.45 -7.10%
AMD $508.89 -11.11%
BTC $77,523.33 -5.11%
ETH $2,224.52 -5.99%
BNB $699.67 -6.60%
XRP $1.25 -4.29%
SOL $94.68 -7.61%
TRX $0.3342 +0.94%
DOGE $0.0757 -5.90%
ADA $0.1926 -6.58%
BCH $291.99 +1.98%
LINK $11.04 -7.63%
HYPE $92.18 -2.03%
AAVE $125.62 -8.21%
SUI $0.8873 -6.82%
XLM $0.1719 -0.44%
ZEC $1,226.72 -9.65%
AAPL $346.69 -0.81%
AMZN $238.76 -3.38%
GOOGL $282.64 -1.68%
MSFT $522.94 -0.16%
META $623.44 -1.25%
NVDA $205.80 -3.88%
TSLA $400.67 -1.30%
SNDK $1,170.23 -14.62%
INTC $65.06 -30.07%
SPCX $138.44 -4.09%
MU $882.45 -7.10%
AMD $508.89 -11.11%

オープン

すべて
記事
速報

first_img オープンソース資金通路 Slop Cash トークンオークションのカウントダウン中、目標は40万ドルです。

オープンソース資金通路 Slop Cash ページには、トークン $SLOP のオークションがまだ始まっておらず、カウントダウンは約 9 日 8 時間で、約束された金額は 0 ドル、目標は 40 万ドルと表示されています。プロジェクトは、合併または受け入れられた作業に対してのみ支払いを行い、GitHub を事実上の情報源として、支払い範囲にはマージされた PR、有用なレビュー、および確認された重大なセキュリティの発見が含まれると述べています。ページによると、$SLOP は Umia を通じて発行され、実体は Umia Launcher SPC の独立した組織 Slop Cash, S.P. です。オークションの収益は Robinhood Chain 上の非管理型チェーンの金庫に入り、保有者が意思決定市場を通じて用途を決定します。賞金プールと貢献者への支払いはステーブルコインまたはプロジェクトの独自トークンを使用し、$SLOP は使用しません。初回の貢献者への支払いは 2026 年 9 月に行われ、8 月の作業に対応し、合計 72 件の送金、6,005 USDC が含まれ、elizaOS、ASI および Slop 自身が関与しています。総供給量は 1 億枚に固定されています。ページに記載された配分は、オークション 45%、チーム 10%、エコシステムおよび貢献者プログラム 14%、貢献者 2%、プロトコルの独自流動性 9%、金庫 8%、立ち上げ者 Umia 2%、パフォーマンスリザーブ 10% であり、TGE 時には 5,600 万枚が流通するとされています。CEO は Drew Pierson、CTO は elizaOS を構築した Shaw Walters です。Umia に関連する契約は Certora によって監査され、Slop 自身の支払い契約ページはまだ独立した監査を受けていないと述べています。

first_img Anthropic:Claudeは大規模な形式検証オープンソースライブラリを開発しました。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました:単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

first_img UtexoのオープンUtexo Mint早期アクセス、USDTは11月28日にビットコインに上場します

ビットコインエコシステムの USDT 発行元 Utexo は、Utexo Mint の早期アクセスを開放し、ビットコイン上の USDT をサポートし提供する準備が整った専門運営者を対象としています。公開開始日は 11 月 28 日に設定されています。Utexo は、既存のパートナーがローンチの準備を進めており、現在は取引所、ウォレット、マーケットメーカー、OTC カウンター、取引会社など、ビットコイン上の USDT をサポートする意向のある専門運営者に対して接続を開放していると述べています。Utexo Mint は、認証された運営者がビットコイン上の USDT を鋳造および償還するための専用プラットフォームです。サンドボックス環境内で、運営者は RGB に基づく USDT の運用方法をテストでき、鋳造、機密転送、償還を含む取引プロセスを検証し、統合を完了することができます。Utexo は、USDT の流動性を管理し、法定通貨と USDT の交換ツールを提供します。Utexo Mint は Tether によって所有または運営されておらず、ビットコイン上の USDT は Tether の USDT0 プロトコルによって USDT によって支えられています。USDT は 2014 年に初めてビットコイン上で導入され、今回の復帰はこのエコシステムに安定したコインの流動性をもたらし、取引や BTC 担保貸付などのシナリオを拡大します。Utexo は、ビットコイン上の USDT は Tether ではなく Utexo によって導入され、設計上プライバシーを考慮しており、RGB 上の USDT はアドレスの再利用を避けると述べています。コンプライアンスに関して、Utexo はすべてのソースの USDT を監視し、AML スコアをチェックし、RGB 側のリスクを監視し、Crystal Intelligence と協力して AML を実施すると述べています。ローンチは二段階に分かれており、11 月 28 日に USDT が RGB を通じてビットコインネットワークで公開され、提携ウォレットや取引所を通じてアクセス可能になります。第二段階は 2027 年第一四半期に USDT をライトニングネットワークに拡張し、支払いに使用する予定です。

first_img メッセージプロトコル XMTP は自己ホスティングのオープンソーススタックに移行し、Labs ネットワークは 2027 年初頭に閉鎖されます。

XMTPの創設者Shane Macは、XMTPが自己運営可能なオープンソースメッセージスタックに進化し、人とエージェントにプライベートな対話を提供することを発表しました。インフラはユーザーが制御し、トークンやウォレットは必要ありません。XMTP Labsがホストするネットワークは2027年初頭に閉鎖されます。Shane Macは、5年前にXMTPを設立した理由は、プライベートメッセージは単一の企業が所有すべきではないと考えたからだと述べています。彼は、チームがウォレットをアプリ間のアイデンティティとして使用し、メッセージがアイデンティティに従うようにし、トークンでインフラ運営者に支払うことを想定していたが、その道は実現しなかったと振り返りました。XMTPはトークンを発行したことはなく、今後も発行しないと認めています。彼は、単一の共有ネットワークを長期間維持することが誤った決定であったと認め、開発者たちはXMTPを自己運営できることを求めていたため、自己ホスティングに変更しました。開発者はソフトウェア全体を使用、検査、変更し、維持することができ、Labsに依存する必要はありません。元従業員がプロトコルの維持を支援し、Shane Mac自身も引き続き関与します。文中では、自己ホスティングのXMTPが量子耐性のエンドツーエンド暗号化、プライベートチャットとグループチャット、暗号化されたアイデンティティとメッセージの真実性、モバイル、ウェブ、サーバー、エージェント向けのSDKを提供することが紹介されています。最高技術責任者のNick Molnarは、バックエンドを単一のRustバイナリに簡素化し、添付ファイル、プッシュ通知、ハンドル、および新しいメッセージの署名Webhookを統合しました。各自ホスティングネットワークはデフォルトで自動的に相互接続されず、異なるツールのエージェントは同じバックエンドに接続する必要があります。

first_img Anthropic オープン Claude Duet 研究プレビュー

Anthropicは10月21日にClaude Duetの研究プレビューを公開しました。これは独立したアプリケーションで、Claudeはアクティブエージェントとして、注意が必要な事項を提示し、ユーザーからの指示に従ったタスクを完了し、ユーザーが離れた後も作業を続けます。ユーザーの行動を代表する前に確認を求めます。製品は専門家や小企業のオーナーを対象としており、iOS、Androidアプリおよびclaude.aiを提供し、研究プレビューはProおよびMaxプランに含まれ、他のClaude機能と使用量の制限を共有します。ユーザーは待機リストに登録する必要があり、現在はアメリカのProおよびMaxユーザーから始まります。Claude DuetはClaude Opus 5.5を基に設計されています。毎朝、接続されたアプリ間で短いブリーフィングを送信し、日中はこれらのアプリを監視し、注意が必要な場合にのみメッセージを送信します。会議のスケジュール、ダッシュボードの構築、財務または販売予測、プロトタイプやウェブアプリなどのタスクを処理できます。アプリはClaudeアカウント内の記憶、スキル、接続されたアプリを引き継ぎ、同じ継続的なスレッド内でタイピングまたは音声でコミュニケーションをサポートし、ブラウザを搭載した仮想マシンを備えており、ユーザーのデバイスが常にオンである必要はありません。Claude Marketplace内の6,000以上のコネクタやプラグインを使用でき、文中の例にはGmail、Slack、Intuit QuickBooks、Stripe、Gusto、LinkedIn、Docusign、HubSpot、Canva、Shopifyが含まれます。企業の購入はStripeのLinkデジタルウォレットまたはShopifyのShop Payを使用でき、ユーザーの許可のもとで1Passwordに保存されたログイン情報を使用してウェブサイトにログインすることがサポートされる予定です。セキュリティ面では、製品は信頼できるエージェントフレームワークを採用しており、ホスティングエージェントはパスワードやログイントークンを直接見ることはありません。また、自動モード分類器やヒント注入防護が設けられています。Anthropicはレッドチームと外部のペネトレーションテストを実施し、公開された脆弱性報奨金プログラムに組み込んでいます。メッセージの送信、支払い、文書の署名、またはコンテンツの削除の前に実行予定の操作を表示し、承認を待ちます。証券取引やアカウント間の送金は承認を得ても禁止されています。初期バージョンは会話を誤読したり、緊急度を誤判断する可能性があり、コア機能は仕事に関連しており、チケット予約などの個人的な事務は弱く、ユーザーにブラウザを表示することはできません。また、現在は主なClaudeアプリとは分離されており、バックグラウンドチェックはプランの使用量にカウントされます。

テンセントクラウドがオープン元宝検索を開始し、複数の企業が検索APIを発表しました。

据動察 Beating の報道によると、テンセントはテンセントクラウドを通じて開発者に元宝検索を開放し、API、MCP、Skillの接続をサポートすると発表しました。テンセントは、この検索サービスが千億級のインデックスを持ち、日平均数億回の呼び出しが行われており、WorkBuddy、ima、テンセントビデオなど50以上の内部業務を支えていることを明らかにしました。元宝検索の基盤技術はSogou検索に由来し、テンセントのコンテンツエコシステムを統合し、金融、医療、法律など13の業界の157の権威ある情報源に接続されています。テンセントクラウドのネットワーク検索APIの記録によると、このサービスは2025年7月1日にオンラインになりました。アリババクラウドは同年3月20日に独立したネットワーク検索APIを発表しました;火山エンジンは今年6月に既存のサービスを豆包検索にアップグレードし、7月に正式に外部に公開しました;DeepSeekは10月17日に自社開発の検索エンジンのSearchとFetch APIを開放しました。元宝検索のエクスプレス版、スタンダード版、フラッグシップ版の千回呼び出し価格はそれぞれ14元、20元、26元で、さらに毎月2000回の無料枠があります。エクスプレス版は公開ウェブページの情報源のみをサポートします。DeepSeek Search APIの千回成功リクエストの価格は5元、アリババクラウドのOpenSearch Liteは12元、Pro版は10月15日に18元に値下げされました。

first_img アマゾンがオープンソースツールTorchNeuronを発表し、自社開発チップへの移行のハードルを下げる

財聯社 10 月 20 日訊、アマゾンは現地時間19日にオープンソースツールTorchNeuronを発表し、開発者がNVIDIAのチップから自社開発のチップに移行する際のハードルを下げ、NVIDIAがCUDAに基づいて構築したソフトウェアの壁に挑戦することを目的としています。報道によると、このツールを使用すると、PyTorchで書かれたAIコードを再記述することなく、アマゾンの自社開発AIチップ上で実行できるようになります。PyTorchはMetaが主導して維持管理しており、多くのAI開発者が使用するオープンソースフレームワークとして説明されています。アマゾンのチップ設計部門Annapurna Labsは、TorchNeuronを利用することで、開発者は1つの設定を変更するだけで、同じコードを自社開発のTrainiumチップ上で実行できると紹介しています。アマゾンは現地時間19日にこのツールの発表を行い、20日にカリフォルニア州サンノゼで開催されるPyTorch大会で無料オープンソース形式で公開する予定です。Annapurna Labsのソフトウェア副社長Colin Braceはインタビューで、TorchNeuronの導入は開発者がアマゾンの自社開発チップを試すための手順を減らすためであり、顧客の既存の作業方法に基づいていると述べました。彼はすでに30社以上の初期顧客が利用しており、ロボット、ワールドモデル、音声AIなどの分野をカバーしていると明かし、アマゾンのチップに切り替えることでコストを削減できると述べました。
app_icon
ChainCatcher Building the Web3 world with innovations.