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

会員（無料）になると、いいね！でマイページに保存できます。 AIと新開発新手法「バイブ・コーディング」、セールスフォースが示す実践例 ソフトウェア開発の世界で新たなパラダイムシフトが起きている。OpenAIの共同創設者アンドレイ・カーパシー氏が ...

Michael WegmüllerはAI分野で20年以上の経験を持つ。Artifact SAの共同創業者であり、広く知られたAIビジネスの専門家である。 クライアント向けのライブワークショップ中、私たちのアンケートアプリケーションが突然動作を停止した ...

その理由はこうだ。技術開発チームは通常、ビジネスリーダーが設定したロードマップに沿って動いており、どのプロジェクトが実現するかは経営幹部の優先順位によって決まる。その結果、経営層がイノベーションの門番（ゲートキーパー）として機能してしまうことがある。

本コーナー「開発者と読み解くAIの世界」では、AIアプリ開発に携わるエンジニアより寄稿いただき、開発者目線でみる生成AIの面白さや活用法、開発現場のリアルをお伝えします。 「GitHub Copilot」（2021年）の登場により、AIがソースコードを補完・生成する ...

2026年1月に会社員からフリーランスへ転身、30代・子育て中のWebクリエイター「ぽんず」は、生成AIとの対話開発（Vibe Coding ...

非エンジニアでもアプリを作りたい！という欲求が止まらない。 企業ではエンジニアが生成AIを活用して大幅な生産性向上を実現している。毎日自分の好きなアプリをAIで作っているという知人もいる。筆者も作りたいものがあるので、彼らが羨ましすぎて ...

会員（無料）になると、いいね！でマイページに保存できます。 バイブコーディングに潜む「構造的リスク」 多くのメリットがあるバイブコーディングだが、その一方で、セキュリティ上のリスクが問題となっている。AIはコードの生成は速いが、安全面で ...

JAPAN AI株式会社（本社：東京都新宿区、代表取締役社長：工藤 智昭、以下JAPAN AI）は、AIコーディングエージェント「JAPAN AI Code」が、ソフトウェア開発AIの国際的な評価基準であるSWE-bench Verifiedベンチマークにおいて、全500問の評価で解決率80.2%を達成した ...

プログラミング教育事業・アパレルブランド事業を展開するミチガエル（東京都渋谷区）の今西航平代表（@03Imanyu）は4月16日、特許庁に申請中だった「AI Coding」の商標登録出願を取り下げると、自身のXで発表した。出願に対しては「一般化した用語だ」とし ...

AIを用いたコーディングツールの普及に伴って、VLCやBlenderといったオープンソースプロジェクトに対する低品質なコードの提出が増加しています。この状況を打破するべく、貢献者の信頼度を管理するシステムも登場しています。 GitHub - mitchellh/vouch: A ...

米エニースフィアが開発したコーディング支援ツール「カーソル」の画面 人工知能（AI）でプログラミングコードを書く「AIコーディング」市場が40億ドル（約6300億円）規模に達した。米マイクロソフトを筆頭に、上位3社がシェア7割を占める寡占市場だ。