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

2023-08-02 11:06:00來源：中關村在線

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

(相關資料圖)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

華為 P60 8GB+256GB 翡冷翠

[經銷商]京東商城

[產品售價]￥4388元

進入購買

標簽：