Investing.com - ...

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

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

生成AI・AIエージェントの開発／コンサルティングおよびデジタル組織の構築を支援するHCMプラットフォーム「Track（トラック）」を展開する株式会社ギブリー（本社︰東京都渋谷区、代表︰井手 高志、以下、当社）は、同プラットフォームのAI面接ツール ...

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

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

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

ソフトウェア開発の生産性を向上させる技術として期待されているのが、AI（人工知能）コーディングツールだ。一方、AIコーディングツールで生成したコードを利用することで、本番環境でのセキュリティリスクの発生やソフトウェアの挙動に問題が生じる ...

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

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

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

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