Comment by tibbar
13 hours ago
Well, it does make the solutions less impressive, right? Because it's much easier to compute the inverse of an integral than an integral. What's impressive here is more in composing problems that have nice answers and can't be solved by computer algebra systems, then the sock puppet trick to conceal that you ha the answer all along.
Reshetnikov didn't confess to them being reverse engineered, though. He confessed to them being conjecture arrived at after working on the problem for a bit by tweaking similar integrals in symbolic math software / numerical approximations. Every post was a gamble because it could have been wrong.
Of course, that could be a lie, but he came clean about other things that make sense retrospectively.
> Every post was a gamble because it could have been wrong
Symbolic differentiation is a deterministic algorithm. There is no reason for his posts to be a gamble. I'm sure there was a lots of interesting trial and error in developing good question and answer pairs, but once he posted the question he knew what the answer was already.
As I understand, he was specifically targeting problems that symbolic math software had given up on. He was only using symbolic software to solve the similarly shaped problems first, which allowed him to be fairly confident in his conjecture, as he became quite keen on how to slip his way from the output of symbolic math software from one solvable formula to a closely related formula that broke the software.
7 replies →
That is frankly, obvious horseshit. It couldn’t possibly be a gamble because you can just trivially differentiate the answer and see if it came out to be the expression in the question.