ReleaseGoogle (DeepMind / Gemini)Google (DeepMind / Gemini)published Jul 21, 2026seen 4dgoogle-deepmind/alphaproof-nexus-results science-submissiongoogle-deepmind/alphaproof-nexus-resultsOpen original ↗Captured sourcesource ↗GHGitHub/github.com/google-deepmind/alphaproof-nexus-resultsgoogle-deepmind/alphaproof-nexus-results science-submissionSource ↗published Jul 21, 2026seen 4dcaptured 4dhttp 200method plainv1.0.0-science-submissionRepository: google-deepmind/alphaproof-nexus-resultsTag: science-submissionPublished: 2026-07-21T16:01:28ZPrerelease: noRelease notes: none published.