Actualizado diariamente1794 historias verificadas

Noticias de IA.Sin el ruido.

Cobertura verificada por IA sobre lanzamientos de productos, cambios en políticas, investigaciones de seguridad y movimientos del sector, explicada en un lenguaje sencillo por un equipo educativo sin ánimo de lucro.

Fuentes verificadas

Cada historia enlaza con la evidencia más sólida disponible: fuentes originales cuando están disponibles, y por lo demás reportajes claramente atribuidos.

Inglés sencillo

What happened, why it matters, and what to watch — without the jargon.

sin relleno

Cuando la señal es escasa, no publicamos nada en lugar de rellenar el feed.

Archivo de noticias

Archivo de noticias de IA — Página 143

Source-checked AI stories, newest first, for people who need to understand AI without chasing hype.

9 historias
  1. Innovación6 min leer

    La búsqueda guiada por el compilador de informes en papel mejora la eficiencia en la demostración de teoremas Lean

    Una preimpresión de arXiv propone un método de búsqueda de pruebas adaptativo para proyectos Lean 4 dependientes del contexto. Sus autores informan una mejora promedio de 12,8 puntos porcentuales en la tasa de aprobación dentro de un presupuesto de pass@32 mientras utilizan un 21,9% menos de llamadas de LLM que las líneas de base de pass@k.

    arxiv.org
  2. Innovación6 min leer

    El punto de referencia separa la resolución de geometría de la construcción de diagramas

    Un nuevo punto de referencia de código abierto prueba si los modelos de cimentación pueden construir diagramas geométricos fieles, y no simplemente resolver los problemas subyacentes. Sus autores informan que los modelos evaluados lograron una tasa de éxito de compilación promedio del 36,14%, lo que expone una brecha entre las respuestas matemáticas y las construcciones visuales utilizables.

    arxiv.org

Un informe útil cada semana

Mantente al día con la IA sin vivir en el feed.

Recibe las noticias verificadas de IA de la semana, datos originales, herramientas útiles, recomendaciones de aprendizaje y nuevos empleos en IA.

Send me
One email a week. Switch any time.

Reach people who are learning AI

¿Contratar a un profesional de IA o lanzar un producto útil de IA? Ponlo delante de personas que han venido aquí a aprender y actuar.

Publicar un trabajo de IA Enviar una herramienta de IA