人工智能
研究人员开发出能够将方程转化为插图的工具
卡内基梅隆大学的研究人员创建了一个能够通过软件将数学抽象转化为插图和图表的工具。
该过程的工作原理是，用户输入普通的数学表达式，然后由软件将其转化为插图。该项目的一个主要发展是，表达式不需要是基本函数，如图形计算器中的情况。相反，它们可以来自数学各个领域的复杂关系。
Penrose
研究人员将该工具命名为 Penrose，以数学家和物理学家罗杰·彭罗斯命名，他以使用复杂的数学和科学思想通过图表和图纸而闻名。
Penrose 将由研究人员在 SIGGRAPH 2020 计算机图形和交互技术会议上展示。由于 COVID-19 疫情，该会议今年将在线上举行。
基南·克雷恩是计算机科学和机器人学的助理教授。
“一些数学家具有绘制美丽图表的天赋，但它们一旦从黑板上擦掉就消失了，”克雷恩说。“我们希望使这种表达能力对任何人都可用。”
由于需要大量高技能和枯燥的工作来制作图表，因此图表在技术交流中并不常用。为了解决这个问题，Penrose 工具允许专家在系统中编码步骤，然后其他用户可以使用数学语言访问它。所有这一切意味着计算机正在做大部分工作。
凯瑟琳·叶是计算机科学系的博士生。
“我们首先问：‘人们如何在脑海中将数学思想转化为图像？’”叶说。“我们的系统的秘密在于使人们能够轻松地‘解释’这种转化过程给计算机，这样计算机就可以做所有繁重的工作来制作图像。”
过程
计算机首先学习用户如何可视化数学对象，例如箭头或点，然后它绘制多个图表。用户选择并编辑其中一个图表。
根据克雷恩的说法，数学家应该没有问题学习团队开发的特殊编程语言。
“数学家可以对符号非常挑剔，”他说。“我们让他们定义他们想要的任何符号，因此他们可以自然地表达自己。”
Penrose 被视为迈向更大目标的一步。
“我们的愿景是能够从图书馆中取出一本旧的数学教科书，将其放入计算机中，并得到一本美丽的插图书——这样更多的人就能理解，”克雷恩说。
开发 Penrose 的团队还包括尼莫·尼和詹娜·怀斯，他们是卡内基梅隆大学软件研究院（ISR）的博士生；乔纳森·奥尔德里奇，ISR 教授；约书亚·桑沙恩，ISR 高级研究员；马克斯·克里格，认知科学本科生；以及多尔·马亚恩，前 Technion- 以色列理工学院硕士生。
该研究得到了国家科学基金会、国防高级研究计划局、斯隆基金会、微软研究和帕卡德基金会的支持。
