Physical Superintelligence publica resultados asistidos por IA sobre cinco problemas cuánticos abiertos con pruebas en Lean
Varios resultados son parciales, acotados o contraejemplos, no soluciones completas, y ninguno tenía revisión por pares.
Varios resultados son parciales, acotados o contraejemplos, no soluciones completas, y ninguno tenía revisión por pares.