OpenAIは、Python開発者向け高速ツールを提供するAstralを買収することで合意した。高性能なコードチェックツール「Ruff」やパッケージ管理ツール「uv」を持つ同社の技術を、プログラミング支援AI「Codex」に統合する。開発ワークフロー全体を自動化するAIシステムの進化を目指し、オープンソースの既存ツールへのサポートも継続する。

Red Hatはこのほど、オープンソース技術を活用し、分散環境でAIを学習する「フェデレーテッドラーニング(連合学習)」を企業規模で導入する方法を解説した。フェデレーテッドラーニングでは学習データを外部に持ち出す必要がないため、医療や金融組織に要求されるプライバシー規制を守りながらAI環境を構築することが可能になる。

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

オープンソースソフトウェアの中には「ソースコードをコピーして別のソフトウェアを作った場合、そのソフトウェアもオープンソースとしなければならない」というコピーレフト条項を含むライセンスを採用しているものが多くあります。しかし、AIの普及によって「ソースコードをコピーせずとも『ソフトウェアの動作』を指定すれば同じ機能を持った別のソースコードを生成できる」という状況が生まれています。そんな現状を風刺した ...

レトロゲームエンジン「Pyxel」で3月2日、「Visual Studio Code」拡張機能の提供が開始された。「Pyxel」の作者自身が開発した公式の拡張機能で、現在「Visual Studio Marketplace」から無償でダウンロード可能 ...