'Is Anyone Else Surprised Google DeepMind Isn't Leading These Mathematical Benchmarks?' — 179 Upvotes Asking Where AlphaProof Went

r/singularity (179 upvotes / 93 comments)·medium signalXBlueskyLinkedInCopy link

An r/singularity post (179 upvotes, 93 comments) makes a pointed observation on the back of OpenAI's Astra math results: DeepMind produced AlphaGeometry, AlphaProof, and AlphaEvolve and has arguably the deepest foundational record in AI-for-mathematics, yet barely appears on the current difficult-math leaderboards. The thread's competing hypotheses — Gemini is optimized for different objectives, DeepMind is prioritizing product breadth over frontier research, or the benchmarks themselves aren't what DeepMind considers relevant — are unresolved. Worth flagging as a community perception signal rather than a measured claim; nobody in the thread produced a like-for-like benchmark table across labs.