快讯：好奇号火星车传来喜讯

2018年6月6日，美国航天局科学家宣布，好奇号火星车又一次传回火星表面在30亿年前存在生命迹象。

大家还记得，好奇号火星车于2011年10月发射升空，2012年8月6日，好奇号成功地降落火星表面，至今已经6年多了。

实际上，好奇号不用太阳能，使用的是原子能热偶发电，功率2瓦，半衰期为11年。

好奇号火星车何时停止工作。是一个无穷积分问题。微积分在火星上也能用，这是形式公理化系统的妙用！

袁萌   6月8日