BTC $78,795.27 -0.41%
ETH $2,496.44 +0.20%
BNB $751.95 +1.53%
XRP $1.42 +1.68%
SOL $103.69 +0.06%
TRX $0.3390 +1.19%
DOGE $0.0901 -0.32%
ADA $0.2180 -0.54%
BCH $258.50 -0.40%
LINK $12.46 -1.66%
HYPE $85.87 +1.61%
AAVE $129.13 -1.67%
SUI $0.8129 -1.63%
XLM $0.1880 -1.29%
ZEC $1,182.26 +4.33%
BTC $78,795.27 -0.41%
ETH $2,496.44 +0.20%
BNB $751.95 +1.53%
XRP $1.42 +1.68%
SOL $103.69 +0.06%
TRX $0.3390 +1.19%
DOGE $0.0901 -0.32%
ADA $0.2180 -0.54%
BCH $258.50 -0.40%
LINK $12.46 -1.66%
HYPE $85.87 +1.61%
AAVE $129.13 -1.67%
SUI $0.8129 -1.63%
XLM $0.1880 -1.29%
ZEC $1,182.26 +4.33%

code

すべて
記事
速報

first_img イーサリアム財団がbetter.codesチャレンジを発表し、ハッシュSNARKの証明可能な安全性を推進する

イーサリアム財団の形式的検証チームがYukon、zkSecurityと協力して構築したオープン自動研究チャレンジbetter.codesが現在オンラインになりました。このプラットフォームは、Proximity Prizeの自己包含問題をLeanで形式化し、koalaIRS12の機械検査の信頼性界を公共ランキングに入れ、誰でも推進して向上させることができるようにし、ハッシュベースのSNARKおよび後量子イーサリアム関連のセキュリティ基準を進めます。解決者はAIエージェントを持ち込むことができ、このReed-Solomon近接問題に対してより高い信頼性下界を証明し、固定の128ビット目標に向かって進みます。Leanカーネルは各提出物を検証し、昇格した証明は公開界を向上させ、その新しい補題、証明技術、不可能性結果は上流で同期され、すべての参加者が再利用できるようになります。生産環境におけるほとんどのハッシュSNARKは関連する近接ギャップと関連する合意結果に依存していますが、現在証明可能な結果は研究者が信じる基準を下回っており、このチャレンジはオープンで増分的、検証可能な方法でこのギャップを縮小することを目的としています。koalaIRS12は関連論文に由来し、エンドツーエンドでArkLibに形式化されています。参加者はGitHubを通じてログインし、チャレンジリポジトリをクローンし、固定定理の陳述と検証フレームワークの下で提出することができます。比較器とLeanカーネルが確認した後、結果は公共リポジトリに記録され、解決者と使用したモデルが明記されます。本日オンラインになったのは、koalaIRS12の証明された下界を128ビットに引き上げる信頼性チャレンジであり、今後はさらに多くの問題が追加される可能性があり、詳細はプロジェクトの条項に準じます。

AMDは企業向けAIプログラミングプラットフォームInstinct Coderを発表しました。

AMDは企業向けのオンプレミスAIプログラミングプラットフォームAMD Instinct Coderを正式に発表しました。このプラットフォームは、AMD EPYCプロセッサ、AMD Instinct GPU、Supermicro AIサーバー、Spectro Cloud PaletteAI推論スタートアッププラットフォームソフトウェア、そしてAMD推論マイクロサービス最適化のGLM-5.2モデルを統合し、ハードウェアからソフトウェアまでの事前統合された迅速に展開可能な一体型ソリューションを構成しています。AMDは、このプラットフォームの総所有コストがクラウドの最先端モデルを使用する場合に比べて最大70%削減され、投資回収期間が最短6ヶ月になると発表しました。これは、企業がAIプログラミングアシスタントのパイロットで一般的に直面するクラウドモデルのコスト衝撃と第三者サービスのデータセキュリティリスクという2つの核心的な痛点に直接対応しています。Spectro CloudのPaletteAIプラットフォームは、インテリジェントルーティング機能を提供し、ローカル推論とAnthropic、OpenAI、Google、xAIなどのクラウド最先端モデルの間で戦略的に自動切り替えを行います。また、トークン割り当て、監査追跡、Grafanaダッシュボードを備え、ローカルとクラウドのコスト比較の可視化を実現し、標準オペレーティングシステムとKubernetesに完全に互換性があります。各ノードは最大50人のユーザーをサポートし、Claude Code、OpenAI Codex、Visual Studio Code、Cursorなどの主要な開発ツールと互換性があります。IDCの幹部は、このプラットフォームを「企業がAIプログラミングの生産性を求めながら、予測不可能なクラウド費用やリスク露出のソースコードを望まないという核心的なニーズに直撃する」と評価しました。AMDのこの取り組みは、AIプログラミングアシスタントを従量課金制の純サービスモデルから、事前にコストを計画できるインフラ投資モデルへと移行させるものです。

