タグ: DARPA

DARPAのexpMathプロジェクトが目指す「AIによる数学証明の自動化」とは？科学・軍事・社会に与える影響と、知性の未来を解説。