![](https://doc-fd.zol-img.com.cn/t_s640x2000/g7/M00/05/02/ChMkLGTJwL-IVon7AACQIM3HiyAAATTNAPHN-QAAJA4915.jpg)
两千多年前,古希腊数学家欧几里得曾说过:“在几何里,没有专为国王铺设的大道。”意思是说,在学习几何的道路上,没有捷径,最终还是要靠自己。因此,建立一个通用的几何解题方法,成为许多数学家的梦想。
而机器证明及其应用(简称:机器证明)就是这样一种数学研究的方法,它让学习者告别“一支笔、一张纸、一个脑袋”的学习方式,运用计算机来实现数学证明。华为HarmonyOS校园开发者周文,运用初等几何的机器证明,开发出 “基于初等几何数学的智能教育研究”(简称:比高)这一应用,通过数形结合的方式,更加直观地展现几何形态,在学习几何知识的过程中,帮助初高中学生降低学习难度,带来强交互式的学习体验。
从学习到开发,兴趣是最好的老师
周文在小学时第一次接触到计算机,起初只是对游戏感兴趣,后来有一次学着大人的样子尝试修电脑,学到了一些小技巧,对计算机的兴趣开始扩展到游戏以外的领域。
在初高中时,周文已经能通过编程,帮助家里开展零售生意;大学期间,他在学习软件开发时,偶然发现了华为开发者学堂,并第一次接触到了HarmonyOS。
”我在华为开发者学堂学习了人工智能、计算机等方面的课程,后来就走上项目开发的道路。”
提及当初项目开发,周文说道:“由于初等几何的图形绘制需要更加智能化的平台,而且目前也没有现成的开发案例可供参考,所以开发工作是极其艰难的。在这个过程中,华为给我们开发团队提供了非常大的技术支持,通过3D图形、JS的可交互性,以及基于逻辑的AI,三者的配合,最终完成了机器证明在产品中的应用。”
从弱人工智能,走向强人工智能的必经之路
作为计算机科学的一个重要课题,也是“中国攀登计划”项目之一,目前机器证明还存在着许多理论和技术上的难点,而解决这些问题,将有待于算法理论、计算机科学和人工智能等各个领域的重大突破。
周文认为:“HarmonyOS不仅实现了国产操作系统的技术创新,更代表了华为坚韧不拔的精神。利用HarmonyOS的相关能力来解决机器证明的现实应用,不仅是我们广大开发者的理想,也是我们从弱人工智能,走向强人工智能的必经之路。”
何谓比高?周文解释道:“比”指的是跟其他同类应用相比,“高”指的是高于市面上其他的软件,或者高于自己的预期。从高考走过来后的周文,深知学习数学几何的难度,在测试过程中,他和团队找到了贵州山区的学校,并跟他们合作,帮助老师更好地教学,帮助学生更好地理解几何结构,学习几何知识。
未来,这款应用可以实现将题目输入到平台,进行几何推理,还可以生成图形,引导学生解题。而这,也是周文及其团队将要挑战的难点。
“元服务”即将上线,让应用走向智能化
周文及其团队在设计这款应用之初时,也开发了相对应的“元服务”。作为HarmonyOS提供的一种全新的应用形态,通过“元服务”可以将几何图形和对应的知识以卡片的形式,直接展示在手机桌面和负一屏上,实现“即用即走、一键服务直达”的轻量化交互体验。
“未来,‘元服务’的发展趋势可能会受到技术进步、市场需求和行业发展的影响。随着数字化转型的加速和云计算、物联网等技术的普及,‘元服务’可能会在更多的领域得到应用,为企业和开发者提供更灵活、可扩展的解决方案。”周文还补充说,目前比高的“元服务”还在开发测试过程中,将会和应用一起上线。
还在上大三的周文,希望毕业后创业,把目前开发出的项目产品应用到可穿戴设备、智能家居上。周文的研究方向还涉及医学图像领域,他希望针对阿尔兹海默症和眼科疾病识别开发相关产品,帮助用户预防疾病。
周文认为:华为给了年轻人非常多的机会,希望在HDC 2023上看到HarmonoyOS新的技术、新的商业模式,以及在社会重点领域内重要的创新点,期待看到来自大会上的创新洞见。
万物互联时代,华为HarmonyOS为开发者提供了丰富的开发工具和接口,使得开发者能够更加灵活地定制和开发应用程序。通过一个工程、一套代码、一次开发上架,就能实现多端按需分布部署,最大程度帮助开发者提高开发效率。无论是个人开发者还是企业开发团队,都可以借助强大的HarmonyOS开发套件,为用户提供更出色的应用体验,共享HarmonyOS带来的便利与进步。
本文属于原创文章,如若转载,请注明来源:鸿蒙生态星河璀璨丨大学生的开发之路,让初高中几何学习更简单https://mobile.zol.com.cn/827/8273881.html