Skip to content

Topic

AI and mathematics

The use of machine learning and automated reasoning systems in mathematical research, including theorem proving and problem solving, and the effects on how mathematics is practised.

Current clusters