Mistral Leanstral 1.5: 形式検証で数学ベンチマーク優位、実コード内のバグを5件検出
Mistral AI が Leanstral 1.5（Lean 4 形式検証モデル）をオープンソースでリリース。数学ベンチマークで100%達成、57のオープンソースリポジトリスキャンで未知のバグを発見。開発者・数学者向けの実用的なツール。
続きを読む記事一覧
全4036件の記事から 300-322件目を表示中
ビジネス
更新
OpenAI の欧州 Stargate 計画が大幅縮小、Microsoft と Google が容量を掌握
OpenAI CEO サム・アルトマンが昨年 7 月に表明した欧州インフラ拡大の野心は後退。同社の投資目標は 1.4 兆ドルから 6000 億ドルに削減され、ノルウェーとロンドンの両施設での存在感が薄れている。
続きを読む
Fable 5 のボトルネックはもはやモデルではなく『ユーザーの盲点』——Anthropic エンジニアが明かす、実践的プロンプティング技法
Anthropic のエンジニア Thariq Shihipar は、Fable 5 の時代、AI のパフォーマンスを制限しているのはモデル自体ではなく、開発者が自分の無意識の知識ギャップ（ブラインドスポット）に気付いていないことだと指摘。ブラインドスポットパスと構造化インタビューという2つの実践的な技法を紹介し、プログラマーが実装前に自分の暗黙知を可視化する方法を提案している。
続きを読む
26000学生の2年追跡調査が明かす、AI学習利用の隠れたコスト——短期効率と長期成績の落差
中国の26000人以上の学生を30ヶ月間追跡した調査で、AIを使った学習は短期的に宿題スコアが18%上がるが、2年後の入試では18～27%低下する。短期研究では見過ごされる学習格差が、時間経過とともに顕在化。
続きを読む
OpenAI Greg Brockman が語る無インターフェース未来、ChatGPT Plugin 失敗の教訓
OpenAI 共同創業者 Greg Brockman は ChatGPT Plugins の失敗について『モデルの準備ができていなかった』と明かし、目に見えないAIエージェントが背景で動作する将来を描く。業界の方向転換を示唆する発言。
続きを読む
Anthropic が医薬品開発プログラムを立ち上げ、Claude Science で創薬を加速
Anthropic は忘れられた病気の治療薬開発に特化したプログラムを立ち上げた。Claude Science という科学 AI ツールも同時発表。Novartis CEO は AI で開発期間を12年から7-8年に短縮できると述べている。
続きを読む
ブラウザ戦争2026——AI搭載の新ブラウザが続々、Chrome の支配を揺さぶる
Perplexity Comet、The Browser Company Dia、Opera Neon など AI を統合したブラウザが相次ぎ登場。10月には OpenAI Atlas の macOS 版もリリース予定。Chrome と Safari の支配に対する挑戦が加速している。
続きを読む
Microsoft、Copilot を SuperApp 化——8月統合でメール・スケジューリングを自動化
Microsoft が消費者向けと企業向けの Copilot を統一アプリに統合。新しい AI エージェント「AutoPilot」がメール要約やスケジューリングを自動処理し、追加機能は有料化へ。OpenAI・Anthropic に続く戦略転換。
続きを読む
Claude Sonnet 5 完全活用ガイド——エージェントAIで仕事を自動化する実践的な使い方
Anthropicが6月30日にリリースした「Claude Sonnet 5」は、ブラウザやターミナルを自律操作し、複数ステップの業務フローを完走できる「エージェント特化モデル」だ。Opus 4.8に迫る性能をFreeプランから試せる本モデルの実践的な使い方と、今日から始められる5つのユースケースを徹底解説する。
続きを読む
Google & Amazon、AI インフラ建設で排出量急増——脱炭素公約から遠ざかる大手テック
Google と Amazon は今週、温室効果ガス排出量の大幅な増加を報告した。AI インフラストラクチャの急速な整備が主因で、両社とも脱炭素目標からの乖離を深めている。業界全体での環境負荷の急増が懸念される。
続きを読む
ベンチマークは AI の実力を過小評価していた——UK AISI、計算予算が進捗測定を歪める仕組みを実証
英国 AI 安全機構（AISI）の研究により、標準的なAIベンチマークが計算予算の制限によって、AIエージェントの実際の能力を系統的に過小評価していることが判明した。計算予算を10倍増やすと、ソフトウェア工学タスクで成功率が25%向上する。
続きを読む
CVE 報告が3.5倍に急増——AI モデルのバグ発見自動化が始まった
Epoch AIの分析によると、6月に1,500件の高重大度CVEが報告され、前月比で過去最高の3.5倍に跳ね上がった。AI搭載のバグハンティング技術の本格展開が、セキュリティ業界の景色を急速に変えている。
続きを読む
$18B 評価の Kling、20 億ドル調達で映像 AI 市場に参戦
中国の映像生成 AI 企業 Kling が 20 億ドルの大型調達と香港 IPO 計画を発表。Google Veo、Runway と並ぶ企業評価を得て、映像 AI 市場の米中競争が本格化する。
続きを読む
Claude Code、中国企業のアクセスを制限——蒸留防止で隠しコード発見
Anthropic が Claude Code の利用規約で中国支配下の企業へのアクセスを明示的に禁止。ByteDance や Ant Financial は VPN で制限を回避しているが、Alibaba が中国ユーザーを識別する隠しコードを発見した。
続きを読む
ビジネス
更新
Meta の AI エージェント開発が停滞、Zuckerberg が内部告白——$145B 投資も進捗は期待下回る
Meta CEO Mark Zuckerberg が内部ミーティングで、AI エージェント開発が「予想より進まない」と職員に告白。年間 $145B のインフラ投資にもかかわらず、開発速度は期待値に達していない。
続きを読む
政策・規制
更新
豪州アーティスト、AI訓練に12M曲が流用——著作権保護の抜け穴
Kylie Minogue や AC/DC など豪州の著名アーティストの楽曲が、1200万曲の AI 訓練データセットに組み込まれていることが明らかになりました。著作権法の適切な保護がないまま、大規模なコンテンツ採掘が進行しています。
続きを読む
3000%のボーナス、深まる格差——Samsung/SK Hynix の AI チップブームが映す南韓国の二重構造
AI インフラ需要で好況の Samsung、SK Hynix。一方で資産家層の所得は 3000% 増加し、裁判所で資産評価が争点に。AI チップの恩恵が一部の富裕層に集中する南韓国の格差拡大を検証。
続きを読む
Bridgewater の金融テストで開放モデルが GPT・Claude に勝利——コスト数分の一
ヘッジファンド Bridgewater と Thinking Machines Lab による金融ドキュメント評価テストで、fine-tuned なオープンウェイト（開放重み付け）モデルが OpenAI の GPT と Anthropic の Claude に勝利。数分の一のコストで同等以上のパフォーマンスを実現。
続きを読む
ビジネス
更新
SpaceX が Cursor を $60B で買収——IPO 直後、xAI のコーディング競争力強化へ
SpaceX は IPO 直後の 6 月にアニスフィア（Cursor の親会社）を $60 億で買収。AI コーディング市場で OpenAI・Anthropic に劣後していた xAI が、年間売上 $3B の成長企業を獲得し、競争力強化を目指す。
続きを読む
インド起業家 Bhavin Turakhia が $30M 投資で「AI-native 版 Office」Neo を開発中——モデル中立性で Microsoft・Google に対抗
Zeta の創業者 Bhavin Turakhia が個人資金 $30M を投じ、AI-native なオフィス統合プラットフォーム Neo を開発。プロジェクト管理・ドキュメント・ファイル共有・AI 機能を1つに統合し、ユーザーが任意の AI モデルを選択できる設計が特徴。
続きを読む
Meta が「Pocket」を静かにローンチ——テキストプロンプトでミニゲーム生成・共有
Meta は6月29日、Pocket というAIアプリを試験的にローンチした。ユーザーはテキスト説明だけで、インタラクティブなミニゲーム『gizmos』を生成し共有できる。クリエイター経済拡大の新たな試みだ。
続きを読む
Microsoft が25億ドル投じ、6,000人エンジニアを企業客に配置——AI導入の『効果測定』が競争軸に
企業の9割がAI導入を進めるが9割以上が測定可能な効果を報告していない。Microsoft と AWS は顧客企業に直接エンジニアを配置する新戦略で、AI導入から成果創出まで一貫支援を開始する。
続きを読む
Anthropic、Samsung とカスタムチップ製造で協議——Nvidia 依存の低減と AI インフラ戦略の転換
OpenAI の Jalapeño 発表から1週間後、Anthropic が Samsung との間でカスタム AI チップの製造について協議中であることが明らかになった。チップエンジニアの採用も進みており、AI 企業のインフラ自給戦略が急速に進展している。
続きを読む