Su apuesta permitió sistemas formales de inteligencia artificial matemática (como AlphaProof). En 2022, casi nadie pensó que un LLM podría ser el nivel de oro de la OMI para 2025.