Una startup afirma que un modelo no público de Anthropic ayudó a resolver una conjetura cuántica abierta desde 2008
Hecho Qué ha ocurrido
La startup Physical Superintelligence (PSI) afirmó el 6 de noviembre que un modelo de Anthropic aún no público ayudó a demostrar la conjetura de Aaronson-Ambainis, planteada en 2008. Un programa de verificación, Lean, aceptó la prueba paso a paso, y PSI publicó el artículo y el código en GitHub. La empresa no identifica el modelo y no hay revisión por pares.
Resumen generado mediante IA a partir de Infobae Tecno. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si se confirma, sería un caso documentado de IA contribuyendo a un resultado matemático de investigación, con implicaciones para la comprensión de la ventaja cuántica. Para empresas, por ahora es una señal sobre la capacidad de los sistemas de razonamiento más que una aplicación inmediata.
- Quién se ve afectado
- Investigadores en computación cuántica, matemáticos y laboratorios que usan IA para investigación científica.
- Qué puede cambiar
- Si la prueba resiste el escrutinio de especialistas, podría cerrar una pregunta teórica abierta y acelerar el uso de asistentes de demostración formal en investigación. No cambia de forma directa productos ni procesos empresariales.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Revisión por pares de la prueba, pronunciamientos de Aaronson y Ambainis, y si Anthropic confirma o aclara el papel de su modelo. También conviene vigilar la publicación de modelos asociados a estas capacidades.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: Infobae Tecno. La referencia es siempre el artículo original.
Ver fuente original ↗LLMcomputación cuánticaLeandemostración formal Physical SuperintelligenceAnthropic Aaronson-Ambainis Anthropic computación cuántica Lean Physical Superintelligence
Relacionadas
Donald Knuth reconoce que Claude Opus 4.6 resolvió un problema abierto que trabajaba desde hace semanas
Donald Knuth, legendario científico de la computación, reveló que Claude Opus 4.6 (modelo de razonamiento híbrido de Anthropic lanzado hace tres semanas)…
Por qué importaLa validación de una figura de autoridad indiscutible como Knuth sobre las capacidades de razonamiento de Claude Opus 4.6 es un indicador…
Anthropic explora el posible bienestar y consciencia de Claude, y choca con el Vaticano
Christopher Olah, cofundador de Anthropic, ha mantenido durante más de un año conversaciones con teólogos, filósofos y líderes religiosos sobre si Claude…
Por qué importaAnthropic es la primera gran empresa de IA que institucionaliza preguntas sobre el 'bienestar' de sus modelos, lo que puede influir en cómo se…
Anthropic explora marcos religiosos y filosóficos para guiar el comportamiento de Claude
Según The New York Times, Chris Olah, cofundador de Anthropic, se ha reunido con pensadores religiosos y filósofos para explorar si la IA puede tener…
Por qué importaRevela que una de las empresas líderes en IA está buscando marcos no técnicos, incluso espirituales, para resolver problemas de alineación que la…
Anthropic desarrolla FlashProve, un sistema de código abierto para verificar qué modelo de IA generó una respuesta
Anthropic publicó en un blog un proyecto de código abierto llamado FlashProve, que busca ofrecer una prueba criptográfica de que una salida proviene de un…
Por qué importaSi funciona, permitiría comprobar que un proveedor no cambia en secreto a un modelo más barato o más caro, algo relevante para quien paga por el uso…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.