DeepSeek-V4 と R1 を中核とし、極めて低いトークンコストで提供される高効率なオープンウェイト/ホスト型推論 AI。
459 種類のワークフローで、アクセス推計・機能・代替製品を比較できます。
“Reasoning”·485 件
最初からDeepSeek-V4 と R1 を中核とし、極めて低いトークンコストで提供される高効率なオープンウェイト/ホスト型推論 AI。

GPT-6 と GPT-5.6 を搭載し、推論・コーディング・ディープリサーチに対応する OpenAI の旗艦マルチモーダルアシスタント。

長い時間軸で推論・協調するモデルを訓練する研究所
Salesforce Data 360 と Atlas を基盤とする自律型エンタープライズ AI エージェント/CRM インテリジェンス。
Salesforce Data 360 と Atlas を基盤とする自律型エンタープライズ AI エージェント/CRM インテリジェンス。

ライブ Web の引用とフロンティア推論モデルを組み合わせた、リアルタイム AI アンサーエンジン兼リサーチワークスペース。
Honcho is an open-source memory layer for AI agents. It ingests messages, indexes them, and runs background reasoning so agents can recall who a user is, what happened before, and what to do next — across sessions, tools, and machines.

野心的なソフトウェアをつくるAIコーディングエージェント

XenonStack is an AI-first technology company that builds decision infrastructure for enterprise AI agents. Its platform spans reasoning, orchestration, analytics, infrastructure and trust, with products including Foundry, ElixirClaw, ElixirData, NexaStack, MetaSecure and Neural AI, plus pre-built agents for operations, finance, security, analytics and supply chain.
XenonStack is an AI-first technology company that builds decision infrastructure for enterprise AI agents. Its platform spans reasoning, orchestration, analytics, infrastructure and trust, with products including Foundry, ElixirClaw, ElixirData, NexaStack, MetaSecure and Neural AI, plus pre-built agents for operations, finance, security, analytics and supply chain.

結論だけでなく根拠まで示すAIスポーツ予測ツール

TypeSafe AI is an AI lab building machine-native intelligence infrastructure, and Jev is its first System One Model — a model designed to make decisions inside software rather than reply to humans. Instead of returning strings, Jev accepts structured questions and returns typed decisions with calibrated confidence scores, so applications can act autonomously when confidence is high and escalate for human review when it is not. TypeSafe reports roughly 193x faster and 444x cheaper performance on System One workloads compared with general-purpose LLMs.
TypeSafe AI is an AI lab building machine-native intelligence infrastructure, and Jev is its first System One Model — a model designed to make decisions inside software rather than reply to humans. Instead of returning strings, Jev accepts structured questions and returns typed decisions with calibrated confidence scores, so applications can act autonomously when confidence is high and escalate for human review when it is not. TypeSafe reports roughly 193x faster and 444x cheaper performance on System One workloads compared with general-purpose LLMs.

Google DeepMind による世界第1位のサイバーセキュリティ防御・長期エージェンティック開発モデル — Gemini 4 Argon に続く Gemini 4 Carbon (Gemini Carbon 4)
Google DeepMind による世界第1位のサイバーセキュリティ防御・長期エージェンティック開発モデル — Gemini 4 Argon に続く Gemini 4 Carbon (Gemini Carbon 4)


推論時にスケールするソフトウェアエンジニアリング向けAIエージェント


紫微斗数・四柱推命・奇門遁甲を統合したマルチエージェントAI鑑定エンジン


Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
