最近、30歳になって、望月新一のやっているABCーconjectureを検査している教授がおりますね。ABC-conjectureは予想なので、当然、予想したことは凄い訳ですね。
しかしこの予想というかそういうふうに定まってることから、フェルマーの定理が証明できるし、他のエルデシュ予想とかそういうのも大量に証明できることが知られている。
だから予想はしているけどそれの構成ができていないという段階である。 ところで、この30歳の教授の、なんだったか、何とかいう人がいて、この人は2006年のIMOの幾何の超難問
あの幾何の定理は思いついた人が凄いというかね、正式な構成も、ベクトルを使った構成もどっちもやたらと難しいがそれで満点を取っている。あ、ペーターショルツ教授だった、だから天才ですね
そのショルツが。ただ幾何学の問題といっても色々あるので、やはりあの世界はキチガイだと思いますよ。自分で定理を発見して証明しているのだからキチガイだと思います。
定理を思いつくのが難しいし、まあ思いついても難しいと。