BTC $73,438.85 -2.03%
ETH $2,046.95 -3.57%
BNB $679.19 -1.37%
XRP $1.05 -4.48%
SOL $83.06 -4.04%
TRX $0.3178 +0.08%
DOGE $0.0682 -2.30%
ADA $0.1747 -1.21%
BCH $230.69 -3.05%
LINK $10.32 -2.79%
HYPE $71.90 -4.11%
AAVE $124.10 -5.91%
SUI $0.8262 -1.62%
XLM $0.1450 -1.51%
ZEC $1,031.40 -11.88%
AAPL $349.23 -0.48%
AMZN $271.93 +1.58%
GOOGL $289.19 -0.53%
MSFT $535.38 -1.74%
META $644.99 +0.20%
NVDA $171.19 -5.41%
TSLA $382.32 +1.03%
SNDK $879.01 -0.96%
INTC $59.03 -0.77%
SPCX $144.40 +1.59%
MU $736.95 +0.76%
AMD $525.91 +2.70%
BTC $73,438.85 -2.03%
ETH $2,046.95 -3.57%
BNB $679.19 -1.37%
XRP $1.05 -4.48%
SOL $83.06 -4.04%
TRX $0.3178 +0.08%
DOGE $0.0682 -2.30%
ADA $0.1747 -1.21%
BCH $230.69 -3.05%
LINK $10.32 -2.79%
HYPE $71.90 -4.11%
AAVE $124.10 -5.91%
SUI $0.8262 -1.62%
XLM $0.1450 -1.51%
ZEC $1,031.40 -11.88%
AAPL $349.23 -0.48%
AMZN $271.93 +1.58%
GOOGL $289.19 -0.53%
MSFT $535.38 -1.74%
META $644.99 +0.20%
NVDA $171.19 -5.41%
TSLA $382.32 +1.03%
SNDK $879.01 -0.96%
INTC $59.03 -0.77%
SPCX $144.40 +1.59%
MU $736.95 +0.76%
AMD $525.91 +2.70%

オープンソース

すべて
記事
速報

Baiduオープンソース文心 5.5 Flash、総パラメータ 2800億

百度は、文心 ERNIE-5.5-Flash-Base モデルの重みをオープンソース化しました。2025年6月の文心4.5シリーズ以来、約16か月ぶりに百度は千億パラメータ級の大モデルを再びオープンソース化しました。その間にリリースされた文心5.0と5.1はオープンソース化されていません。文心5.5 Flashは推論効率を重視しており、総パラメータは2800億で、1つのトークンを生成するごとに140億パラメータのみが活性化され、33.5兆トークンを使用してゼロから事前トレーニングされています。このモデルは最大100万トークンの推論コンテキストをサポートしています。百度は長文処理メカニズムを再設計し、43層のネットワークのうち37層が128個の履歴トークンを1つのキャッシュレコードに圧縮し、残りの6層は元の内容に対する精密な検索能力を保持して、長文処理のメモリと計算コストを削減しています。公式はこれをDeepSeek-V4-Flash-Base、Tencent Hy3-preview-Base、小米 MiMo-V2.5-Baseと統一評価し、30のベンチマークテストのうち24項目で1位を獲得しました。今回オープンされるのは、未訓練および後訓練の純テキストベースモデルで、主に開発者が分野の微調整、指示トレーニング、強化学習を続けるためのものです。百度は、後訓練された文心5.5 Flashが後にリリースされると述べています。ライセンスは前世代よりも厳格で、文心4.5はApache 2.0ライセンスを採用していましたが、5.5 Flashはカスタムライセンスに変更され、EU、英国、韓国での使用は許可されていません。関連製品またはサービスが過去12か月間に5000万ドル以上の収益を上げた場合、商用前に百度の書面による許可を別途取得する必要があります。

first_img 月の暗面オープンソース Kimi K3.1 Pro、オープンウェイトモデルランキングの頂点に立つ

凤凰網科技の報道によると、人工知能会社月の暗面(Moonshot AI)は、Hugging FaceプラットフォームでKimi K3.1 Proモデルの重みを公開したと発表しました。AIモデル評価プラットフォームArenaは、Kimi K3.1 Pro(Max)がエージェントアリーナのインテリジェントエージェントランキングでオープン重みモデルの1位、世界の評価モデルの13位にランクインし、作業、プログラミング、チャットの3つのカテゴリでオープンモデルの1位に位置していることを明らかにしました。Arenaによれば、このランキングは、世界中のユーザーによる1.75万回以上の実際の長期インテリジェントエージェントタスクセッションに基づいています。Kimi K3.1 Pro(Max)の純改善率は+5.1%で、前世代のKimi K3(Max)の+0.9%から4.2ポイント向上しました。Shellコマンド実行の信頼性指標Bash Reliabilityは+7.9%で、オープンモデルの中で1位、前世代のK3は-4.5%で13位でした。称賛と苦情の指標は+7.7%、前世代は+1.3%でした;制御性指標は+6.5%で、同様にオープンモデルの1位に位置しています。タスク完了確認指標は+3.9%で、オープンモデルの中で4位、前世代の+3.8%をわずかに上回っています。月の暗面の資料によると、このモデルはハイブリッドエキスパートアーキテクチャを採用しており、総パラメータ量は28兆、単回推論で活性化されるパラメータは約1040億、約100万トークンのコンテキストをサポートし、ネイティブなマルチモーダル能力を備え、プログラミング、3D制作、金融研究、事実の正確性、複雑なインテリジェントエージェントタスクの実行能力を重点的に向上させています。

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 PHP財団の執行理事:正社員は1名のみ、資金不足と称する

ロイター通信 10月23日報道、オープンソース言語 PHP を支持する非営利団体 PHP 財団の執行理事エリザベス・バロンは金曜日に電子メールでインタビューに応じ、財団の資金が深刻に不足していると述べた。彼女は、最近の出来事は企業と政府が PHP に高度に依存していることを示しており、この依存を考慮すると、PHP の資金は明らかに不足していると語った。バロンは、財団には現在1名のフルタイム職員、つまり彼女自身のみが在籍しており、他に14名の主にパートタイムの契約者がいると述べた。資金は寄付と助成金から来ている。人工知能に関連するコーディングの増加により、財団の作業量は約2倍になった。PHP プロジェクトが受け取ったコード変更提案はほぼ1年前の2倍だが、貢献者の数は倍増していない。彼女は、コードの貢献やバグ報告のレビューには多くの人的投入と経験が必要だと述べた。ロイター通信は、今週 PHP の2つの重大な脆弱性が発見され、世界中のウェブサイトが緊急修正を行ったことを報じており、この約30年のオープンソース言語がインターネットにとって重要であることを示している。記事によれば、PHP は世界中の約70%のウェブサイトを支えている可能性があり、現在これらの脆弱性が公開前に悪用された証拠は見つかっていない。報道は記者トビー・スターリングがアムステルダムから発信した。

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 メッセージプロトコル 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を統合しました。各自ホスティングネットワークはデフォルトで自動的に相互接続されず、異なるツールのエージェントは同じバックエンドに接続する必要があります。
app_icon
ChainCatcher Building the Web3 world with innovations.