Final verdict on the proof was pending as of August 1998.

• 直到1998年8月黑尔斯才宣布其证明最终完成。