如何评价T.S. Arthanari宣称证明P=NP问题且通过lean 4验证？

论文标题: Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem 论文链接: https://arxiv.org/pdf/2606.03194