两千多年前,古希腊数学家欧几里得曾说过:“在几何里,没有专为国王铺
08月02日 18:19
两千多年前,古希腊数学家欧几里得曾说过:“在几何里,没有专为国王铺设的大道。”意思是说,在学习几何的道路上,没有捷径,最终还是要靠自己。因此,建立一个通用的几何解题方法,成为许多数学家的梦想。
而机器证明及其应用(简称:机器证明)就是这样一种数学研究的方法,它让学习者告别“一支笔、一张纸、一个脑袋”的学习方式,运用计算机来实现数学证明。华为HarmonyOS校园开发者周文,运用初等几何的机器证明,开发出 “基于初等几何数学的智能教育研究”(简称:比高)这一应用,通过数形结合的方式,更加直观地展现几何形态,在学习几何知识的过程中,帮助初高中学生降低学习难度,带来强交互式的学习体验。
(资料图片)
从学习到开发,兴趣是最好的老师
周文在小学时第一次接触到计算机,起初只是对游戏感兴趣,后来有一次学着大人的样子尝试修电脑,学到了一些小技巧,对计算机的兴趣开始扩展到游戏以外的领域。
在初高中时,周文已经能通过编程,帮助家里开展零售生意;大学期间,他在学习软件开发时,偶然发现了华为开发者学堂,并第一次接触到了HarmonyOS。
”我在华为开发者学堂学习了人工智能、计算机等方面的课程,后来就走上项目开发的道路。”
提及当初项目开发,周文说道:“由于初等几何的图形绘制需要更加智能化的平台,而且目前也没有现成的开发案例可供参考,所以开发工作是极其艰难的。在这个过程中,华为给我们开发团队提供了非常大的技术支持,通过3D图形、JS的可交互性,以及基于逻辑的AI,三者的配合,最终完成了机器证明在产品中的应用。”
从弱人工智能,走向强人工智能的必经之路
作为计算机科学的一个重要课题,也是“中国攀登计划”项目之一,目前机器证明还存在着许多理论和技术上的难点,而解决这些问题,将有待于算法理论、计算机科学和人工智能等各个领域的重大突破。
周文认为:“HarmonyOS不仅实现了国产操作系统的技术创新,更代表了华为坚韧不拔的精神。利用HarmonyOS的相关能力来解决机器证明的现实应用,不仅是我们广大开发者的理想,也是我们从弱人工智能,走向强人工智能的必经之路。”
何谓比高?周文解释道:“比”指的是跟其他同类应用相比,“高”指的是高于市面上其他的软件,或者高于自己的预期。从高考走过来后的周文,深知学习数学几何的难度,在测试过程中,他和团队找到了贵州山区的学校,并跟他们合作,帮助老师更好地教学,帮助学生更好地理解几何结构,学习几何知识。
未来,这款应用可以实现将题目输入到平台,进行几何推理,还可以生成图形,引导学生解题。而这,也是周文及其团队将要挑战的难点。
“元服务”即将上线,让应用走向智能化
周文及其团队在设计这款应用之初时,也开发了相对应的“元服务”。作为HarmonyOS提供的一种全新的应用形态,通过“元服务”可以将几何图形和对应的知识以卡片的形式,直接展示在手机桌面和负一屏上,实现“即用即走、一键服务直达”的轻量化交互体验。
“未来,‘元服务’的发展趋势可能会受到技术进步、市场需求和行业发展的影响。随着数字化转型的加速和云计算、物联网等技术的普及,‘元服务’可能会在更多的领域得到应用,为企业和开发者提供更灵活、可扩展的解决方案。”周文还补充说,目前比高的“元服务”还在开发测试过程中,将会和应用一起上线。
还在上大三的周文,希望毕业后创业,把目前开发出的项目产品应用到可穿戴设备、智能家居上。周文的研究方向还涉及医学图像领域,他希望针对阿尔兹海默症和眼科疾病识别开发相关产品,帮助用户预防疾病。
周文认为:华为给了年轻人非常多的机会,希望在HDC 2023上看到HarmonoyOS新的技术、新的商业模式,以及在社会重点领域内重要的创新点,期待看到来自大会上的创新洞见。
万物互联时代,华为HarmonyOS为开发者提供了丰富的开发工具和接口,使得开发者能够更加灵活地定制和开发应用程序。通过一个工程、一套代码、一次开发上架,就能实现多端按需分布部署,最大程度帮助开发者提高开发效率。无论是个人开发者还是企业开发团队,都可以借助强大的HarmonyOS开发套件,为用户提供更出色的应用体验,共享HarmonyOS带来的便利与进步。
华为 P60 8GB+256GB 翡冷翠
进入购买
关键词:
两千多年前,古希腊数学家欧几里得曾说过:“在几何里,没有专为国王铺
08月02日 18:19
据《华尔街日报》报道,国际评级机构惠誉1日将美国长期外币发行人
08月02日 18:19
格隆汇8月2日丨高盛发表研报指汇控0005HK第二季业绩表现强劲收入高于市
08月02日 18:14
人民网上海8月1日电释放消费活力,推动建设国际消费中心城市,今年以来
08月02日 18:15
当地时间周二,三大评级机构之一的惠誉将美国长期 外币债务评级从AAA下
08月02日 18:15
消息:在优化民营企业涉企服务上,国家市场监督管理总局方面在今天(8
08月02日 18:23
近日,摩托罗拉在海外市场推出了新款手机G14,售价约为871元人民币。在
08月02日 18:12
力帆科技(601777)公告,7月新能源汽车销售3578辆,同比增长1 85%。每
08月02日 18:18
8月2日华北苯酐市场价格走势暂稳,场内邻苯法苯酐主流报价为8400-8500
08月02日 18:21
日前,在2023中国国际AI游戏产业大会现场,普陀区企业波克科技股份有限
08月02日 18:16
盛夏时节,永善县城紫薇花、三角梅、山茶花、菊花等各种花儿竞相绽放,
08月02日 18:10
7月21日,凉城新村街道妇联、街道科协、街道社区书院联手共同开展“科
08月02日 18:19
为进一步打造“手续最简、环节最少、效率最高”的政务服务流程,沂河新
08月02日 18:18
北京市解除洪水红色预警退水期间风险仍较大请远离河道---北京市水文总
08月02日 18:15
今日走势:仁东控股今日触及涨停板,该股近一年涨停7次。 异动原因
08月02日 18:13
新型城镇化板块走低,深水规院跌超7%,乾景园林、锦和商管跌超6%,苏州
08月02日 18:12
来为大家解答以上的问题。刻盘怎么刻进光盘,刻盘这个很多人还不知道,
08月02日 18:16
夏季是溺水高发期,为有效预防溺水事故发生,益阳资阳区坚持“生命至上
08月02日 18:09
演唱会繁荣,票价飙涨,年轻人难以负担。文化消费需亲民化,市场需供给
08月02日 18:09
北京8月1日讯 8月1日,国家发展改革委等八部门发布关于实施促进民
08月02日 18:08
金店黄金多少钱一克(2023年8月1日参考价格)
08月02日 18:04
李玟出殡仪式于8月1日在香港殡仪馆举行,由李玟的挚友、歌手甄妮等8人
08月02日 18:08
记者从西湖风景名胜区管委会了解到,根据气象预警及省市防汛防台会议精
08月02日 18:10
SUV已经成为汽车市场的主力军,市场上各级别的SUV多到有些让人眼花缭乱
08月02日 18:10
原标题:重点产业链“链主”怎么当山西发布遴选及管理办法省政府办公厅
08月02日 18:06
盛夏时节,甘肃省白银市会宁县土高山乡种植的砂田西瓜喜获丰收,瓜农们
08月02日 18:06
监管力度逐渐加大,上市公司及相关方被立案调查的情况年内屡见不鲜。证
08月02日 18:07
1、不能说是骗人的,叉叉助手不是所有手机都能用,不能用的话,可以用
08月02日 18:11
福州地铁四号线一共有23个站点,分别为:橘园站、园亭路站、洪塘路站,
08月02日 18:16
记者日前从东莞市寮步镇获悉,截至6月底,该镇内资协议投资金额60 26亿
08月02日 18:10