人工智能将数学问题转化为代码，让它们更容易解决

在人工智能的帮助下，可以发现新数学的机器是可能的。 它将用简单的英语编写的数学问题翻译成正式的代码。

来源和详细信息：
https://www.newscientist.com/article/2322999-ai-translates-maths-problems-into-code-to-make-them-easier-to-solve/