IvesFeng666

月之暗面发布开源思考型Agent模型Kimi K2 Thinking，具备1万亿参数。其核心突破在于无需人工干预即可连续执行200-300次工具调用，完成复杂多步骤任务。该模型采用INT4量化技术提升生成速度，通过精简架构降低计算冗余，训练成本为460万美元。在多项基准测试中表现超越GPT-5，包括智能体能力（τ²-Bench Telecom达93%）、综合推理（HLE达44.9%）及编程实战（SWE-Bench Verified达71.3%）。模型完全开源且商用免费，采用修改版MIT许可证。

LTX-2是Lightricks发布的全球首个音画同步4K视频生成模型，可生成20秒、50fps高清视频，支持文本/图像输入。它实现了角色口型与语音同步，能在ComfyUI运行并本地部署，将于5年11月下旬开源。作为专业级创作工具，LTX-2让"文字变电影级短片"成为现实。

LTX-2是Lightricks发布的全球首个音画同步4K视频生成模型，可生成20秒、50fps高清视频，支持文本/图像输入。它实现了角色口型与语音同步，能在ComfyUI运行并本地部署，将于5年11月下旬开源。作为专业级创作工具，LTX-2让"文字变电影级短片"成为现实。

快手推出AI编程产品矩阵KAT-Coder，涵盖自研模型、工具与平台，支持20多种编程语言及多类开发任务。其开源版本KAT-Dev-72B-Exp在SWE-bench榜单以74.6%成绩超越GPT与Claude。该模型具备代码生成、调试、优化等能力，兼容主流开发工具，并在网页生成、电商网站、3D特效等领域展现强大应用潜力，标志着快手正式进军AI编程赛道。

Manus作为2025年AI Agent热潮的代表，虽依托大模型、工具链与记忆技术实现任务执行，但因缺乏专业场景深耕与闭环交付，暴露“通用Agent”泡沫。其问题根源在于工程积累不足、资本驱动短视，导致功能堆砌却智能有限。行业正转向垂直领域，如医学Agent OpenEvidence，强调确定性流程与数据驱动，揭示未来属于专注、可评估、落地扎实的“笨智能”路径。

OpenAI发布首款AI原生浏览器ChatGPT Atlas，深度融合ChatGPT智能能力。其核心功能包括：实时AI辅助网页内容总结与互动、智能写作优化、自然语言控制浏览器操作、个性化记忆推荐、智能体模式自动执行购物及预订任务、光标聊天实时文本处理。该浏览器通过AI技术提升浏览效率，实现任务自动化，重塑人机交互体验。

谷歌的Veo3.1与OpenAI的Sora2在AI视频生成领域展开竞争。Veo3.1以精准控制、高质量音画同步见长，适合专业长视频创作。Sora2则胜在流畅自然的动态效果和娱乐性，更适合创意短视频。两者各有优势，选择取决于具体应用场景。

近年来，人工智能技术的进步让我们惊叹不已，尤其是在生成式AI的领域。谷歌的最新AI模型——Gemini 3.0

この記事では、Manus、Buckle Space、Lovart、Flowith Neo、Skywork、Super Mageeの6つの主流AIエージェント製品をレビューし、実行能力、信頼性、利用頻度の3つの側面から市場競争力を分析している。Lovart、Skywork、Super Mageeは、それぞれの垂直分野で優れており、合計スコアは18である。この記事は、専門化と一般化の共存、配達可能性、信頼メカニズム、ポータル統合が、エージェントの発展にとって重要な方向性になると指摘している。

2025年5月、グーグルはVeo 3を発表し、AI音声と映像の同期生成を初めて実現し、AI映像キャラクターが「話す」ことができるようになった。モデルのブレークスルーには、4K画像、物理的整合性、音声同期などが含まれ、V2A技術を使って映像ビジュアルを意味信号として符号化し、一致する音声トラックを生成し、トークショー、ゲーム実況、コンサートなどのシーンに適用する。複雑なアクションの生成には欠陥があるが、商業化の見込みは大きく、段階的な価格設定により、従来の広告業界や映画制作業界に影響を与える。

グーグルが新たにリリースした3つのGemma専門モデル（MedGemma、SignGemma、DolphinGemma）は、AIモデルの一般性から深い垂直領域適応への重要な転換を象徴している。MedGemmaは医療シナリオに焦点を当て、マルチモーダル画像と高精度テキスト推論機能を提供する。SignGemmaは聴覚障害者コミュニティのコミュニケーションを支援するため、多言語の手話翻訳をサポートする。これらのモデルは、計算効率と配備の利便性を考慮しながらプロのパフォーマンスを強化し、AIの産業化に新たな道を提供する。

Anthropicは、プログラミングと高度な推論タスクに特化した、Opus 4とSonnet 4のバージョンにまたがるClaude 4シリーズを発表。開発者会議において、CEOのDario Amodeiは、このシリーズが複数のベンチマークでパフォーマンスをリードし、全面的に競合を凌駕していること、またClaude Codeの発表と、AIと開発のあり方にパラダイムシフトをもたらす新しいAPI機能を発表した。パラダイムシフト

