追光

数学是无垠的星空
我们是星空下的追光者
数学世界需要
想象丰富，逻辑缜密
数量、结构、变化、空间、信息
蕴藏无数奥秘
提出猜想，证明猜想
无数次珍贵的错误
突然证明成功变为定理
多么浪漫的理科
纵然证明失败
亦能收获此法不行
条条大路通罗马
这一条不通那一条通
思维愈加敏捷，想象无限
人类首次倾尽全力
向距地球12.36光年宜居外行星
传输一条完整地球信息
11年后抵达，最快23年后收到回复
数学家卡尔.徳维托
开发一种数学语言
采用8比特位数据包
确保外星人正确理解我们消息
我们看到漂亮银河
我们对未知充满好奇
奋斗，是一种浪漫