据AI前线公众号8月11日消息，谷歌公司开发出一种名为Minerva的深度学习语言模型，可以通过逐步推理解决数学定量问题。Minerva使用自然语言处理和数学符号处理技术来解析问题。它能够根据公式、常数和涉及数值计算的数据库形成推理，而不需要依赖计算器来得到最终答案。具体而言，Minerva用不同的分配概率为问题生成不同的答案，并评估可能性最高的答案。这一模型在小学至研究生水平的数学测试中表现出色。然而，Minerva的局限性在于其不呈现具有显式的数学结构，无法对答案进行自动验证。

消息来源：https://mp.weixin.qq.com/s/WVVuGGHFWtiTluoyStQjtA