Comment by fjfaase
16 days ago
This kind of papers go way over my head, but recently I was surprised that ChatGTP (free) found the proof for an expression had a square value for some variables. It dug up a relationship from a paper from 2009 and correctly applied it to the case.
The chat: https://chatgpt.com/share/6a7f1b08-b9dc-83ea-b911-aaf8b65f1c...
Reducing the problem to a quadratic form is pretty natural, and the paper from 2009 (though i see 2015) is quite an overkill. The result is a fairly standard consequence of the theory of representation by quadratic forms, and follows from Legendre's three square's theorem after some massaging. There's a good couple of centuries of foundations behind it.