¡Ven a conocernos y charlar sobre AI4Math y Axiom! Estamos contratando con paquetes muy competitivos. Si trabajas en aprendizaje automático, razonamiento, generación de código, demostración formal de teoremas o autoformalización, ¡contáctame! Envíame un mensaje directo o escríbeme a carina@axiommath.ai.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.
