0411132人目の素数さん垢版 | 大砲2018/02/09(金) 19:46:33.43ID:IY5kVcvL 意味論的には理論は存在し正しいであろうが、細部は検証する余裕がなく証明は断言できない というのが望月近隣以外の、特に京大系の代数幾何学者の感覚だろう 擁護でもアンチでもなく、あまり深く関わりたくもないというw