Pues la respuesta la han encontrado tirando del hilo de un nombre que se menciona en el paper: Aletheia Parece ser la siguiente evolución en la línea de trabajo de agentes matemáticos de Google
Google’s Aletheia: Next Evolution in Mathematical Agents
By
–