>>543
例えば数学。手持ちの定理(道具)を組み合わせて論証して新たな仮説を証明する。
道具を揃えていても使い方が分からないからフェルマーの定理とかABC予想は証明にこんなに時間がかかった。
AIの得意分野だし、将来はどうなるだろうね。