日報掲載記事 · 2026-10-06

Cornell、AI安全性の数学研究に助成

米国

Levine氏のAI安全研究に18カ月で150万ドル、Halpern-Leistner氏の形式検証研究にDARPAが3年間で230万ドルを助成。

news.cornell.edu · 2026-10-05

原記事・発表を見る ↗