Physical Superintelligence resuelve con un modelo de Anthropic la conjetura de Aaronson-Ambainis en computación cuántica
Hecho Qué ha ocurrido
La startup Physical Superintelligence (PSI) usó acceso anticipado a un modelo no publicado de Anthropic para resolver la conjetura Aaronson-Ambainis, un problema de computación cuántica abierto desde hace unos dieciocho años. Scott Aaronson indica que no entiende del todo la prueba, pero la considera correcta por su autoformalización en Lean y por la revisión de investigadores externos a los que PSI compartió la solución. PSI retiene el resultado hasta que el modelo esté casi listo para su lanzamiento.
Resumen generado mediante IA a partir de TechCrunch AI (original en inglés). Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Muestra que los sistemas de IA empiezan a producir resultados matemáticos verificables en problemas abiertos, lo que puede acelerar la investigación científica. Para las empresas, es una señal de que el modelo de negocio de la IA científica se está formando.
- Quién se ve afectado
- Investigadores en computación cuántica y matemáticas, y empresas de I+D intensiva en ciencia.
- Qué puede cambiar
- Si este enfoque se generaliza, la investigación teórica podría apoyarse más en herramientas automatizadas y los estándares de publicación y validación tendrían que adaptarse.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Qué publicaciones y verificaciones externas siguen a la solución, si PSI consigue ingresos sostenibles con la optimización de centros de datos y cómo responde la comunidad académica a la autoría asistida por IA.
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: TechCrunch AI. La referencia es siempre el artículo original.
Ver fuente original ↗modelos de razonamientoautoformalizaciónLean Physical SuperintelligenceAnthropicOpenAI Aaronson-Ambainis Anthropic computación cuántica IA científica PSI
Relacionadas
Una startup afirma que un modelo no público de Anthropic ayudó a resolver una conjetura cuántica abierta desde 2008
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…
Por qué importaSi 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…
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…
Physical Intelligence: startup de exmiembros de Stripe y Google crea modelos base para robots generales
Physical Intelligence, fundada por Lachy Groom (exempleado de Stripe), Sergey Levine (UC Berkeley), Chelsea Finn (Stanford) y Karol Hausman (Google DeepMind)…
Por qué importaEl modelo de negocio se basa en que la inteligencia del software puede compensar hardware de bajo coste, lo que podría hacer la automatización…
Nvidia presenta GR00T 2, un modelo que aprende tareas robóticas a partir de vídeos de humanos
Nvidia ha presentado GR00T 2, un modelo fundacional que transfiere movimientos de manos humanas grabadas en vídeo a brazos robóticos, reduciendo la…
Por qué importaSi el enfoque funciona fuera del laboratorio, enseñar tareas a robots podría dejar de depender de horas de control remoto costoso para cada modelo de…
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.