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.
HRL
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. It evaluates how "interesting" the inferences are and sends those that are sufficiently interesting to a "teacher" agent.[4] The teacher arranges group discussion amongst the students and may request further modification of conjectures.[1]: 36-Box "Reinventing the conjecture"
One successful result by HRL was the independent invention of Goldbach's conjecture. "Student" agents, given the concept of integers and division, derived the concept of "even numbers" and "the sum of two primes", then generated the conjecture "all even numbers can be expressed as the sum of two primes." The "teacher" prompted further development and one "student" found a counter-example (the number 2); HRL modified the conjecture appropriately.[1]: 36-Box "Reinventing the conjecture"
References