"API3"検索結果
本日
06:55

Mistral AI が Leanstral を発表:Lean 4 の最初のオープンソースコードエージェントで、自動的に形式化証明を出力

Mistral AI は、Lean 4 の形式的検証専用に設計されたオープンソースのコードエージェント「Leanstral」をリリースしました。自動的に検証可能なコードと証明を生成でき、稀疎な MoE アーキテクチャを採用しており、他のトップレベルモデルよりも優れた性能を示します。無料でダウンロードでき、API 呼び出しも可能です。
もっと
06:03

xAI傘下のGrokがテキスト音声変換APIを発表

Gate Newsの報道によると、3月17日に、イーロン・マスク率いる人工知能企業xAIは、そのAIアシスタントGrokにテキスト読み上げAPI機能をリリースしたと発表しました。
もっと
05:32

GateはAI統合プラットフォームGateRouterをリリースし、ワンクリックで25以上の大規模モデルにアクセスでき、最大80%のコスト削減を実現します。

Gateは3月16日にAI統合プラットフォームのGateRouterをリリースし、開発者とAIエージェント向けに統一されたモデル呼び出しの入口を提供します。ユーザーは1つのAPIを通じて複数の主要な大規模モデルに迅速にアクセスでき、必要に応じた料金支払い方式を利用でき、クレジットカードやサブスクリプションは不要で、信頼性が高く、使い勝手も良いです。
もっと
02:57

智谱 AI が GLM-5-Turbo モデルを発表、速度が 2-3 倍向上、API 価格を 20%引き上げ

智谱AIは3月16日にGLM-5の高速最適化版であるGLM-5-Turboモデルを発表しました。これはOpenClawエージェントシナリオ向けに特別に設計されたもので、速度は2倍から3倍に向上し、200Kのコンテキストと128Kの最大出力をサポートしています。また、ツール呼び出しの安定性などの点も最適化されています。評価試験ではGLM-5を大きく上回る性能を示し、同時にAPIの価格引き上げと個人ユーザープランの導入も行われました。
もっと
13:32

Gate、AI モデルルーティングプラットフォーム GateRouter をローンチ、統一 API 呼び出しで 25+ 主流大モデルをサポート

GateRouterは3月13日にリリースされ、開発者に対して統一された大規模モデル呼び出しプラットフォームを提供します。25以上の主要モデルをサポートし、ユーザーは単一のAPIを通じてアクセスでき、システムはAI推論コストを削減するためにモデルを自動的にマッチングします。開発者は迅速にAPIを接続・管理でき、今後は従量課金制も導入される予定です。
もっと
14:01

MetaMaskがUniswap APIを統合、Uniswap v2/v3/v4およびUniswapXネイティブスワップをサポート

MetaMaskは3月11日にUniswap APIをその交換サービスに統合し、v2、v3、v4およびUniswapXプロトコルをサポートしています。これは、その流動性と価格設定の優位性に基づいています。このAPIは無料で開発者に公開されており、さまざまなアプリケーションにサービスを提供しています。Uniswapプロトコルの総取引量は4兆ドルを超えています。
もっと
10:30

0x Protocol とある Web3 ウォレットが DEX 取引 API 統合を完了

去中心化取引プロトコルの0x ProtocolはWeb3ウォレットと提携し、DEX取引APIの統合を完了しました。これにより、オンチェーン取引の質と流動性が向上しています。提携後、取引量はすでに1,000万ドルを突破し、複数のEVMネットワークをサポート、累計ユーザー数は500万人を超え、取引量は300億ドルに達しています。
もっと
ETH2.01%
BNB-1.32%
03:27

OpenClawの創始者がGitHubのセキュリティ脆弱性報告プロセスの三つの問題点を批評

OpenClawの創設者であるPeter Steinbergerは、GitHubのセキュリティ脆弱性報告プロセスに問題があると批判しています。具体的には、管理者のみがアクセスできること、APIの機能不足、そして大量の低品質なAIコンテンツが含まれており、これにより脆弱性の配布、協力、対応の効率が低下しています。
もっと
06:31

深圳市龙岗区のKimiと共同で千人ロブスター大会を開催し、APIチャージ最大40%の返券を提供

深圳市龙岗区は3月14日の午後、「千人ロブスター大会」を開催します。会場ではOpenClawを無料でインストールでき、Kimi Clawの体験資格も提供されます。同時にチャージリベート券の補助も実施します。この大会は人工知能のスタートアップを促進し、新興企業の発展を促すことを目的としています。
もっと