AIが数学の新定理を発見とかありそう
何時になるかはわからんけど