Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold
Abstract page for arXiv paper 2404.06405: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold launched on April 12, 2024 with 6 votes, #1,635 of 4,347 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 2 years on.
What it does
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabsfrom arxiv.org
Does a similar job
all alternatives →
AlphaGeometry from Google DeepMind2024 · deepmind.google · ▲94An Olympiad-level AI system for geometry
A Implementation of Alpha Zero for Chess in MLX2025 · github.com · ▲71A chess engine implementation inspired by AlphaZero, using MLX for neural network computations and Monte Carlo Tree Search (MCTS) for move selection.
AI Math Solver by GPT-4o Free Online2024 · mymathsolver.ai · ▲187Solve math problems instantly with step-by-step solutions

Ithy AI2025 · ithy.com · ▲167This is another one of my automate-my-life projects - I'm constantly asking the same question to different AIs since there's always the hope of getting a better answer somewhere else. Maybe ChatGPT's answer is too short, so I ask Perplexity. But I realize that's hallucinated, so I try Gemini. That answer sounds right, but I cross-reference with Claude just to make sure. This doesn't really apply to math/coding (where o1 or Gemini can probably one-shot an excellent response), but more to online search, where information is more fluid and there's no "right" search engine + text…
GPT crushes my high score in 2048.io2023 · github.com · ▲31yet another 2048, but this time it's controlled by GPT - inishchith/2048
More ai this month
the category →



Paintings by AI models: programs run through a simulation of oil paint.
AI · 22d ago · stillwet.art

FastRouter.ai▲364Route requests to the right LLM for cost, latency & quality
AI · 23d ago · fastrouter.ai
Source: Show HN post ↗
Launched alongside, April 2024
the whole month →
Supabase▲2,325The Postgres developer platform is now generally available
Dev tools · 2024 · supabase.com
Cal.com Platform▲1,601Build your pixel-perfect booking experience with Atoms
Dev tools · 2024 · cal.com

deco.cx 2.0▲1,078Build web apps 10x faster with Deno, JSX, TS & Tailwind
Dev tools · 2024 · decocms.com

