This story has moved to /story/ma-proofbench-a-two-tiered-evaluation-of-llms-for-theorem-proving-in-mathematica/.