Google DeepMind AlphaEvolve：AIにコード化された革命的インテリジェンスの台頭

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

10秒Figmaマジック：デザインの質感を素早く高めるアップル・ストリーミング・カードのページを作る

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

NVIDIA Llama-Nemotron：DeepSeek-R1を超えるオープンソースの新たな王者

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

Google Gemini 2.5 Pro：動画からインタラクティブアプリへのマルチモーダルな進化

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

Bolt.new：簡単な説明でプロフェッショナルなウェブサイトを作成するためのチュートリアルガイド

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

ディープシーク、Prover-V2モデルをリリース：671Bパラメータが数学的定理証明を強化

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

Qwen 3リリース：235BモデルがApache 2.0ライセンスでR1、Grok、o1を上回る

アリTongyi Qianqianチームは、オープンソースの新世代の大規模なモデルQwen3をリリースし、グローバルオープンソースモデルリストのトップ、シリーズはモデルが含まれており、フラッグシップモデルの性能は、多くのトップモデルを超え、展開が大幅に削減されます。Qwen3は多くのベンチマークで新記録を樹立し、"ハイブリッド推論 "モードの革新的な導入により、119の言語、36トークンまでの事前学習データをサポートしています。モデルは36トークンの事前学習データで119言語をサポートし、3時間以内にGitHubスターを獲得した。

Lovable 2.0: コラボレーティブな「アンビエントコーディング」プラットフォームがソフトウェア開発をどう変えるか

欧州のAI企業Lovableが、自然言語対話によるコード不要のソフトウェア開発用プラットフォーム2.0を発表。マルチプレイヤー・コラボレーション、インテリジェント・チャット・エージェント、セキュリティ・スキャンを新たにサポートし、開発の敷居を大幅に下げる。同プラットフォームは、スタートアップチームが製品プロトタイプを迅速に構築するための無料・有料プログラムを提供しており、月間アクティブユーザー数は50万人に達している。このプラットフォームは、AIが生成する「アンビエント・コーディング」のコンセプトを商業化し、デジタルトランスフォーメーションを促進する。