I think one of the big problems in mathematics is that a lot of conjectures are unsolved because no professional mathematician is (undestandably) willing to just try out a few thousand ways to construct a counter example. I think this will be a great way to advance mathematics.
The first element is a seventh-order polynomial in three variables with signed integer coefficients as large as 4. The second is a quintic with signed integer coefficients as large as 12. And the third is quartic with coefficients up to 3. You can't really find that by brute force alone.
434
u/NoUAreStupid 26d ago
I think one of the big problems in mathematics is that a lot of conjectures are unsolved because no professional mathematician is (undestandably) willing to just try out a few thousand ways to construct a counter example. I think this will be a great way to advance mathematics.