News for hackers. Stuff that matters.
Re:Stepping into math: Open-sourcing our step-by-step solver by yequalsx on Thursday January 19, 2017 @08:39PM (#13441110)
The paper you cited supports what I've been saying. You can publish a paper that says, "Here is a counterexample." You can't publish a paper that says, "Here is a solution I guessed to be correct."

Any method of finding a counterexample is accepted. Guessing a solution is not.

EDIT: The paper linked to was published because it was a counterexample to a famous conjecture.

Re:Stepping into math: Open-sourcing our step-by-step solver by 21 on Thursday January 19, 2017 @08:50PM (#13441164)
So you're saying that if they left out the "search on CDC" line the paper would not have been accepted.
Re:Stepping into math: Open-sourcing our step-by-step solver by yequalsx on Thursday January 19, 2017 @09:15PM (#13441261)
No. I'm saying it would not have been published if it wasn't a counterexample.