華爲小藝首戰2025年國際數學奧林匹克競賽斬獲銀牌

快科技7月30日消息，2025年國際數學奧林匹克競賽（IMO 2025）傳來捷報，華爲小藝AI競賽Agent首次參賽便斬獲銀牌，展現出AI在高端數學領域的突破性進展。

華爲介紹稱，這款AI競賽系統獨創“雙腦協同”架構。其中，“自然語言大模型”負責精準解析複雜的競賽題意，能像人類專家般理解題幹中的隱含條件與邏輯關係。

而“形式化證明引擎”則確保解題過程的數學嚴謹性，通過嚴密的邏輯推導生成符合學術規範的答案。

雙模塊協同實現了從題意理解到嚴謹解題的全流程智能化。

作爲鴻蒙生態體系的重要AI能力載體，小藝此次參賽不僅是技術實力的一次實戰檢驗，更標誌着AI在教育領域的應用邁向新高度。

其在競賽中展現的邏輯推理、複雜問題拆解能力，爲未來個性化數學教育提供了技術範本。例如可針對學生解題思路進行精準輔導，或自動生成符合學習者水平的定製化習題。

來源：江南都市報綜合快科技值班編輯：周章雲校對：張竹影值班主任：周豔華值班編委：楊進