Mathematics Distillation Challenge

by Chenhao Tan2 months ago
2

Background
The pilot task is equational implication over magmas: given Equation 1 and Equation 2, determine whether Equation 1 implies Equation 2.

This challenge is based on the Equational Theories Project:

Example: E_4: x = x * y implies E_3: x = x * x.

Raw implication graph: export_raw_implications
Law list (4694 laws): equations.txt
Core Task
Participants submit a cheatsheet (plain text prompt guidance).
The model then solves implication problems of the form:

Does Equation 1 imply Equation 2?

In Stage 1, the expected behavior is to provide a true/false answer to the question.

Full details are on this page: https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage1/overview

Implemented:https://github.com/Hypogenic-AI/math-distillation-d448-claudeImplemented:https://github.com/Hypogenic-AI/math-distillation-c376-codexImplemented:https://github.com/Hypogenic-AI/math-distillation-57a1-gemini
Chat

If you are inspired by this idea, you can reach out to the authors for collaboration or cite it:

@misc{tan-mathematics-distillation-challenge-2026,
  author = {Tan, Chenhao},
  title = {Mathematics Distillation Challenge},
  year = {2026},
  url = {https://hypogenic.ai/ideahub/idea/KatHOhR2FvedFXhjBnmv}
}

Comments (0)

Please sign in to comment on this idea.

No comments yet. Be the first to share your thoughts!