Preferred ...

NTTが大規模視覚言語モデル（LVLM）の推論根拠を説明できる新手法「根拠強化デコーディング」を開発した。推論時に画像と思考根拠の入力を分離し、それぞれから情報を抽出したうえで、出力直前で統合することにより、画像と思考根拠の両方に基づいた出力が得られ ...

Google DeepMindは2026年5月21日、AIを用いた形式証明探索システム「AlphaProof Nexus」に関する論文を公開した。大規模言語モデルと定理証明支援系を組み合わせ、長年未解決だったエルデシュ問題9件を自律的に解決した。整数の解剖学とマルコフ過程理論という異なる抽象領域を結合させるなど、人間が長年見落としていたクリエイティブな解法を自律的に提示し、テレンス・タオをはじめと ...

Background Artificial intelligence ECG (AI-ECG) models can predict cardiovascular outcomes, but their clinical adoption is limited by restricted access to training data and uncertain generalisability.