#alphaproofnexus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #alphaproofnexus, aggregated by home.social.
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math