The academic report he made pointed out serious logical errors in Wiles' proof of Fermat's Last Theorem. The consequence was that Fermat's Last Theorem reverted back to being simply a conjecture, one of the two major conjectures in the world of mathematics.
Is this a kind of regression in mathematical research? And the journal in which these results were published is "Mathematical Progress"?
It sounds kind of ironic.
...
Zhao Yi returned to China.
He returned home earlier than the delegation from the Science Academy. Many people who attended the mathematicians' conference really waited until the last day to return.
Zhao Yi returned home two days early, because the subsequent academic reports, the content of which was profound and involved some very niche disciplines, didn't hold much practical significance for him.
The return journey wasn't too boring; Zhao Yi began to study the system in detail.