家，字面含义为“水池(Teich)磨坊工(Müller)”），因此绝大多数数学家看不懂，截至2017年底只有十几位数学家称能看懂该论文。其他数学家仍在检查证明是否正确。望月新一在网上公开了2013年以及2014年的检验进度报告。2018年，数学家皮特·舒尔策和雅克比·斯蒂克斯（Jakob Stix）因实在不理解望月写下的关键步骤，专程前往京都大学访问望月新一及其同事。结果双方谁也不能说服对方，于是舒尔策和斯蒂克斯公开撰文表示认为望月对一处关键引理的论证仍存在漏洞。望月则认为是舒尔策等人理解得不对。舒尔策