Manusが画像生成で本番稼動、新規ユーザーは1,000ボーナスポイント、毎日300リフィル。このプラットフォームは、マルチツールコラボレーションとタスクインタラクションチューニングをサポートするディープシンキングプロセスを採用している。テストケースでは、複雑な画像生成、ブランドデザイン、ウェブ展開、その他のタスクを完了できることが示されている。Manusの長所は意図の把握とプロセス全体の実行にあるが、スピードの遅さ、品質の変動、コストの高さなどの問題があり、今後も改善の余地がある。

OpenAIは2025年5月、ChatGPTと統合され、codex-1モデルに基づいて、コードを書く、バグを修正する、テストを実行するなどのタスクをクラウド上で実行するCodexプログラミングインテリジェンスを発表します。codexはGitHub統合をサポートし、実行の検証可能な証拠を提供し、SWE-Benchテストでは72.1%を獲得しました。Codexは現在、Pro、Enterprise、Teamの各ユーザーが利用可能で、将来的にはインタラクティブ性と開発ツールの統合をさらに強化し、ソフトウェア開発の効率化を支援します。

グーグル・ディープマインドは、自らコードを書いて最適化し、科学的発見をすることができるAIコーディング・インテリジェンス、AlphaEvolveを発表した。大規模な言語モデル、進化的アルゴリズム、自動評価器を組み込んだこのシステムは、行列の掛け算アルゴリズムの改良や幾何学パズルの解法など、数学の分野ですでにいくつかのブレークスルーを成し遂げている。その一方で、グーグルのデータセンターの最適化、チップ設計、AIトレーニングにおいて大幅な効率化を達成し、AIをツールからアルゴリズム革新のパートナーへと変貌させる新たなマイルストーンとなった。

Bento Grids（アップルスタイル）は、現代のウェブやモバイルアプリのインターフェイスでよく使われる、ミニマルで明快、かつ高度に整理されたビジュアルデザインスタイルです。このスタイルでは、空白、整列、一貫性を強調するグリッドモジュールを通してコンテンツを表示することで、すっきりとした読書体験を実現します。この記事では、Figmaを使ってこのレイアウトを実装する具体的な手順と、関連するプラグインやツールの推奨も紹介しています。

NVIDIAがオープンソースのLlama-NemotronAIモデルを8B、49B、253Bバージョンでリリース。フラッグシップのLN-Ultraは、単一のxH100ノードでより効率的な運用を可能にしながら、わずか2530億のパラメータを持ついくつかのベンチマークで6710億のDeepSeek-R1を凌駕します。このシリーズの革新的な技術を用いた5段階のトレーニングプロセスには、推論スイッチング、ハードウェアを考慮した最適化、合成データトレーニングが含まれる。モデルの性能パラメータのスケールと性能の正の関係は、AIの効率優先の時代を示し、そのオープンソースライセンスは技術の採用を加速させるだろう。

Googleは、マルチモーダル理解とコード生成の分野で大きな成果を上げたGeminiバージョン2.5 Proをリリースした。このモデルは、プログラミング能力において競合のCl 3.7 Sonnetを上回り、特にビデオコンテンツや手描きのスケッチを完全に機能するネットワークに変換することに長けており、開発効率を大幅に向上させる。ウェブ開発、レビュー最適化、教育技術などの分野で革命を起こし、AI支援開発の新たなパラダイムを創造している。

Bolt.newは、ユーザーが自然な記述から直接完全なウェブサイトを生成してコードを書く、AI主導の開発プラットフォームです。アプリケーションのマルチフレームワーク生成、ソフトウェアパッケージのインストールをサポートし、動的なコード最適化と手描き変換を可能にする。ユーザーはログインし、コードを自動化するためにウェブサイトの要件を入力し、対話の最適化とリアルタイムのプレビューの複数のラウンドをサポートし、コードを展開またはダウンロードすることができます。重要なのは、サイトのタイプ、スタイル、ターゲットオーディエンスを指定する詳細なプロンプトを書くことであり、精度を高めるためにエディタを組み込むことである。bolt.newは特にプロトタイピングに適しており、より複雑なプロジェクトではCursorのような専門ツールと組み合わせて使用することができる。このプラットフォームは当初無料だが、将来的には有料化される予定で、起業家、コンテンツ制作者、開発者に適している。

DeepSeekは5月1日、数学証明用に設計されたDeepSeek-Prover2モデルをオープンソース化した。このモデルには6710億のパラメータと70億のパラメータ・バージョンが含まれている。このモデルは、再帰と強化学習の組み合わせを使用し、合格率88.9%のMiniFFテストなど、いくつかの数学テストで優れた成績を収めている。 同時に公開されたProBenchデータセットには、モデルの能力を評価するための325問が含まれている。実験の結果、Chain of Thoughtモデルは精度を大幅に向上させ、特定の問題ではミニモデルが上回ることさえ判明している。このモデルはすでにHugging Faceにあり、数学研究の新しいパラダイムを支えている。

OpenAIは最新のマルチモーダル画像生成モデル「gpt-image-1」を正式に発表し、APIを通じて世界中の開発者が利用できるようにした。 これは