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

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

【資料圖】

從學習到開發(fā)，興趣是最好的老師

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

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

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

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

從弱人工智能，走向強人工智能的必經(jīng)之路

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

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

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

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

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

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

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

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

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

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

華為 P60 8GB+256GB 翡冷翠

[經(jīng)銷商]京東商城

[產(chǎn)品售價]￥4388元

進入購買

關鍵詞：