Reproduce “The tensor rank of 5x5 matrices multiplication is bounded by 98 and its border rank by 89” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.