HR es un programa informático que genera automáticamente teorías matemáticas mediante la búsqueda de secuencias de números. Fue escrito por Simon Colton , [1] : 34–36 y deriva su nombre 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 suficientemente interesantes a un agente "profesor". [4] El profesor organiza una discusión grupal entre los estudiantes y puede solicitar modificaciones adicionales de las conjeturas. [1] : Cuadro 36 "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 pueden expresarse 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"