#tex

Google DeepMind's Superhuman Reasoning team shares projects like AlphaGeometry (solves geometry proofs), AlphaGeometry2 (IMO silver medal), IMO Bench (math benchmarks with 400+ problems for AI testing after 2025 gold win), and Aletheia (AI agent that verifies and improves math solutions). All under open Apache 2.0 and CC-BY licenses. This helps you access free tools, datasets, and code to boost your AI math research, build better models, or learn advanced reasoning fast.

https://github.com/google-deepmind/superhuman