タグ: 数学定理自動証明

グーグル・ディープマインドのAIアルファプルーフが形式論理と強化学習で数学定理の自動証明を実証 米国アーバナ・シャンペーン大のTalia Ringer教授は、AlphaProofが学生の数日分の問題を...