>>532
>現在も証明されていない代数幾何の定理

証明されていないのなら、定理ではなく「予想」