>>302
未解決問題を解くのが醍醐味。
「じつは三十年前に、すでに〇〇によって証明されてました」みたいなのが
後から出てきても、「独立に解いたんだからオッケー」で納得しよう。