支持者
像 ChatGPT 这样的聊天机器人会出错。但研究人员正在构建新的人工智能。可以验证自己的数学甚至更多的系统。
旧金山报道
最近的一个下午，Tudor Achim 给人工智能做了一个脑筋急转弯。名为亚里士多德的机器人。
问题涉及一个 10×10 的表格，里面有一百个数字。他问道，如果你收集每一行中的最小数字和每一列中的最大数字，那么小数字中最大的数字是否会大于大数字中最小的数字？
机器人正确回答了“否”。但这并不奇怪。像 ChatGPT 这样的流行聊天机器人也可能给出正确的答案。不同的是，亚里士多德已经证明了他的答案是正确的。该机器人生成了一个详细的计算机程序，验证“否”是正确的答案。
订阅《泰晤士报》即可阅读任意数量的文章。
凯德·梅茨 (Cade Metz) 撰写有关人工智能、无人驾驶汽车、机器人、虚拟现实和其他新兴技术领域的文章。更多关于凯德·梅斯
广告