Is quite nascent, but with the jacobian conjecture news (amidst other recent AI-driven results) and odds that folks may go burn some AI credits on trying their hand at random open problems, I thought I'd share.
You can clone the repo and have your agent review some of the styles or prompt guide summary to try and refine an approach.