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

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

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

不満を手がかりに、AIを「もっと頼れる存在」へ（   【表：https://kyodonewsprwire.jp/prwfile/release/M108838/202603135634/_prw_PT1fl_bVW6f1sW.png】 　株式会社キッカケクリエイション（本社 ...

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

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

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

プログラミング事業を展開する企業が"AI Coding"という商標を「コンピュータプログラミングに関する教育又は指導」等を指定役務に出願したところ、「一般化した用語」であるとの批判が集まり、出願を取り下げたという事件がありました（参照記事）。

「Vibe Coding」がソフトウェア開発の新しい手法として注目を集めている。AIに指示しながらコードを生成し、アプリケーションを構築していくものだ。ユーザーがコーディングの詳細を理解していなくともプログラムが可能で、誰もが開発者になれる。

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

2025年6月17日、日本マイクロソフトは、毎年恒例となった 「Java on Azure Day 2025」 を開催しました。基調講演でMicrosoft Corporationの寺田佳央氏が登壇。AIによる開発生産性向上から、レガシーJavaのモダナイズ、そしてAzureを活用した最新のAIアプリ開発基盤まで ...

「Vibe coding」が急速に普及している。プログラミング初心者のみならず、プロの開発者も利用して、驚異的な成果を生み出している。しかしその一方、手軽すぎてコードの詳細を理解せずに開発を進められることから、新たなリスクの恐れがあるという。