Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every proof step automatically. Still, the overall success rate sits at just 2.5 percent.

Anthropic co-founder Christopher Olah was invited to speak at the launch of Pope Leo XIV's encyclical "Magnifica Humanitas" and used the stage to claim AI models show evidence of introspection and emotion-like states. The Pope's own document struck a different tone: "These systems merely imitate certain functions of human intelligence."

GenAI navigation on shaky ground.