nowfound

AI · April 12, 2024

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 · ▲94

    An Olympiad-level AI system for geometry

  • A Implementation of Alpha Zero for Chess in MLX2025 · github.com · ▲71

    A 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 · ▲187

    Solve math problems instantly with step-by-step solutions

  • GOSU.AI2017 · ▲134

    AI helps you to improve skills in competitive games

  • Ithy AI2025 · ithy.com · ▲167

    This 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 · ▲31

    yet another 2048, but this time it's controlled by GPT - inishchith/2048

More ai this month

the category →
  • Video model that turns script into viral social media videos

    AI · 19d ago · spira.ai

  • The browser where Claude Code and Codex work beside you

    AI · 19d ago · rill.love

  • Kolibri is Aleph Alpha

    AI · 21d ago · tej.as

  • Paintings by AI models: programs run through a simulation of oil paint.

    AI · 22d ago · stillwet.art

  • Beam.win▲379

    Run AI agents on one Mac and use its windows on another

    AI · 5d ago · beam.win

  • Route 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,325

    The Postgres developer platform is now generally available

    Dev tools · 2024 · supabase.com

  • Build your pixel-perfect booking experience with Atoms

    Dev tools · 2024 · cal.com

  • PaddleBoat▲1,162

    Perfect your sales pitch with realistic AI roleplays

    AI · 2024 · padboat.com

  • deco.cx 2.0▲1,078

    Build web apps 10x faster with Deno, JSX, TS & Tailwind

    Dev tools · 2024 · decocms.com

  • IXORD AI▲955

    Navigate tasks, ignite creativity

    AI · 2024

  • A central nervous system for all your productivity apps

    AI · 2024 · getassista.com