素数と小さい値について証明されたが、その後偽であることが判明したTCS推測とは何ですか？

いくつかのパラメーターnを含み、nの小さい値と素数で証明されたが、後で偽であることが判明した理論的コンピューターサイエンスの推測はありますか？

数論では、そのような問題は存在します。アーロンMeyerowitzは指摘円分多項式の係数についての一つ。TCSからは、まだ解決されていない回避予想のような例を知っています。

注：これは、回答というよりも拡張コメントに似ています。

ここに、回避性推測の状態と風味が似ている組み合わせ論からの問題があります：

背景。次数ラテン方陣は、行列で、{1、。。。、n}は各行と列に1回だけ出現します。順序 2つのラテン方陣は、重ね合わせたときに異なる順序のペアを取得すると、直交していると言われます。ラテン方格のセットは、それらのすべてのペアが直交している場合、相互に直交していると言われます。LET 注文の互いに直交ラテン方陣の最大数表す 。$n$$n × n$$n$$n^2$$N(n)$$n$

すべてのであることが知られています。が素数の場合、であることがわかりますが、の一般的な値の、下限の状態は大きく開いています。$N(n)\leq n-1$$n$$n$$N(n)=n-1$$n$

$p-1$$p$$n$$n=32$