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

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

【資料圖】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

華為 P60 8GB+256GB 翡冷翠

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

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

進(jìn)入購(gòu)買(mǎi)

關(guān)鍵詞：