Una startup, Physical Superintelligence, ha anunciado que ha resuelto la conjetura de Aaronson-Ambainis, un problema matemático de computación cuántica que ha permanecido sin resolver desde 2008. La empresa afirma que su IA, basada en un modelo no público de Anthropic, generó la demostración en solo tres días. Aunque la prueba ha sido verificada formalmente por Lean, aún se espera la confirmación de expertos para asegurar que la formulación formal corresponde exactamente a la conjetura original. Este hallazgo, si se confirma, podría establecer importantes límites a las ventajas exponenciales de los ordenadores cuánticos en problemas sin estructura. La noticia ha generado un gran interés en la comunidad científica y tecnológica, ya que la conjetura de Aaronson-Ambainis es uno de los problemas más importantes y desafiantes en el campo de la computación cuántica. #PhysicalSuperintelligence #ConjeturaAaronsonAmbainis #IA #Anthropic #Cuántica
Ver más en News Today