フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean 4」に対応したオープンソースのAIエージェントで、数学やプログラムの正しさを厳密に検証する「証明エンジニアリング」を支援することを目的としています。

ティアフォーは、自動運転レベル4向けのデータ中心AI搭載ソフトウェアスタックを開発し、自動運転用オープンソースソフトウェア「Autoware」のリポジトリを通じて公開した。 今回公開されたソフトウェアスタックは、運行設計領域(ODD)を最大化することを目的に開発されたもの。多様なシステム・オン・チップ(SoC)やセンサー構成に適応可能で、自動車メーカーは自社の走行データを用いてAIモデルの性能を継 ...

（株）インプレスは、4月26日に開催する「Kyoto Micro Maker Faire 2026 – Young Maker Edition」の出展者情報を公開した。 「Maker Faire」は、3DプリンターやAIなど誰でも使える新しいテクノロジーなどを、ユニークな発想で使いこなし、あっと驚くようなユニークなアイテムの製作者「メイカー（Maker）」の祭典。今回開催する「Kyoto Micr ...