HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers.
It was written by Simon Colton,[1]: 34–36 and derives its name from the initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
HR forms the basis for the artificial intelligence program HRL (the "L" in honour of Imre Lakatos), developed by Alison Pease, Simon Colton, Alan Smaill and John Lee.
[2][3] HRL generates software "student" agents, which are given information with which they attempt to make inferences.
The "teacher" prompted further development and one "student" found a counter-example (the number 2); HRL modified the conjecture appropriately.