News for hackers. Stuff that matters.
Re:Stepping into math: Open-sourcing our step-by-step solver by gizmo686 on Thursday January 19, 2017 @07:59PM (#13440922)
What is the "answer" to a theorem? If by "answer" you mean the conclusion of the theorem, then mathematicians guess these all the time; such guesses are generally referred to as conjecture.
Re:Stepping into math: Open-sourcing our step-by-step solver by yequalsx on Thursday January 19, 2017 @08:10PM (#13440968)
A conjecture is someone, usually a well known expert in the field, saying, "I think this is true but have not been able to prove it." It's not considered a theorem until someone proves it. A famous example is the Goldbach conjecture. No proof has been found but people have been searching for a proof for a long time but so far no one has proven it.