HR es un programa informático que forma automáticamente teorías matemáticas mediante la búsqueda de secuencias de números. Fue escrito por Simon Colton , [1] : 34–36 y su nombre deriva de las iniciales de los matemáticos Godfrey Harold Hardy y Srinivasa Aiyangar Ramanujan .
HR constituye la base del programa de inteligencia artificial HRL (la "L" en honor a Imre Lakatos ), desarrollado por Alison Pease, Simon Colton , Alan Smaill y John Lee. [2] [3] HRL genera agentes "estudiantes" de software, a los que se les da información con la que intentan hacer inferencias . Evalúa cuán "interesantes" son las inferencias y envía aquellas que son lo suficientemente interesantes a un agente "maestro". El profesor organiza la discusión en grupo entre los estudiantes y puede solicitar una mayor modificación de las conjeturas. [1] : 36-Box "Reinventando la conjetura"
Un resultado exitoso de HRL fue la invención independiente de la conjetura de Goldbach . Los agentes "estudiantes", dado el concepto de números enteros y división, derivaron el concepto de "números pares" y "la suma de dos primos", luego generaron la conjetura "todos los números pares se pueden expresar como la suma de dos primos". El "maestro" impulsó un mayor desarrollo y un "estudiante" encontró un contraejemplo (el número 2); HRL modificó la conjetura apropiadamente. [1] : 36-Box "Reinventando la conjetura"