PSI usó un modelo no lanzado de Anthropic en una posible solución a un problema cuántico
🎧 Escucha esta noticia
David Turturean, investigador de Physical Superintelligence (PSI), usó el modelo no lanzado Fable 5.2, de Anthropic, para producir una prueba relacionada con la conjetura de Aaronson-Ambainis, que aborda si las computadoras cuánticas pueden resolver problemas más rápido que las computadoras clásicas. Scott Aaronson, uno de los investigadores que plantearon el problema, dijo a TechCrunch que cree que la prueba es correcta porque fue formalizada en Lean y explicada por investigadores destacados, aunque todavía no la comprende por completo. El resultado parece cerrar una posible vía para que las computadoras cuánticas resuelvan rápidamente ciertos problemas difíciles, pero no todas.
PSI busca convertir sistemas especializados de IA, con herramientas, memoria y simulaciones, en un negocio de descubrimiento científico. Por ahora, sus ingresos provienen de la optimización de centros de datos; su estrategia a largo plazo es convertir avances de la física teórica en tecnologías. El director ejecutivo Matt Pines dijo a TechCrunch que validar resultados de física con experimentos sigue siendo más difícil que trabajar con matemáticas formalizadas.
Por qué importa · interpretación editorial
El caso sugiere que modelos aún no lanzados pueden contribuir a las matemáticas formalizadas, mientras que la evaluación de Aaronson mantiene la validación humana como una parte importante del proceso. La diferencia entre probar un resultado en Lean y confirmarlo experimentalmente también delimita el alcance práctico de este enfoque para el descubrimiento científico.
Fuentes
Investigación