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

(資料圖片僅供參考)

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

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

周文在小學(xué)時(shí)第一次接觸到計(jì)算機(jī)，起初只是對游戲感興趣，后來有一次學(xué)著大人的樣子嘗試修電腦，學(xué)到了一些小技巧，對計(jì)算機(jī)的興趣開始擴(kuò)展到游戲以外的領(lǐng)域。

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

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

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

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

作為計(jì)算機(jī)科學(xué)的一個(gè)重要課題，也是“中國攀登計(jì)劃”項(xiàng)目之一，目前機(jī)器證明還存在著許多理論和技術(shù)上的難點(diǎn)，而解決這些問題，將有待于算法理論、計(jì)算機(jī)科學(xué)和人工智能等各個(gè)領(lǐng)域的重大突破。

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

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

未來，這款應(yīng)用可以實(shí)現(xiàn)將題目輸入到平臺，進(jìn)行幾何推理，還可以生成圖形，引導(dǎo)學(xué)生解題。而這，也是周文及其團(tuán)隊(duì)將要挑戰(zhàn)的難點(diǎn)。

“元服務(wù)”即將上線，讓應(yīng)用走向智能化

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

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

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

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

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

華為 P60 8GB+256GB 翡冷翠

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

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

進(jìn)入購買