AI translates maths problems into code to make them easier t

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 ,