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

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

人工知能（AI）搭載のコードエディター「Cursor（カーソル）」。自然な言葉でアプリを構築する「バイブコーディング」の流行に乗り、つい最近まで驚異的な急成長企業と見られていた。直近の資金調達ラウンドでは評価額が約300億ドル（約4.7兆円 ...

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

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

・生成AIにプログラムのコーディングを任せるバイブコーディングの利用が広がっている ・人間が適切なプロンプトを書けるかどうかが重要なので、スキルがない人では難しい ・AIエージェントを使うことは開発の現場ではすでに当たり前に。いきなり完成 ...

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

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

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

米国のAI研究機関であるModel Evaluation & Threat Research（METR）に所属する研究者らが発表した論文「Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity」は、コーディングにおいて、AIツールを使うとどれくらい開発が効率化するかを調査した研究 ...

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

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