Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Automated Theorem Proving on IMO 2025

141P1 Score

Mechanic

Updated 23d ago

Evaluation Results

Method	Links
Mechanic 2026.03		141	43	95	47

SOTA Paper

Mechanic

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving

Dataset

IMO

Follow for update

@wizwand_team Discord

Related Benchmarks

Automated Formal Theorem Proving on Putnam 2025

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs