AI · alternatives · 2026
24 alternatives to 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
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold launched in 2024; newer entries below may have overtaken it.
- 1
An Olympiad-level AI system for geometry
2024 · deepmind.google · its alternatives →
- 2
A chess engine implementation inspired by AlphaZero, using MLX for neural network computations and Monte Carlo Tree Search (MCTS) for move selection.
2025 · github.com · its alternatives →
- 3
Solve math problems instantly with step-by-step solutions
2024 · mymathsolver.ai · its alternatives →
- 4
Announcing GPT-4.1, GPT-4.1 mini, & GPT-4.1 nano in the API
2025 · openai.com · its alternatives →
- 5
- 6
Ithy AI▲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…
2025 · ithy.com · its alternatives →
- 7
yet another 2048, but this time it's controlled by GPT - inishchith/2048
2023 · github.com · its alternatives →
- 8
Hey HN, I don’t know who else has the same issue, but: Textbooks often bury good ideas in dense notation, skip the intuition, assume you already know half the material, and get outdated in fast-moving fields like AI. Over the past 7 years of my AI/ML experience, I filled notebooks with intuition-first, real-world context, no hand-waving explanations of maths, computing and AI concepts. In 2024, a few friends used these notes to prep for interviews at DeepMind, OpenAI, Nvidia etc. They all got in and currently perform well in their roles. So I'm sharing. This is an open & unconventional…
Feb 2026 · github.com · its alternatives →
- 9EI
Hi HN, I've been experimenting on-and-off over the years trying to automatically generate crosswords [1]. Recently I've been feeling like my results are good enough that I want to share them and see what other people think. I'm not trying to claim that these could appear in, say, the NYT in their current state, but honestly the velocity of progress makes me feel like I will inevitably be able to automatically generate NYT-quality crosswords within just a year or so. A write-up is here: https://abstractnonsense.com/crosswords.html And you can play the crosswords here:…
2024 · abstractnonsense.com · its alternatives →
- 10
Python based framework for Automatic AI for Regression and Classification over numerical data. Performs model search, hyper-parameter tuning, and high-quality Jupyter Notebook code generation. - blobcity/autoai
2021 · github.com · its alternatives →
- 11IT
I built 1e4.ai - a chess web app where you play against neural networks trained to mimic human Lichess players at specific Elo ranges. There's a separate model for each 100-point rating bucket from ~800 to 2200+, and the bots not only choose human-like moves but also burn clock time, play worse under time pressure, and blunder in human-like ways. Live demo: https://1e4.ai Code: https://github.com/thomasj02/1e4_ai A few things that might be interesting: - Trained on almost a full year of Lichess blitz games, around 1B total games - Architecture is an a small…
May 2026 · its alternatives →
- 12
- 13
- 14
LearnChess▲29I've been playing chess for a few years with my ELO stuck around 1600 on Lichess. I wanted an app that combined puzzle training, interactive lessons, game analysis, and AI coaching in one place. But all the apps I used over the years either felt overwhelming, had UX that wasn't up to my expectations for a modern app or were lacking some fundamental features that I really wanted. So, I built LearnChess.ai. The technical angle I'm most excited about: it's built local-first using LiveStore (event-sourced, SQLite on-device), which means zero loading delays for user data and full offline support.…
Jul 2026 · learnchess.ai · its alternatives →
- 15
Cognoska▲17Since August I’ve been running a scoring system that tracks and ranks every new AI-related paper published on arXiv. The goal is to detect genuine research events, things that move the field forward and filter out the usual noise and unsubstantiated uploads. Each paper gets evaluated through a scoring algorithm. The system then stores embeddings with structured fields like problem, approach, solution, and result for later retrieval. Search runs on a hybrid model: it combines semantic embeddings with metadata like title, topic, author, and extracted keywords. Queries return the most relevant…
2025 · cognoska.com · its alternatives →
- 16
- 17
- 18
I had an idea on a competition in a highly constrained environment: 32x32 matrix, with bots running code you write! The live site is https://kingofthegrid.com/. Each bot emulates Z80 CPU and they all get equal execution time, so the most efficient algorithm wins. Bots can move, eat, clone themselves, and most importantly, survive the competition. Each submission, leaderboard is re-calculated, such that each participant has a match against each other, and the bot that makes the most wins gets to the top. It includes includes an online in-browser IDE:…
2025 · github.com · its alternatives →
- 19
Compete in an AI/bot Minecraft tournament! $1900 in prizes!
2023 · regression.gg · its alternatives →
- 20AH
This paper formally defines where current AGI hits a structural wall — not a technical one. It shows that no amount of scaling, reinforcement learning, or recursive optimization will break through three deep epistemological and formal constraints: 1. Semantic Closure — An AI system cannot generate outputs that require meaning beyond its internal frame. 2. Non-Computability of Frame Innovation — New cognitive structures cannot be computed from within an existing one. 3. Statistical Breakdown in Open Worlds — Probabilistic inference collapses in environments with heavy-tailed uncertainty.…
2025 · its alternatives →
- 21
Is your website ready for AI search? Find out in seconds.
Feb 2026 · geo-ready.flowful.ai · its alternatives →
- 22
- 23
- 24
SorSor▲9GPT-4 AI app that solves Math & Coding problems instantly
2023 · sorsor.org · its alternatives →
Also compare
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →