兩千多年前，古希臘數學家歐幾裏得曾說過：“在幾何裏，沒有專爲國王鋪設的大道。”意思是說，在學習幾何的道路上，沒有捷徑，最終還是要靠自己。因此，建立一個通用的幾何解題方法，成爲許多數學家的夢想。

而機器證明及其應用（簡稱：機器證明）就是這樣一種數學研究的方法，它讓學習者告別“一支筆、一張紙、一個腦袋”的學習方式，運用計算機來實現數學證明。華爲HarmonyOS校園开發者周文，運用初等幾何的機器證明，开發出 “基於初等幾何數學的智能教育研究”（簡稱：比高）這一應用，通過數形結合的方式，更加直觀地展現幾何形態，在學習幾何知識的過程中，幫助初高中學生降低學習難度，帶來強交互式的學習體驗。

從學習到开發，興趣是最好的老師

周文在小學時第一次接觸到計算機，起初只是對遊戲感興趣，後來有一次學着大人的樣子嘗試修電腦，學到了一些小技巧，對計算機的興趣开始擴展到遊戲以外的領域。

在初高中時，周文已經能通過編程，幫助家裏开展零售生意；大學期間，他在學習軟件开發時，偶然發現了華爲开發者學堂，並第一次接觸到了HarmonyOS。

”我在華爲开發者學堂學習了人工智能、計算機等方面的課程，後來就走上項目开發的道路。”

提及當初項目开發，周文說道：“由於初等幾何的圖形繪制需要更加智能化的平台，而且目前也沒有現成的开發案例可供參考，所以开發工作是極其艱難的。在這個過程中，華爲給我們开發團隊提供了非常大的技術支持，通過3D圖形、JS的可交互性，以及基於邏輯的AI，三者的配合，最終完成了機器證明在產品中的應用。”

從弱人工智能，走向強人工智能的必經之路

作爲計算機科學的一個重要課題，也是“中國攀登計劃”項目之一，目前機器證明還存在着許多理論和技術上的難點，而解決這些問題，將有待於算法理論、計算機科學和人工智能等各個領域的重大突破。

周文認爲：“HarmonyOS不僅實現了國產操作系統的技術創新，更代表了華爲堅韌不拔的精神。利用HarmonyOS的相關能力來解決機器證明的現實應用，不僅是我們廣大开發者的理想，也是我們從弱人工智能，走向強人工智能的必經之路。”

何謂比高？周文解釋道：“比”指的是跟其他同類應用相比，“高”指的是高於市面上其他的軟件，或者高於自己的預期。從高考走過來後的周文，深知學習數學幾何的難度，在測試過程中，他和團隊找到了貴州山區的學校，並跟他們合作，幫助老師更好地教學，幫助學生更好地理解幾何結構，學習幾何知識。

未來，這款應用可以實現將題目輸入到平台，進行幾何推理，還可以生成圖形，引導學生解題。而這，也是周文及其團隊將要挑战的難點。

“元服務”即將上线，讓應用走向智能化

周文及其團隊在設計這款應用之初時，也开發了相對應的“元服務”。作爲HarmonyOS提供的一種全新的應用形態，通過“元服務”可以將幾何圖形和對應的知識以卡片的形式，直接展示在手機桌面和負一屏上，實現“即用即走、一鍵服務直達”的輕量化交互體驗。

“未來，‘元服務’的發展趨勢可能會受到技術進步、市場需求和行業發展的影響。隨着數字化轉型的加速和雲計算、物聯網等技術的普及，‘元服務’可能會在更多的領域得到應用，爲企業和开發者提供更靈活、可擴展的解決方案。”周文還補充說，目前比高的“元服務”還在开發測試過程中，將會和應用一起上线。

還在上大三的周文，希望畢業後創業，把目前开發出的項目產品應用到可穿戴設備、智能家居上。周文的研究方向還涉及醫學圖像領域，他希望針對阿爾茲海默症和眼科疾病識別开發相關產品，幫助用戶預防疾病。

周文認爲：華爲給了年輕人非常多的機會，希望在HDC 2023上看到HarmonoyOS新的技術、新的商業模式，以及在社會重點領域內重要的創新點，期待看到來自大會上的創新洞見。

萬物互聯時代，華爲HarmonyOS爲开發者提供了豐富的开發工具和接口，使得开發者能夠更加靈活地定制和开發應用程序。通過一個工程、一套代碼、一次开發上架，就能實現多端按需分布部署，最大程度幫助开發者提高开發效率。無論是個人开發者還是企業开發團隊，都可以借助強大的HarmonyOS开發套件，爲用戶提供更出色的應用體驗，共享HarmonyOS帶來的便利與進步。

標題：鴻蒙生態星河璀璨丨大學生的开發之路，讓初高中幾何學習更簡單

地址：https://www.utechfun.com/post/245194.html