Daily Digest

2026年4月27日(月)のAIニュース

その日に公開された記事をまとめて確認できます。

33件の記事新しい順
なぜLeanを使わないのか？という問いについて
ツール・プロダクト更新テック全般重要度: 中

なぜLeanを使わないのか？という問いについて

形式的証明や定理証明器分野の著名な研究者Lawrence Paulsonが、プログラム証明系であるLeanの使用について疑問を提起した記事。タイトルから、何らかの代替手段としてLeanを採用することの是非や、Lean使用時の課題について議論…

出典: Hacker News
OpenAIとMicrosoft、独占契約を終了してAGI条項も削除
企業・市場AI ニュースメディア重要度: 高

OpenAIとMicrosoft、独占契約を終了してAGI条項も削除

OpenAIとMicrosoftが両社間の契約を大幅に見直し、重要な変更を実施した。この契約変更により、Microsoftが持っていたOpenAI技術への独占ライセンスが終了し、OpenAIは任意のクラウドプロバイダーを通じて自社製品を配布…

出典: The Decoder
OpenAI が FedRAMP Moderate 認証を取得、米連邦政府機関での AI 利用が可能に
企業・市場公式発表重要度: 高

OpenAI が FedRAMP Moderate 認証を取得、米連邦政府機関での AI 利用が可能に

OpenAI が ChatGPT Enterprise と OpenAI API について FedRAMP Moderate レベルの認証を取得したことを発表した。FedRAMP（Federal Risk and Authorization…

出典: OpenAI Blog
OpenAI CEO サム・アルトマンが5つの指導原則を発表、同社の非従来的ビジネス戦略の正当化も兼ねる
企業・市場AI ニュースメディア重要度: 高

OpenAI CEO サム・アルトマンが5つの指導原則を発表、同社の非従来的ビジネス戦略の正当化も兼ねる

OpenAI の CEO であるサム・アルトマンが、同社の今後の事業展開における5つの指導原則を明らかにした。これらの原則は OpenAI の将来的な取り組みの方向性を示すものであると同時に、同社がこれまでに行ってきた非従来的なビジネス戦略…

出典: The Decoder
MicrosoftとOpenAI、独占契約と収益分配契約を終了
企業・市場テック全般重要度: 高

MicrosoftとOpenAI、独占契約と収益分配契約を終了

MicrosoftとOpenAIが長期間続けてきた独占的なパートナーシップおよび収益分配契約を終了することが明らかになった。この契約は両社の AI分野における協力関係の基盤となっており、MicrosoftがOpenAIの主要なクラウドインフ…

出典: Hacker News
GoogleとKaggleが5日間のAI Agentsコースを再開、登録受付中
活用・実務公式発表重要度: 中

GoogleとKaggleが5日間のAI Agentsコースを再開、登録受付中

GoogleがKaggleと共同で5日間のAI Agents Intensive Courseを再び開催することを発表し、現在登録受付を行っています。このコースは以前も実施されており、今回が再開となります。AI Agentsの開発スキルを集…

出典: Google AI Blog
Meta、宇宙太陽光発電でAIデータセンターを稼働へ―まだ存在しない技術に1ギガワット規模の契約
企業・市場AI ニュースメディア重要度: 高

Meta、宇宙太陽光発電でAIデータセンターを稼働へ―まだ存在しない技術に1ギガワット規模の契約

Metaは宇宙太陽光発電のスタートアップ「Overview Energy」と、最大1ギガワットの宇宙太陽光発電の供給契約を締結した。この電力はAIデータセンターの稼働に使用される予定だが、宇宙太陽光発電技術はまだ実用化されていない。1ギガワ…

出典: The Decoder
中国がMetaのAIスタートアップManus買収を阻止
企業・市場テック全般重要度: 高

中国がMetaのAIスタートアップManus買収を阻止

中国当局がMeta（旧Facebook）によるAIスタートアップManusの買収を阻止したことが明らかになった。この決定は、中国政府による外国企業のAI分野での投資活動に対する規制強化の一環と見られる。

出典: Hacker News
中国がMetaによる20億ドルのAIスタートアップManus買収を阻止
企業・市場AI ニュースメディア重要度: 高

中国がMetaによる20億ドルのAIスタートアップManus買収を阻止

中国政府が、Meta（旧Facebook）による20億ドル規模のAIスタートアップ企業Manusの買収を阻止し、既に完了していた取引の解消を命じた。この措置は、アメリカと中国の間で激化する技術分野での競争の一環として実施されたもの。中国当局…

出典: The Decoder
PostgreSQLバックアップツール「pgbackrest」のメンテナンス終了
ツール・プロダクト更新テック全般重要度: 低

PostgreSQLバックアップツール「pgbackrest」のメンテナンス終了

PostgreSQLデータベースの人気バックアップ・リカバリツールである「pgbackrest」の開発とメンテナンスが終了することが発表された。pgbackrestは多くのPostgreSQLユーザーに利用されてきたオープンソースツールで、…

出典: Hacker News
ASML、AI チップ需要急増に対応してEUVリソグラフィマシンの生産を大幅増強
企業・市場AI ニュースメディア重要度: 高

