Una computadora cuántica acaba de confirmar un problema matemático de 48 años

Computadoras cuánticas ya existen y están avanzando rápidamente, pero los científicos predicen que vendrá mucho, mucho más de ellas – y un nuevo estudio señala el camino hacia otro paso significativo en el campo de las matemáticas.

El equipo del estudio, liderado por investigadores de la Zhejiang University y la Tsinghua University en China, logró que un procesador cuántico superconductor de 121-qubit probara dos teoremas matemáticos, incluido uno planteado en la 1978 International Mathematical Olympiad, una prestigiosa competencia de matemáticas para estudiantes.

Lo importante aquí no es que la computadora cuántica haya llegado a la respuesta correcta (ya que esto fue dictado en gran medida por los investigadores), o la velocidad con la que trabajó (ya que las computadoras clásicas pueden resolver estos problemas muy rápidamente) – sino que este tipo de deducciones se llevaran a cabo en hardware cuántico en absoluto.

Sugiere que las computadoras cuánticas pueden pasar de ser procesadores de números muy avanzados a sistemas capaces de ejecutar razonamiento matemático lógico: comenzando con un conjunto inicial de reglas y dando pasos verificables hacia un resultado.

"Aquí informamos sobre la realización experimental de la demostración automatizada de teoremas de geometría en un procesador cuántico superconductor totalmente programable", escriben los investigadores en su artículo.