¡Tuve el placer de charlar con @TheTuringPost sobre todo lo relacionado con Axiom y AI4Math! Sintonizar: - ¿Cómo defino AGI vs. ASI de dominio específico, la metáfora del plato, puede un modelo hablador o poético probar la hipótesis de Riemann y el increíble poder de transferencia de aprendizaje de las matemáticas a la codificación y la ingeniería? - Por qué un matemático de IA necesita capacidad de realizar pruebas y construcciones, que se correspondan con las dos ramas de Axiom: pruebas formales y descubrimientos especializados. - La escasez de datos en comparación con el código, el problema del huevo y la gallina de la autoformalización, las audaces apuestas de Axiom sobre los datos sintéticos y cómo pensamos sobre la generación de nuevos conocimientos - Resolución de problemas vs. Construcción de teorías, por qué la "construcción de teorías" es más difícil de comparar que la Olimpiada Internacional de Matemáticas (OIM), y por qué la búsqueda/recuperación de literatura, tan enfatizada por los LLM hoy, es insatisfactoria https://t.co/HxRoCSOa2S
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.