Will it be proven that nxn magic squares of distinct perfect square numbers exist for all n ≥ 4 by end of 2025?