这两年，新冠肺炎疫情打乱了很多人的生活节奏，来自山东省实验中学的解天佑深有体会。
“我的妈妈在齐鲁医院工作。疫情发生时，他们医院有很多医生去武汉支援。我在聊天中发现了一个问题，医院和隔离区需要大量的消杀工作。这项工作，机器人作业总是比人工作业要安全一些。”解天佑说。
那么，如何实现机器人代替人工进行消杀呢？
解天佑发现，目前很多机器人的硬件是比较完善的，但软件系统还有提升的空间。机器人在进行消杀工作时，应该去哪些房间，如何进行路线规划，都需要一个高效的软件进行调度安排。
“这里面有两个问题，一个是优化调度问题，一个是路径规划问题。”解天佑说。
说干就干，解天佑和同学刘至理一起，利用自己学习的计算机知识，为这些机器人设计模拟路线软件。
这并没有那么容易。刘至理发现，自己曾经学过的编程软件并不能满足设计需求。
“我们在学校学的是Java，但能实现我们想法的是Python，因此我们需要重新学习。我们一边问老师同学，一边在网上学习教学视频，终于把这个软件做出来了。”刘至理说。
最终，两人合作完成的《隔离病区多消杀机器人作业优化调度与路径规划》获得了比赛计算机类银奖。两名同学表示，在抗击疫情的过程中，每个人都在贡献自己的力量，作为学生，他们同样希望可以用自己学到的知识，为抗疫作出一些贡献。
在科学世界里熠熠发光
谈及自己的研究项目，来自华南师范大学附属中学的刘子灏说出的内容让人“不明觉厉”：“我提出了素数定理一个新的证明方法。利用在积分下取微分的方式来处理logζ(s)在s=1处的留数积分，这是一个更加直接的素数定理解析证明。”
这篇论文从提出问题到完成只花了一个星期的时间，但在这之前，刘子灏在解析数论领域已有一年多的学习、探索和积累。从去年6月起，他就先后阅读了不少国际知名数学家的著作。
“在学习过程中，我发现前人对素数定理的证明都使用切比雪夫函数作为工具。好奇心驱使我寻找其他方法。”刘子灏说。
在某内容平台上，刘子灏将自己整理的《读懂黎曼猜想》系列文章陆续发表出来，他本人也成为该平台“大V”，拥有3万粉丝。
今年4月的一个晚上，刘子灏在教室做数学推导，突然灵感闪现，找到了这个证明素数定理的新方法。他在网上初步搜索，发现此前尚未有人使用过这一方法，紧接着他又进行了更大规模的文献检索，最终确定这是一种新方法。
“于是我用一周时间写成了论文，之后请一位解析数论教授审阅，获得认可。知网查重的结果是0重复率，这也让我对工作的原创性充满信心。我还把论文投给了2021年国际数学与应用数学国际会议期刊，并被录用。”刘子灏说。
总决赛时，刘子灏的方法引起了清华大学数学科学中心主任丘成桐院士的注意。
“丘先生问我，对黎曼猜想研究中的数值方法是否了解？一年以来我在解析数论领域里阅读了诸多文献，我感觉自己回答得很好。”刘子灏说。
获奖后，这些熠熠发光的“科学少年”并没有停下自己前进的脚步。
刘至理说：“一开始，我最感兴趣的是数学，解天佑最感兴趣的是物理。高中以后，我们发现，无论什么学科，计算机都是一个非常棒的工具。未来，我们都会往计算机方向继续深造。”
曾韵霏表示，这次的研究只是一个阶段性成果，她也将就这一研究深化下去，完善变量和函数。未来，曾韵霏打算出国深造，她的目标是美国斯坦福大学。
推荐阅读
- 过程|“双减”后的首个学期 期末考试“玩”出新花样
- 高中生|韩调查：韩国中学生最想当老师
- 文具|新型“罚抄避”中学生间兴起，学生人手一支，老师表示很无奈
- 国际性|重庆八中学生斩获多项世界级奖项
- 教育局|贵州江口：坚守小县足球梦 玩转校园足球
- 边缘系统|超半数中学生极度讨厌父母！十年的良好亲子关系为何突然毁于一旦？
- 宿舍|大学女生宿舍遭突查，“违禁品”多得藏不住，辅导员：你们真会玩
- 期末考试|“双减”后的首个期末考试来了！考试跟玩似的，好玩吗？
- 经典|【特价桌游】从4岁玩到12岁！6合1经典益智游戏组合棋，性价比之王！
- 测评|“双减”在行动：没试卷？“玩”转期末欢乐多