Repasemos Harmonic PR de la semana pasada: 1. Afirmó que Aristóteles resolvió la mayoría de los problemas de Erdös, mientras que, de hecho, el software ayudó a formalizar los problemas de las soluciones humanas existentes. 2. Afirmaron que habían conseguido a Putnam primero, aunque no fue así. 3. Afirmó que la OMI es más difícil que Putnam porque las pruebas son más largas. No sé si el administrador de redes sociales sabe algo de técnica, así que lo dejo pasar.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.