ニュース

MITテクノロジーレビュー1 時間
数学オリンピックで「人間超え」のAIは数学者になれるか？
しかし、数学の進歩には何年もかかることがある。DARPAは、それを加速させたいと考えている。ExpMathの目標は、DARPAが「AI共著者」と呼ぶツールの開発を、数学者や人工知能（AI）の研究者に促すことだ。大規模で複雑な数学問題を、より小さく、よ ...