first_img OpenAIはすべてのChatGPT WorkとCodexユーザーの使用量をリセットし、最適化後の予想航続時間は約18%延長される見込みです。

OpenAI Codex 製品責任者 Tibo は 7 月 29 日に X 上で、すべての ChatGPT Work と Codex ユーザーの使用量制限をリセットしたことを発表し、GPT-5.6 Sol の使用量消費が速すぎる問題について説明を行いました。数週間前、多くのユーザーから Codex の制限消費速度が予想を超えているとのフィードバックが寄せられました。OpenAI は、いかなるサブスクリプションプランの使用量枠も削減していないと強調し、調査の結果、いくつかの理由が明らかになりました:Sol は前世代モデルよりも長時間の作業を好み、より多くのツール呼び出しを実行し、複雑なワークフローを調整します;同じ推論レベルでより多くのトークンを消費します;プログラム的なツール呼び出し(コードモード)により Sol はツール呼び出しを並行して実行でき、各ラウンドでより多くの応答と高い使用量をもたらします;影響の分布は非常に不均一であり、中位数のユーザー効率はまずまずですが、複雑なタスクを処理するヘビーユーザーは予想以上に早く消費します。OpenAI は複数の改善を完了したと述べ、典型的な使用シーンでの使用量の持続時間が約 18% 延長されると予想しています。明日、調査期間中に一時停止された 5 時間の制限が復活します。OpenAI は「能力と効率が常に同時に向上するわけではなく、いくつかの問題は大規模な実際の使用後にのみ明らかになることがあるため、私たちはこれをもっと早く認識すべきだった」と認めています。

慢雾余弦:Claude Codeが高危険な安全リスクを暴露し、悪意のある設定ファイルが静かにコマンドを実行する可能性がある

慢雾の創設者余弦がXプラットフォームでClaude Codeの潜在的な毒攻撃リスクに関するツイートをリツイートし、Grok Build CLIおよびClaude Code CLIに対する毒攻撃の詳細分析を発表しました。その中で、Grok Build CLIのセキュリティメカニズムは統一されておらず、異なるコードパスには異なる信頼仮定が存在し、その隙間が攻撃者の通路となることが指摘されています。攻撃者は悪意のあるプロジェクト設定ファイルを通じて、ユーザーが知らないうちに任意のコマンドを実行し、APIキー、クラウド認証情報、またはローカルデバイスを制御する可能性があります。研究者はテスト環境を構築し、MacシステムにおいてClaude Codeが影響を受けた場合、特定のテストコマンドを実行後にローカル計算機が起動することを確認し、潜在的なコマンド実行リスクが存在することを証明しました。攻撃が成功した場合、攻撃者はClaude、OpenAIなどのAIサービスのAPIキーをさらに盗み、アカウントの費用損失を引き起こし、AWS、アリババクラウド、テンセントクラウドなどのクラウドサービスの認証情報を取得してサーバーやデータにアクセスし、コードリポジトリを改ざんしてバックドアを埋め込み、ローカルデバイスを利用して企業内部ネットワークへの攻撃を行う可能性があります。関連する脆弱性はすでに1年間存在しているとのことです。

アナリスト:BNBチェーンのエコシステムプロジェクトCodexFieldは、詐欺やラグプルのリスクがあると疑われています。

