An artificial intelligence can translate maths 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.
AI translates maths problems into code to make them easier to solve
Posted in robotics/AI