Automated Discovery in Maths

• “Automatic Concept Formation in Pure Mathematics”

• Simon Colton, Alan Bundy

  • University of Edinburgh

• Toby Walsh

  • University of Strathclyde (now York)

• Proceedings of IJCAI-99, pages 786-791

  • Machine Learning Section

• Introduces the system HR

  • named for Hardy & Ramunajan, famous mathematicians

• Discovered novel mathematical concepts