Domingo 8 de noviembre de 2026 ·
Meta afirma que Muse Spark ayudó en seis artículos de matemáticas, cinco de ellos con preguntas abiertas
Meta publicó el 2 de octubre de 2026 seis artículos de investigación matemática elaborados junto a matemáticos con Muse Spark. Según Meta, cinco responden a preguntas que hasta entonces no tenían respuesta. En un trabajo de teoría de grupos, Muse Spark generó código de búsqueda que encontró un grupo de 384 elementos, y los matemáticos comprobaron que cumplía las condiciones necesarias y completaron la demostración.
Qué significa
La IA aparece aquí como generadora de candidatos, mientras que la comprobación de que cumplen las condiciones sigue en manos humanas. Las comunidades que usan IA en problemas formales tendrán que separar ambas fases en su trabajo.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- 生成AIタグが付けられた新着記事 - QiitaLeer la noticia completa en 生成AIタグが付けられた新着記事 - Qiita
También ese día
Todas las noticias de IA del domingo 8 de noviembre de 2026 ->