玩转科学的追光少年(2)

“我的妈妈在齐鲁医院工作。疫情发生时，他们医院有很多医生去武汉支援。我在聊天中发现了一个问题，医院和隔离区需要大量的消杀工作。这项工作，机器人作业总是比人工作业要安全一些。”解天佑说。

那么，如何实现机器人代替人工进行消杀呢？

解天佑发现，目前很多机器人的硬件是比较完善的，但软件系统还有提升的空间。机器人在进行消杀工作时，应该去哪些房间，如何进行路线规划，都需要一个高效的软件进行调度安排。

“这里面有两个问题，一个是优化调度问题，一个是路径规划问题。”解天佑说。

说干就干，解天佑和同学刘至理一起，利用自己学习的计算机知识，为这些机器人设计模拟路线软件。

这并没有那么容易。刘至理发现，自己曾经学过的编程软件并不能满足设计需求。

“我们在学校学的是Java，但能实现我们想法的是Python，因此我们需要重新学习。我们一边问老师同学，一边在网上学习教学视频，终于把这个软件做出来了。”刘至理说。

最终，两人合作完成的《隔离病区多消杀机器人作业优化调度与路径规划》获得了比赛计算机类银奖。两名同学表示，在抗击疫情的过程中，每个人都在贡献自己的力量，作为学生，他们同样希望可以用自己学到的知识，为抗疫作出一些贡献。

在科学世界里熠熠发光

谈及自己的研究项目，来自华南师范大学附属中学的刘子灏说出的内容让人“不明觉厉”：“我提出了素数定理一个新的证明方法。利用在积分下取微分的方式来处理logζ(s)在s=1处的留数积分，这是一个更加直接的素数定理解析证明。”

这篇论文从提出问题到完成只花了一个星期的时间，但在这之前，刘子灏在解析数论领域已有一年多的学习、探索和积累。从去年6月起，他就先后阅读了不少国际知名数学家的著作。

“在学习过程中，我发现前人对素数定理的证明都使用切比雪夫函数作为工具。好奇心驱使我寻找其他方法。”刘子灏说。

在某内容平台上，刘子灏将自己整理的《读懂黎曼猜想》系列文章陆续发表出来，他本人也成为该平台“大V”，拥有3万粉丝。

今年4月的一个晚上，刘子灏在教室做数学推导，突然灵感闪现，找到了这个证明素数定理的新方法。他在网上初步搜索，发现此前尚未有人使用过这一方法，紧接着他又进行了更大规模的文献检索，最终确定这是一种新方法。

“于是我用一周时间写成了论文，之后请一位解析数论教授审阅，获得认可。知网查重的结果是0重复率，这也让我对工作的原创性充满信心。我还把论文投给了2021年国际数学与应用数学国际会议期刊，并被录用。”刘子灏说。

总决赛时，刘子灏的方法引起了清华大学数学科学中心主任丘成桐院士的注意。

“丘先生问我，对黎曼猜想研究中的数值方法是否了解？一年以来我在解析数论领域里阅读了诸多文献，我感觉自己回答得很好。”刘子灏说。

获奖后，这些熠熠发光的“科学少年”并没有停下自己前进的脚步。

刘至理说：“一开始，我最感兴趣的是数学，解天佑最感兴趣的是物理。高中以后，我们发现，无论什么学科，计算机都是一个非常棒的工具。未来，我们都会往计算机方向继续深造。”