THE NEWS DESK
AIニュース
公式発表や本人の発言をもとに、
AI企業や研究者の動きを伝えます。
すべてのニュース
2件新しい順
Microsoft Research、31年未解決のKLS予想の証明を解説 研究者の選別でAI探索100超の候補を絞り込む
Microsoft Researchは2026年10月21日、同社のXinzhi Zhang氏と共同研究者Zhao Song氏によるKLS予想の証明を解説しました。1995年提起の高次元幾何・確率論の未解決問題で、証明は10月4日改訂のarXiv論文に載っています。10月21日の新しい材料は研究過程の説明で、AIエージェントが並列探索した100超の候補から、研究者が数学的判断で道筋を選別・統合した経緯です。別グループの証明とLean 4形式化も公開されています。
Microsoft Research、Quine発表 膵がん研究で数千の化合物を優先順位付け
Microsoft Researchは2026年9月29日、生物学の研究を支援する初期段階のAIシステム「Quine」を発表した。Broad Institute of MIT and Harvardとの膵管腺がん（PDAC）研究では、数千の化合物から細胞状態を変える候補を順位付けし、上位候補を複数のウェットラボ試験で検証したという。発表文は試験名や効果量、再現実験の詳細を示していない。Quineは臨床や医療用途向けではない。