ASML、AI チップ需要急増に対応してEUVリソグラフィマシンの生産を大幅増強

オランダの半導体製造装置メーカーASMLが、EUV（極端紫外線）リソグラフィマシンの生産を大幅に増加する計画を発表しました。Wall Street Journal の報道によると、この増産計画は急速に拡大するAIチップの需要に対応することが…

出典: The Decoder
OpenAIがMediaTekとQualcommとカスタムスマートフォンチップを開発中との報道
ツール・プロダクト更新AI ニュースメディア重要度: 高

OpenAIがMediaTekとQualcommとカスタムスマートフォンチップを開発中との報道

アナリストのMing-Chi Kuo氏によると、OpenAIがMediaTekとQualcommと協力してカスタムスマートフォンプロセッサの開発を進めているとされる。システム設計と製造においては、Luxshareが独占パートナーとして選ばれ…

出典: The Decoder
Meta AI、人間中心の高解像度ビジョンモデル「Sapiens2」をリリース
モデル・技術動向AI ニュースメディア重要度: 高

Meta AI、人間中心の高解像度ビジョンモデル「Sapiens2」をリリース

Meta Reality Labsが新しい foundation model family「Sapiens2」を発表した。このモデルは人間中心のビジョンタスクに特化しており、ポーズ推定、セグメンテーション、法線マッピング、ポイントマップ、ア…

出典: MarkTechPost
Google DeepMind、韓国政府との提携を発表 - フロンティアAIで科学的ブレークスルーを促進
企業・市場公式発表・研究重要度: 中

Google DeepMind、韓国政府との提携を発表 - フロンティアAIで科学的ブレークスルーを促進

Google DeepMindが韓国政府との新たなパートナーシップを発表した。この提携の目的は、フロンティアAIモデルを活用して科学的ブレークスルーを加速させることにある。具体的な取り組み内容や期間については詳細が明かされていないが、最先端…

出典: Google DeepMind Blog
Microsoft と OpenAI のパートナーシップが新段階に移行、契約を改訂
企業・市場公式発表重要度: 高

Microsoft と OpenAI のパートナーシップが新段階に移行、契約を改訂

OpenAI と Microsoft は、両社のパートナーシップ契約を改訂したことを発表した。この新たな合意により、パートナーシップ関係がより簡素化され、長期的な明確性が加えられるとともに、大規模な AI イノベーションの継続的な支援が可能…

出典: OpenAI Blog
LoRAの前提条件が本番環境で破綻する理由
モデル・技術動向AI ニュースメディア重要度: 中

LoRAの前提条件が本番環境で破綻する理由

LoRA（Low-Rank Adaptation）は大規模モデルのファインチューニングにおいて効率性から広く使用されているが、その背景にある重要な前提条件に問題があることが指摘されている。LoRAは全てのモデル更新が類似しているという仮定に…

出典: MarkTechPost
OpenKB、OpenRouter、Llamaを使った検索可能なAI知識ベースの構築方法
ツール・プロダクト更新AI ニュースメディア重要度: 中

OpenKB、OpenRouter、Llamaを使った検索可能なAI知識ベースの構築方法

このチュートリアルでは、OpenKBとOpenRouterを通じた無料のオープンソースモデル（Llama）を使用して、ローカル環境で動作する検索可能な知識ベースを構築する方法が紹介されている。セキュリティを重視し、getpassを使用してA…

出典: MarkTechPost
AI の創発的数学推論を評価する新しいベンチマーク「Math Takes Two」
モデル・技術動向AI 研究論文重要度: 高

AI の創発的数学推論を評価する新しいベンチマーク「Math Takes Two」

研究者らは、大規模言語モデルの数学的推論能力を評価するための新しいベンチマーク「Math Takes Two」を提案した。現在のAIモデルは数学的ベンチマークで高い性能を示すものの、真の数学的推論を行っているのか、それとも単に統計的なパター…

出典: arXiv cs.AI
医療画像処理における適応性と再現性を両立するアーティファクトベース・エージェントフレームワークの提案
モデル・技術動向AI 研究論文重要度: 中

医療画像処理における適応性と再現性を両立するアーティファクトベース・エージェントフレームワークの提案

医療画像研究の分野において、従来の統制されたベンチマーク評価から実際の臨床現場での展開へとシフトが進んでいる中、新たな課題が浮上している。データセット固有の条件や進化する解析目標に応じてワークフローを設定する「適応性」と、すべての変換と決定…

出典: arXiv cs.AI
MolClaw：階層的スキルを持つ創薬分子評価・スクリーニング・最適化の自律エージェント
モデル・技術動向AI 研究論文重要度: 高

MolClaw：階層的スキルを持つ創薬分子評価・スクリーニング・最適化の自律エージェント

計算創薬において、薬物分子のスクリーニングと最適化の複雑なワークフローでは、多段階のプロセスで数十の専門ツールを調整する必要があるが、現在のAIエージェントは高度に複雑なシナリオで堅牢な性能を維持することに苦労している。本研究では、薬物分子…

出典: arXiv cs.AI