AI translates maths problems into code to make them easier to solve

An artificial intelligence that can turn mathematical concepts written in English into a formal proving language for computers could make problems easier for other AIs to solve

Related Keywords

Alex Wilkins , ,Mathematics ,Artificial Intelligence ,Roof ,