Mathematics Distillation Challenge: Stage 2 Playground Guide

Added: 2026-05-17

[00:00:01][music] >> Welcome to the playground.

[00:00:08]This video will give you a quick overview of the mathematics distillation challenge, equational theories, stage [music] two playground, and walk you through running and debugging a solver test.

[00:00:19]Before you begin, please make sure you have registered for a server account.

[00:00:23]The playground is only for debugging and validation and does not [music] count towards your official competition score.

[00:00:30]The system provides free credits every day, which reset [music] daily at midnight UTC. First, go to the competition details page, >> [music] >> then select playground to open the playground page.

[00:00:42]Once you are there, create or select a solver in the solver section. Click add new to create a new solver.

[00:00:50]You can edit the code directly in the editor or upload a local.python file.

[00:00:57]A solver is your Python problem-solving program.

[00:01:03]It may [music] include search logic, decision strategies, and prompts, but it must ultimately Next, choose the model you want to use for this test.

[00:01:13]Then, choose a problem to test from the public problem set or add a custom problem.

[00:01:20]After confirming that the solver, model, and problem are ready, click run to start the test.

[00:01:27]When the test is complete, the results panel will display the judge verdict, [music] lean output, run time, and model call records.

[00:01:36]You can use this feedback [music] to keep improving your solver, rerun tests, and compare the effects of different strategies.

[00:01:44]The core value of the playground is to help you quickly identify issues, >> [music] >> validate ideas, and gradually improve the stability of your solver before making an official submission. [music] The official mathematics distillation challenge, equational theories.

[00:02:01]Stage two competition offers two tracks, solo and marathon.

[00:02:06]You may choose to participate in either one or in both.

[00:02:10]Regardless of which track you choose, [music] your submitted Python solver must not exceed 500 kilobytes. You're now ready to test and refine your solver in the Sara playground.

[00:02:23]Start experimenting and prepare your submission for the mathematics distillation challenge.

[00:02:29]>> [music]