消杀|玩转科学的追光少年( 二 )

于是，曾韵霏开始学习相关政策背景、数学和经济学理论等多方面的知识，历时几个月，最终完成了一篇名为《税收政策和碳排放额度：传统内燃机车管制理论》的论文，并夺得了比赛经济金融建模金奖。
这两年，新冠肺炎疫情打乱了很多人的生活节奏，来自山东省实验中学的解天佑深有体会。
“我的妈妈在齐鲁医院工作。疫情发生时，他们医院有很多医生去武汉支援。我在聊天中发现了一个问题，医院和隔离区需要大量的消杀工作。这项工作，机器人作业总是比人工作业要安全一些。 ”解天佑说。
那么，如何实现机器人代替人工进行消杀呢？
解天佑发现，目前很多机器人的硬件是比较完善的，但软件系统还有提升的空间。机器人在进行消杀工作时，应该去哪些房间，如何进行路线规划，都需要一个高效的软件进行调度安排。
“这里面有两个问题，一个是优化调度问题，一个是路径规划问题。 ”解天佑说。
说干就干，解天佑和同学刘至理一起，利用自己学习的计算机知识，为这些机器人设计模拟路线软件。
这并没有那么容易。刘至理发现，自己曾经学过的编程软件并不能满足设计需求。
“我们在学校学的是Java ，但能实现我们想法的是Python ，因此我们需要重新学习。我们一边问老师同学，一边在网上学习教学视频，终于把这个软件做出来了。 ”刘至理说。
最终，两人合作完成的《隔离病区多消杀机器人作业优化调度与路径规划》获得了比赛计算机类银奖。两名同学表示，在抗击疫情的过程中，每个人都在贡献自己的力量，作为学生，他们同样希望可以用自己学到的知识，为抗疫作出一些贡献。
在科学世界里熠熠发光
谈及自己的研究项目，来自华南师范大学附属中学的刘子灏说出的内容让人“不明觉厉”：“我提出了素数定理一个新的证明方法。利用在积分下取微分的方式来处理logζ(s)在s=1处的留数积分，这是一个更加直接的素数定理解析证明。 ”
这篇论文从提出问题到完成只花了一个星期的时间，但在这之前，刘子灏在解析数论领域已有一年多的学习、探索和积累。从去年6月起，他就先后阅读了不少国际知名数学家的著作。
“在学习过程中，我发现前人对素数定理的证明都使用切比雪夫函数作为工具。好奇心驱使我寻找其他方法。 ”刘子灏说。
在某内容平台上，刘子灏将自己整理的《读懂黎曼猜想》系列文章陆续发表出来，他本人也成为该平台“大V” ，拥有3万粉丝。
今年4月的一个晚上，刘子灏在教室做数学推导，突然灵感闪现，找到了这个证明素数定理的新方法。他在网上初步搜索，发现此前尚未有人使用过这一方法，紧接着他又进行了更大规模的文献检索，最终确定这是一种新方法。
【消杀|玩转科学的追光少年】“于是我用一周时间写成了论文，之后请一位解析数论教授审阅，获得认可。知网查重的结果是0重复率，这也让我对工作的原创性充满信心。我还把论文投给了2021年国际数学与应用数学国际会议期刊，并被录用。 ”刘子灏说。
总决赛时，刘子灏的方法引起了清华大学数学科学中心主任丘成桐院士的注意。
“丘先生问我，对黎曼猜想研究中的数值方法是否了解？一年以来我在解析数论领域里阅读了诸多文献，我感觉自己回答得很好。 ”刘子灏说。
获奖后，这些熠熠发光的“科学少年”并没有停下自己前进的脚步。