フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean 4」に対応したオープンソースのAIエージェントで、数学やプログラムの正しさを厳密に検証する「証明エンジニアリング」を支援することを目的としています。
米OpenAIは3月5日(日本時間)、「GPT‑5.4」を発表した。同社でもっとも高性能かつ効率的な業務用途向けフロンティアモデルだ。
Getting an AWS certification is like getting a badge that says you know your stuff. It can really help your career. For ...
OpenAI today released the Codex app for Windows, powered by OpenAI’s frontier coding models, and it’s now the only coding agent with a first-class Windows experience.