非線型の偏微分方程式とかは、ずっと収まらんだろｗ
テレンス・タオを収めるには、20世紀のブルバキじゃあ
古くさくて枠が狭いんだろね。

ポアンカレ予想とかもあんまりブルバキっぽくないが、
リッチフローとか、多様体の崩壊とか、別に数学として
成熟してる、してないとかじゃないだろ。