一个机器人画画,另一个用煎饼面糊做创意,然后是数学机器人
任何足够先进的技术都与魔法无异。——阿瑟·克拉克
丹尼斯·马诺斯拿起记号笔,一张白纸,看着艾丹·康纳22岁的照片。马诺斯在想一个方程式。
“这个方程必须小于这个矩形,”康纳边说边用手示范了它的大小。“所以不要做得太大。”
马诺斯是威廉玛丽学院负责研究的副教务长。几分钟前,小厅创客空间的主管乔纳森·弗雷(Jonathan Frey)走进他的办公室,介绍了创客空间的一项最新作品。
“好吧,我一定要看看这个,”马诺斯说着,走到大厅的小大厅创客空间,康纳正在那里值班,担任MSE创客空间的学生工程师。现在,在没有事先通知的情况下,康纳被要求为大学的最高研究官员做一次演示。
康纳拿着马诺斯手写的方程式——它不是太大——把它放在一个龙门架下面,龙门架是一个金属台面框架,上面有横梁,可以在工作区域水平地携带仪器。康纳不慌不忙,在一屋子突然变得非常安静的人面前,小心翼翼地把纸对齐、调整。弗雷打破了沉默。
“别有压力,艾登,”他说。“如果它不起作用,我就不得不找一个新的MSE。”
“是的,那很好,”康纳在笑声中说。“我的生命是你意志的工具”
康纳在笔记本电脑上按下一个键,机器臂开始移动,扫描仪在马诺斯刚刚写好的方程式上嗡嗡作响。几乎是在同一时间,由第二个龙门架驱动的橙色标记开始改写马诺斯的方程,加上一个“等于”号——以及正确的解。
康纳和他的团队似乎是在数百万苦苦挣扎的数学学生的祈祷下拼凑出了神奇的答案,但他们的数学机器人是创造性工程的产物,而不是超自然的干预。
“那发生了什么?”康纳一边说,一边坐在笔记本电脑前,为马诺斯和其他来到创客空间的游客讲解。
他说:“这条线只是一个命令,让相机给方程拍照。”“还有其他一些功能,但基本上它会将图片发送到Mathpix API。”
Mathpix API是应用程序编程接口(application program interface)的缩写,它将图形转换成LaTeX(一种广泛使用的计算机标记语言)中的方程。然后,代码将LaTeX方程转发给Wolfram|Alpha,这实际上解决了问题。Wolfram|Alpha是一个基于云的多功能分析工具。
“起初,它只是一个基本的计算引擎,”康纳解释说。所以你可以给它一个数学方程,或者问今天天气怎么样?你可以寻找趋势或者问,底特律的人口是多少?它就像一个知识引擎。但从那以后,它增长了很多。”
这个数学机器人是该团队提交的工程设计导论课程(APSC251)的最终项目,由弗雷教授。数学机器人团队还包括Tomás Sommer ' 22, Daphne Sink ' 20, Lizi King ' 20和Merielyn Sher ' 22。
整个班级都在研究龙门机器人系统。其他小组项目包括一个电池机器人——一个龙门架装置,用来制作定制形状的煎饼。还有一个机器人可以将照片或其他图像转换为g代码,然后绘制出来。他们用威廉玛丽密码做了一个小样。
康纳说,“就在那张桌子上”,这个数学机器人和其他机器人都是在创客空间的头脑风暴会议上产生的,这表明了许多想法的发源地。
“我们在讨论项目的想法,”他说。“我们在问,你想让机器人做什么?有人说,‘解决数学题。“所以……”
Frey对mathbot演示的反应似乎没有让Connor继续作为MSE的职业生涯留下任何怀疑,他的队友可能会对他们项目的成功感到放心。
“令人印象深刻,”弗雷说。“从机制到api的实现,再到系统的同构构建。这是全系统设计。”
“而且,”马诺斯补充道。“它把鸡抓的东西变成了你能读懂的东西。”