Leanがただしいと結論づけてそれを否定する数学者はいない