AI translator makes it easier for computers to do maths.

Yuhuai Wu at Google and his colleagues used a neural network called Codex created by AI research company OpenAI. AN ARTIFICIAL intelligence can translate mathematical problems written in plain English to formal code, making them easier for computers to solve in a crucial step towards building a machine capable of discovering new maths. [Extracted from the article]