Weil conjectures
証明されてもなお「予想」のまま呼ばれる定理もあり、例としてはポアンカレ予想やフェルマー予想、ヴェイユ予想がある。