高品質のAIツールを発見します
世界をリードする人工知能ツールを集めて、作業効率を向上させるのに役立ちます
RogerLopezによって公開された記事
AnthropicのClaudeは、臨界線上のゼータ関数の零点の67.25%を検証することで、リーマン予想を進展させた。数学者のYouness Lamzouriはヒルベルト空間の不等式を用いて証明を精緻化し、AxiomProverはそれをLeanで即座に検証した。この人間とAIの協働は形式検証を加速し、手動レビューから機械検証された数学への転換を示し、双子素数予想の進展にも寄与した。
AnthropicのClaudeは、臨界線上のゼータ関数の零点の67.25%を検証することで、リーマン予想を進展させた。数学者のYouness Lamzouriはヒルベルト空間の不等式を用いて証明を精緻化し、AxiomProverはそれをLeanで即座に検証した。この人間とAIの協働は形式検証を加速し、手動レビューから機械検証された数学への転換を示し、双子素数予想の進展にも寄与した。
Mistral AIは、Apache 2.0ライセンスのもと、3Bパラメータを持つオープンウェイト型コンテンツレビューモデル「Shieldstral」を公開しました。このモデルは16GBのGPU 1基で動作し、12言語に対応しています。また、7倍規模のモデルに匹敵する安全性性能を誇り、マルチモーダルレビューにおいてSOTAを達成しています。 このモデルの独自の設計では、レビュー方針を入力に埋め込み、二値質問を用いて調整済みの安全スコアを出力します。
Mistral AIは、Apache 2.0ライセンスのもと、3Bパラメータを持つオープンウェイト型コンテンツレビューモデル「Shieldstral」を公開しました。このモデルは16GBのGPU 1基で動作し、12言語に対応しています。また、7倍規模のモデルに匹敵する安全性性能を誇り、マルチモーダルレビューにおいてSOTAを達成しています。 このモデルの独自の設計では、レビュー方針を入力に埋め込み、二値質問を用いて調整済みの安全スコアを出力します。
WeChat公式アカウントは、クリエイター向けにAIを活用したワンクリック書式設定機能をリリースしました。この機能は、段落構造を自動的に最適化し、小見出しのスタイルを生成し、画像のレイアウトを調整するほか、複数の画像をカルーセル形式に変換することも可能です。2種類のスタイルとカスタマイズ可能な色が用意されており、手動での編集時間を短縮できます。
WeChat公式アカウントは、クリエイター向けにAIを活用したワンクリック書式設定機能をリリースしました。この機能は、段落構造を自動的に最適化し、小見出しのスタイルを生成し、画像のレイアウトを調整するほか、複数の画像をカルーセル形式に変換することも可能です。2種類のスタイルとカスタマイズ可能な色が用意されており、手動での編集時間を短縮できます。
Metaは、子供のおもちゃの写真を用いて、子供一人ひとりに合わせた就寝前の物語を生成するAIアプリ「StoryKit」の試験運用を行っている。このアプリには安全対策のフィルターが組み込まれており、ソーシャル機能は搭載されていないが、親子の交流に取って代わるのではないかという懸念も生じている。
Metaは、子供のおもちゃの写真を用いて、子供一人ひとりに合わせた就寝前の物語を生成するAIアプリ「StoryKit」の試験運用を行っている。このアプリには安全対策のフィルターが組み込まれており、ソーシャル機能は搭載されていないが、親子の交流に取って代わるのではないかという懸念も生じている。
ヘルマン・フリードマンが支援する親会社は、最大30億ドルを調達することを目指したIPOを計画しており、これにより近年の資本市場における最大規模の取引の一つとなる見込みです。準備作業は急速に進行中ですが、具体的なスケジュールについてはまだ公表されていません。
ヘルマン・フリードマンが支援する親会社は、最大30億ドルを調達することを目指したIPOを計画しており、これにより近年の資本市場における最大規模の取引の一つとなる見込みです。準備作業は急速に進行中ですが、具体的なスケジュールについてはまだ公表されていません。
米国政府は、AI企業Anthropicに対する規制を緩和し、6月12日に輸出管理規制に基づき課された2週間の利用停止措置を経て、同社が「Fable 5」モデルへのアクセスを再開することを許可した。Anthropicはすでに、信頼できる米国の組織に対して「Mythos 5」モデルを再提供するための認可を取得している。 より広範な一般向けモデルである「Fable 5」については、AI技術の管理と国家安全保障との政策上のバランスを反映し、協議が続く中で利用が再開される見通しだ。
米国政府は、AI企業Anthropicに対する規制を緩和し、6月12日に輸出管理規制に基づき課された2週間の利用停止措置を経て、同社が「Fable 5」モデルへのアクセスを再開することを許可した。Anthropicはすでに、信頼できる米国の組織に対して「Mythos 5」モデルを再提供するための認可を取得している。 より広範な一般向けモデルである「Fable 5」については、AI技術の管理と国家安全保障との政策上のバランスを反映し、協議が続く中で利用が再開される見通しだ。
GoogleのAIツール「NotebookLM」は、ユーザーがアップロードした文書のみを基に回答を生成することで、AIによる誤った回答の発生を抑えます。これは高度なRAGシステムとして機能し、知識を体系化して継続的な更新を可能にするほか、ユーザー操作を「アップロード」と「クエリ」の2つのステップに簡素化しています。
GoogleのAIツール「NotebookLM」は、ユーザーがアップロードした文書のみを基に回答を生成することで、AIによる誤った回答の発生を抑えます。これは高度なRAGシステムとして機能し、知識を体系化して継続的な更新を可能にするほか、ユーザー操作を「アップロード」と「クエリ」の2つのステップに簡素化しています。
英国の金融規制当局は、Anthropic社の新しいAIモデル「Claude Mythos Preview」がもたらすサイバーセキュリティ上のリスクについて緊急に評価を行っている。同モデルには数千もの重大なソフトウェアの脆弱性が含まれていると報じられている。イングランド銀行をはじめとする当局は、主要銀行や保険会社に対して説明を行っている。同様の懸念から、米国財務省もウォール街との協議を開始している。Anthropic社は、同モデルがセキュリティ研究のための管理されたプロジェクトで使用されていると述べている。
英国の金融規制当局は、Anthropic社の新しいAIモデル「Claude Mythos Preview」がもたらすサイバーセキュリティ上のリスクについて緊急に評価を行っている。同モデルには数千もの重大なソフトウェアの脆弱性が含まれていると報じられている。イングランド銀行をはじめとする当局は、主要銀行や保険会社に対して説明を行っている。同様の懸念から、米国財務省もウォール街との協議を開始している。Anthropic社は、同モデルがセキュリティ研究のための管理されたプロジェクトで使用されていると述べている。
MiniMaxは、コーディングプランを刷新し、プログラミング、動画、音声、音楽、画像生成など、複数のAIモデルへの統合的なアクセスを特徴とする、新たなオールモーダル・トークンプランへとアップグレードしました。このプランでは、各モダリティごとに個別の利用枠が設定されているほか、高同時接続を必要とする開発者のニーズに対応した専用リソースパッケージも提供されており、単一の技術的ブレークスルーから統合型AIサービスへの移行を促進します。
MiniMaxは、コーディングプランを刷新し、プログラミング、動画、音声、音楽、画像生成など、複数のAIモデルへの統合的なアクセスを特徴とする、新たなオールモーダル・トークンプランへとアップグレードしました。このプランでは、各モダリティごとに個別の利用枠が設定されているほか、高同時接続を必要とする開発者のニーズに対応した専用リソースパッケージも提供されており、単一の技術的ブレークスルーから統合型AIサービスへの移行を促進します。
アリババとホンシャンが支援するムーンショットAIは、オープンソースのマルチモーダルモデル「Kimi K25」をリリースした。15兆トークンで訓練されたこのモデルはコーディングと動画理解に優れ、ベンチマークではGPT-52やGemini 3 Proと同等かそれ以上の性能を発揮すると報告されている。同社は開発者向けツール「Kimi Code」も同時に発表した。
アリババとホンシャンが支援するムーンショットAIは、オープンソースのマルチモーダルモデル「Kimi K25」をリリースした。15兆トークンで訓練されたこのモデルはコーディングと動画理解に優れ、ベンチマークではGPT-52やGemini 3 Proと同等かそれ以上の性能を発揮すると報告されている。同社は開発者向けツール「Kimi Code」も同時に発表した。





