フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean ...

MetaとGoogle DeepMindの元従業員が立ち上げたAI開発企業のMistral AIが、同社初のコーディング用AIモデル「Codestral」を発表しました。Codestralはコーディングタスク専用に設計された生成AIモデルで、ソフトウェア開発者が高度なAIアプリケーションを設計するのに ...

AI 競争がかつてないほど加速している。クローズドソースの「フロンティア」モデルに対する競争力の高い代替品として、オープンソースの新しい「Llama 3.1」を発表した Metaに続き、フランスの AI スタートアップ Mistralもその土俵に上がった。 同 ...

米Microsoftが支援する仏Mistral AIは5月29日（現地時間）、同社としては初のコーディング向け生成AIモデル「Codestral」を発表した。 コード生成タスクを明示的に設計されたオープンウェイト（モデルの重みを公開している）の生成AIモデルで、HuggingFaceから ...

AIに仕事を奪われる危機感をチャンスに。未経験の30代からでも、最短6ヶ月でPythonを使った副業案件の獲得へ。