オンチェーンアナリストのSpecterはXプラットフォームでコミュニティアラートを発表し、BNB ChainエコシステムプロジェクトCodexFieldに詐欺およびRug Pullのリスクがあると疑われています。このプロジェクトはBNB Chainの公式サポートのもとで8,500万ドル以上を調達しました。Specterの追跡によると、プロジェクトのウォレットは1,730万USDTをトロンからイーサリアムにクロスチェーンし、その後Bitget SwapでDAIに交換してポリゴンに移動しました。現在、650万ドルが移動され、残りの1,080万ドルはまだ処理待ちです。プロジェクトはユーザーの預金のために2つのドメインと4つのサブドメインを運営しており、Blocksec MetaSuitesは預金契約を「Fake CodexField」とマークしていますが、オンチェーンの証拠はこの契約がプロジェクトチーム自身によって操作されていることを示しています。プロジェクトの資金の流れは異常であり、複数のチェーンを通じて、中継ウォレットを経由して最終的に中央集権型取引所に入金されています。わずか2つのトロンウォレットだけで、取引所に340万ドル以上が入金されています。Specterはバイナンスの創業者である趙長鵬とBNB Chainにこの問題に注目し、調査を行う可能性があることを呼びかけています。

工業情報化部のサイバーセキュリティプラットフォームがClaude Codeの安全なバックドアリスクを警告

工業情報化部のネットワークセキュリティ脅威と脆弱性情報共有プラットフォーム(NVDB)が7月8日に通報したところによると、最近、アメリカのAnthropic社が開発したAIプログラミングツールClaude Codeに深刻なセキュリティバックドアのリスクが存在することが監視によって発見されました。通報によれば、影響を受けるClaude Codeのバージョンは2.1.91から2.1.196です。このツールには監視メカニズムが内蔵されており、ユーザーの同意なしに、リモートサーバーにユーザーの地域、IDなどの敏感なデータを無断で送信することができます。公式は、関連する機関やユーザーに対して、直ちに全面的な調査を行い、上記の影響を受けたバージョンの端末をアンインストールするか、関連するバックドアコードが削除された最新の安全バージョンにアップグレードすることを推奨しています。また、コアビジネスネットワーク内の開発ツールの外部接続権限の管理とトラフィック監視を強化し、敏感なデータの不正な外部送信を防ぐべきです。

OpenAIは次世代のGPT-5.6シリーズモデルを発表しましたが、現在はCodexとAPIの信頼できるパートナーのみが使用できます。

公式の発表によると、OpenAIは次世代のGPT-5.6シリーズモデルのプレビュー版を正式に発表しました。これにはフラッグシップモデルのSol、バランスモデルのTerra、そして迅速で低コストなモデルのLunaが含まれています。GPT-5.6は新しい最大推論努力を導入し、超強力なモードを備えており、サブエージェントを通じて複雑な作業を加速することができます。フラッグシップモデルのSolは、最大推論強度とサブエージェントの協力によるUltraモードを導入しています。Terminal-Bench 2.1のコマンドラインワークフローテストでは、Solは88.8%のスコアを取得し、Ultraモードでは91.9%に上昇し、GPT-5.5の83.4%やClaude Fable 5の88.0%を超えました。中間モデルのTerraはGPT-5.5に近い性能を持ち、価格は半分に削減されています。最軽量モデルのLunaは日常の自動化タスクのために設計されています。Solの価格は、入力トークン100万あたり5ドル、出力30ドルで、プロンプトキャッシュを利用して二次呼び出しコストを削減することをサポートしています。安全性の面では、安全評価によりSolはPreparedness Frameworkのサイバーセキュリティの重要な閾値を超えていないことが確認されました。OpenAIは70万時間以上のA100相当のGPU時間を投入して自動化されたレッドチーム演習を行い、全モデルに拒否メカニズム、リアルタイムの悪用分類器、アカウントレベルの監査を含む防御スタックを装備しました。現在の限定リリースはアメリカ政府の安全フレームワークに従っていますが、OpenAIは政府主導のアクセスメカニズムが長期的なデフォルトモードになることを望んでおらず、そうなると防御者が最前線のツールを入手することが制限されると強調しています。
app_icon
ChainCatcher Building the Web3 world with innovations.