GitHub - google-deepmind/superhuman
2 months ago
- #AI
- #Mathematics
- #Google DeepMind
- Hosted by Google DeepMind's Superhuman Reasoning team, led by Thang Luong.
- Includes Nature paper and 2024 IMO-silver achievement details.
- Features advanced benchmarks for AI mathematical reasoning evaluation: IMO-AnswerBench, IMO-ProofBench, IMO-GradingBench.
- Introduces a math research agent powered by Gemini Deep Think for iterative solution generation and verification.
- Software licensed under Apache License 2.0; other materials under CC-BY 4.0.
- Disclaimer: Not an official Google product.