据《新科学家》报道,哲学家、人工智能专家亚伦·斯洛曼(Aaron Sloman)声明,他想发明的无非是一个数学家
机器人而已。他说他已经找到了“人是怎样发展数学才能”的关键点。假如他的思路是对的,那么就应该有可能使机器人如同人一样有很好的数学才能,甚至可能会更好。
英国伯明翰大学的斯洛曼(Sloman)说:“人类的大脑不是通过魔法而运转的,因此,大脑所能做到的事同样也适合于机器人。”
斯洛曼发明的机器人并不意味着就是个能够引领数学界的数学天才。在《人工智能》杂志上,他确定的初步目标是,使用这款机器人去改进“我们数学能力的来源地”智力。虽然如此,但是这款机器人使我们能够超越以往已创造的数学机器人,它有最新的
完整的数学思维体系,能够解决一系列简单问题。
当然人工智能领域以前就给予人们很多的承诺。早期,研究者认为机器人能够开启一条“快速通道”去理解意识,并声明,人工智能机器人将改变世界。事实是人们已厌倦这种调侃。现在,人工智能已经偏向更理智的事情。例如,人工智能国际象棋手、声音识别软件。但是到目前也没有一起突破性的革新事件。
英国爱丁堡大学数学哲学研究员埃莉森·皮斯(Alison Pease)说:“但是涉及到数学,我们还不能裁定它出局。”皮斯使用人工智能程序使一台计算机能够解决数学问题。她认为一台计算机真正使人惊讶是它那拥有最新数学眼光的程序员。她说:“我们现在还不能,但并不能断定未来就一定不能。”
由伦敦大学帝国学院的西蒙·科尔顿(Simon Colton)书写了这个程序,我们正稳健地踏上了第一步。这个程序被命名为“HR”,是为了纪念数学家高德菲·哈维德·哈代(Godfrey Harold Hardy)和拉马努金(Srinivasa Ramanujan)。它看起来是非常有趣的数字序列。关于HR的一些发现已经公布出来了。是HR,并不是科尔顿,获得了荣誉。尽管它看起来还不能列为“开山鼻祖”,但是却有很重要的意义。科尔顿说:“我总是运用数学理论来涉及HR的工作,把它作为一门休闲数学,但是看起来无关紧要的事情却最终能变得很有意义,同时又变得很有趣。”
皮斯和他的同仁Alan Smaille以及Markus Guhe最近已经使得这个项目更进一步了。在他们的爱丁堡计算机实验室,完全由数字数学家(即装有特殊程序的计算机)构成的团队进行了一次虚拟数学交涉。它将带我们到怎样的世界呢?
斯洛曼希望“所有的路都通往这个具有重要意义的新数学领域”。他认为人类的数学能力关键期在童年,所以“我们将为机器人制造一个孩童般的大脑,让它自己逐渐发展自己的数学命运”。