LED BY A YAO CLASS ALUMNUS, CLAUDE ACHIEVES THE FIRST COMPLETE FORMAL PROOF OF FERMAT'S LAST THEOREM. - QBITAI

Breakthrough milestone: first complete formal proof of Fermat's Last Theorem by Claude, led by Yao Class alumni.