線形計画法は強力な多項式時間アルゴリズムを許可しますか？

線形計画問題：与えられた行列A∈Rm×nおよびb∈Rmに対して、Ax≥bのx∈Rnが存在するかどうかを決定する、強多項式時間アルゴリズムを見つけます。

Steve Smaleが数学の未解決の問題をいくつか挙げていることは知っています。しかし、そのような線形計画問題は、今まで解決できないのでしょうか？

この問題は未解決のままです。たとえばWikipediaを参照してください。これは一般的に信頼できるソースではありませんが、強力な多項式時間アルゴリズムが見つかると更新される可能性があります。