说的是现在还在检查其证明以确保它是完全正确的，并且经过
三年的仔细审查，还未发现有严重的问题。
As of the summer of 2006, the mathematical community is still in the process of checking his work to ensure that it is entirely correct and that the conjectures have been proved. After more than three years of intense scrutiny, top experts have encountered no serious problems in the work.