← Back to context

Comment by tptacek

2 months ago

How does that work in this case? What do those proofs do to help find this counterexample?

In my view, it's theoretically possible for a combination of the author's iterative prompts + evaluation with Wolfram Alpha to activate the weights that encode the language that describes the constraints on these polynomials (from the faulty proofs) in such a way that the author eventually arrives at this:

> ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3

  • How is that not like claiming that a "combination of iterative prompts and evaluation with Wolfram Alpha" would produce my Google Mail password? I also have to note that this response abandons the original claim, that the counterexample was found by exhaustively searching prior failed attempts.

    • I've seen a lot of people claiming that these recent examples are just trivial combinations of existing prior work.

      I'm yet to see anyone cite the prior work. If it's true I think some credit is due for the authors Fable/Sol are branching from.

      5 replies →