0973オーバーテクナナシー垢版 | 大砲2017/12/03(日) 23:47:25.15ID:7CR4Roii >>971 ABC予想すら人間が証明したし、 普通にリーマン予想も人間が解く方が早いだろ