Huawei claims AI system achieves perfect score in International Mathematical Olympiad

Huawei reports its Celia AI model has achieved a 100% success rate on International Mathematical Olympiad (IMO) problems, marking a potential milestone in automated reasoning. The claim remains unverified by independent academic bodies, and the specific scope of the test set compared to official competition standards is currently unclear.