鸿蒙生态星河璀璨丨机器证明的现实应用，为几何学习“搭桥铺路”

两千多年前，古希腊数学家欧几里得曾说过：“在几何里，没有专为国王铺设的大道。”意思是说，在学习几何的道路上，没有捷径，最终还是要靠自己。因此，建立一个通用的几何解题方法，成为许多数学家的梦想。

而机器证明及其应用（简称：机器证明）就是这样一种数学研究的方法，它让学习者告别“一支笔、一张纸、一个脑袋”的学习方式，运用计算机来实现数学证明。华为HarmonyOS校园开发者周文，运用初等几何的机器证明，开发出 “基于初等几何数学的智能教育研究”（简称：比高）这一应用，通过数形结合的方式，更加直观地展现几何形态，在学习几何知识的过程中，帮助初高中学生降低学习难度，带来强交互式的学习体验。

从学习到开发，兴趣是最好的老师

周文在小学时第一次接触到计算机，起初只是对游戏感兴趣，后来有一次学着大人的样子尝试修电脑，学到了一些小技巧，对计算机的兴趣开始扩展到游戏以外的领域。

在初高中时，周文已经能通过编程，帮助家里开展零售生意；大学期间，他在学习软件开发时，偶然发现了华为开发者学堂，并第一次接触到了HarmonyOS。

”我在华为开发者学堂学习了人工智能、计算机等方面的课程，后来就走上项目开发的道路。”

提及当初项目开发，周文说道：“由于初等几何的图形绘制需要更加智能化的平台，而且目前也没有现成的开发案例可供参考，所以开发工作是极其艰难的。在这个过程中，华为给我们开发团队提供了非常大的技术支持，通过3D图形、JS的可交互性，以及基于逻辑的AI，三者的配合，最终完成了机器证明在产品中的应用。”

从弱人工智能，走向强人工智能的必经之路

作为计算机科学的一个重要课题，也是“中国攀登计划”项目之一，目前机器证明还存在着许多理论和技术上的难点，而解决这些问题，将有待于算法理论、计算机科学和人工智能等各个领域的重大突破。

周文认为：“HarmonyOS不仅实现了国产操作系统的技术创新，更代表了华为坚韧不拔的精神。利用HarmonyOS的相关能力来解决机器证明的现实应用，不仅是我们广大开发者的理想，也是我们从弱人工智能，走向强人工智能的必经之路。”

何谓比高？周文解释道：“比”指的是跟其他同类应用相比，“高”指的是高于市面上其他的软件，或者高于自己的预期。从高考走过来后的周文，深知学习数学几何的难度，在测试过程中，他和团队找到了贵州山区的学校，并跟他们合作，帮助老师更好地教学，帮助学生更好地理解几何结构，学习几何知识。

未来，这款应用可以实现将题目输入到平台，进行几何推理，还可以生成图形，引导学生解题。而这，也是周文及其团队将要挑战的难点。

“元服务”即将上线，让应用走向智能化

周文及其团队在设计这款应用之初时，也开发了相对应的“元服务”。作为HarmonyOS提供的一种全新的应用形态，通过“元服务”可以将几何图形和对应的知识以卡片的形式，直接展示在手机桌面和负一屏上，实现“即用即走、一键服务直达”的轻量化交互体验。

“未来，‘元服务’的发展趋势可能会受到技术进步、市场需求和行业发展的影响。随着数字化转型的加速和云计算、物联网等技术的普及，‘元服务’可能会在更多的领域得到应用，为企业和开发者提供更灵活、可扩展的解决方案。”周文还补充说，目前比高的“元服务”还在开发测试过程中，将会和应用一起上线。

还在上大三的周文，希望毕业后创业，把目前开发出的项目产品应用到可穿戴设备、智能家居上。周文的研究方向还涉及医学图像领域，他希望针对阿尔兹海默症和眼科疾病识别开发相关产品，帮助用户预防疾病。

周文认为：华为给了年轻人非常多的机会，希望在HDC 2023上看到HarmonoyOS新的技术、新的商业模式，以及在社会重点领域内重要的创新点，期待看到来自大会上的创新洞见。

万物互联时代，华为HarmonyOS为开发者提供了丰富的开发工具和接口，使得开发者能够更加灵活地定制和开发应用程序。通过一个工程、一套代码、一次开发上架，就能实现多端按需分布部署，最大程度帮助开发者提高开发效率。无论是个人开发者还是企业开发团队，都可以借助强大的HarmonyOS开发套件，为用户提供更出色的应用体验，共享HarmonyOS带来的便利与进步。