Recursos Humanos (software)

HR es un programa informático que forma automáticamente teorías matemáticas buscando 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 de software "estudiantes", a los que se les proporciona información con la que intentan realizar inferencias . Evalúa cuán "interesantes" son las inferencias y envía aquellas que son suficientemente interesantes a un agente "maestro". ^{[ 4 ]} El maestro organiza debates grupales entre los estudiantes y puede solicitar modificaciones adicionales a las conjeturas. ^{[ 1 ] : 36-Box "Reinventando la conjetura"}

Un resultado exitoso de HRL fue la invención independiente de la conjetura de Goldbach . Agentes "estudiantes", dado el concepto de números enteros y división, derivaron el concepto de "números pares" y "la suma de dos números primos", y luego generaron la conjetura "todos los números pares pueden expresarse como la suma de dos números primos". El "maestro" impulsó un mayor desarrollo y un "estudiante" encontró un contraejemplo (el número 2); HRL modificó la conjetura de manera apropiada. ^{[ 1 ] : 36-Box "Reinventando la conjetura"}